Elephant 2000: A Programming Language Based on Speech Acts (1998)

2022-10-26

Manganese Promoted (Bi)Carbonate Hydrogenation and Formate Dehydrogenation

2022-10-26

Ask HN: Proof Irrelevance and De Morgan's Laws

2022-10-26

Show HN: Regfmt – generate control register-style diagrams in SVG

2022-10-25

Show HN: Comment on live websites just like you comment on Google Docs/Figma

2022-10-25

Launch HN: Paigo (YC S22) – Measure and bill SaaS customers based on usage

2022-10-25

Sleep helps one brain region to teach the other, forming memories

2022-10-25

Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

2022-10-25

New Webb images illuminate the formation of a galaxy cluster

2022-10-25

Ask HN: How to fund personal CS research if you are from Russia?

2022-10-25