Friday, November 9, 2018

New top story on Hacker News: The weird and wonderful world of constructive mathematics (2017) [pdf]

The weird and wonderful world of constructive mathematics (2017) [pdf]
65 by lainon | 21 comments on Hacker News.


at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Postgres Meets Analytics: CDC from Neon to ClickHouse via PeerDB

Article URL: https://neon.tech/blog/postgres-meets-analytics-cdc-from-neon-to-clickhouse-via-peerdb Comments URL: https://news.ycombinator....