A Special Issue on Formal Proof (2008)

2022-07-19

Ask HN: Is there other software similar to Vim and Emacs?

2022-07-18

Future-Proof Programming Languages

2022-07-18

Computer science proof unveils unexpected form of entanglement

2022-07-18

Show HN: A free web app to create, explore and generate color palettes

2022-07-18

LMDB – An ultra-fast, ultra-compact, crash-proof, key-value, embedded data store

2022-07-18

Tracing State-Aligned Activity Targeting Journalists, Media

2022-07-18

New Book Details Proof That We Live in a Cosmological Multiverse

2022-07-16

How Do Mathematicians Know Their Proofs Are Correct?

2022-07-15

Ask HN: Is there any “Make you a Haskell” tutorial?

2022-07-15