сегодня праздник у девчат

May. 20th, 2019 06:39 pm
juan_gandhi: (Default)
[personal profile] juan_gandhi
Закончил свою логику. (Ну там тесты еще всю ночь побегут, но это фигня, мираж.)
Tags:
  • Add Memory
  • Share This Entry
Flat | Top-Level Comments Only

Date: 2019-05-21 10:32 pm (UTC)
thedeemon: (Default)
From: [personal profile] thedeemon
А видели Rydeheard, Burstall "Computational Category Theory"?
http://www.cs.man.ac.uk/~david/categories/book/book.pdf
У них там код на ML, может быть интересно сравнить подходы, наверняка все иначе сделано.



...

Date: 2019-05-22 12:20 am (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi
О, красиво! Черт, и как компактно!

Date: 2020-05-17 06:56 pm (UTC)
thedeemon: (Default)
From: [personal profile] thedeemon
Young-il Choo сегодня ее же вспомнил, занятно. Спасибо за митап!

Date: 2020-05-17 09:26 pm (UTC)
juan_gandhi: (Default)
From: [personal profile] juan_gandhi
Да, надо почитать будет; жаль, ML для меня как канджи немножко.
  • Add Memory
  • Share This Entry
Flat | Top-Level Comments Only

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi
patryshev.com

June 2025

S M T W T F S
1 234567
891011121314
15161718192021
22232425262728
2930     

Most Popular Tags

Page Summary

Active Entries

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 6th, 2025 04:33 am
Powered by Dreamwidth Studios