1. | | Forsp: A Forth+Lisp Hybrid Lambda Calculus Language (xorvoid.com) |
|
228 points by xorvoid 5 months ago | 104 comments
|
2. | | The hunt for the missing data type (hillelwayne.com) |
|
690 points by todsacerdoti 8 months ago | 254 comments
|
3. | | A Core Calculus for Documents [pdf] (brown.edu) |
|
126 points by hasheddan 10 months ago | 21 comments
|
4. | | Abstract Interpretation in a Nutshell (ens.fr) |
|
59 points by Nokinside on Oct 26, 2023 | 14 comments
|
5. | | Book review: Barriers to Bioweapons (eukaryotewritesblog.com) |
|
70 points by jasonhansel on March 31, 2023 | 15 comments
|
6. | | GNU poke: The extensible editor for structured binary data (jemarch.net) |
|
282 points by marcodiego on March 1, 2023 | 34 comments
|
7. | | Batch Box Rocket Stove: Ergonomic, Efficient Wood Combustion (batchrocket.eu) |
|
88 points by ShroudedNight on Jan 19, 2023 | 44 comments
|
8. | | The microhydro plant (ludens.cl) |
|
557 points by makmonty on Dec 12, 2013 | 116 comments
|
9. | | The expanding dark forest and generative AI (maggieappleton.com) |
|
438 points by colinprince on Jan 4, 2023 | 418 comments
|
10. | | Austral: A systems language with linear types and capabilities (borretti.me) |
|
211 points by riidom on Dec 29, 2022 | 120 comments
|
11. | | Travel is no cure for the mind (2018) (moretothat.com) |
|
339 points by wallflower on Feb 6, 2022 | 242 comments
|
12. | | [dupe] An ancient Japanese technique that produces lumber without cutting trees (dsfantiquejewelry.com) |
|
126 points by signa11 on Nov 23, 2022 | 2 comments
|
13. | | Atomic Habits: An Easy and Proven Way to Build Good Habits and Break Bad Ones (jamesclear.com) |
|
152 points by teleforce on April 24, 2022 | 43 comments
|
14. | | Ask HN: How do you handle negotiation |
|
40 points by totaldude87 on March 23, 2022 | 30 comments
|
15. | | It’s your friends who break your heart (theatlantic.com) |
|
179 points by wallflower on March 13, 2022 | 164 comments
|
16. | | Lambda Calculus in 400 Bytes (justine.lol) |
|
568 points by mmphosis on Feb 27, 2022 | 63 comments
|
17. | | Show HN: I bought and tested the filtration of every mask on Amazon (armbrustusa.com) |
|
594 points by lloydarmbrust on Jan 10, 2022 | 237 comments
|
18. | | Swedish Torch (wikipedia.org) |
|
12 points by tosh on Nov 28, 2021 | 5 comments
|
19. | | Why is everything so hard in a large organization? (graphthinking.blogspot.com) |
|
492 points by physicsgraph on Sept 29, 2021 | 292 comments
|
20. | | "Secret" Agent Exposes Azure Customers to Unauthorized Code Execution (wiz.io) |
|
296 points by craigkerstiens on Sept 14, 2021 | 107 comments
|
21. | | Joplin – an open source note taking and to-do application with synchronization (joplinapp.org) |
|
116 points by josefslerka on June 15, 2021 | 74 comments
|
22. | | Ask HN: Where do you find potential customers to validate your idea / MVP? |
|
273 points by showsover on March 31, 2021 | 109 comments
|
23. | | Handheld two-way radios for preppers and other curious folks (coredump.cx) |
|
131 points by wglb on Feb 18, 2021 | 149 comments
|
24. | | An Uncommon Cold (nih.gov) |
|
158 points by js2 on Jan 6, 2021 | 179 comments
|
25. | | Ask HN: What low-code “dashboarding“ SaaS would you recommend in 2021? |
|
139 points by timothep on Dec 30, 2020 | 69 comments
|
26. | | The sparrow with four sexes (2016) (nature.com) |
|
76 points by 0DHm2CxO7Lb3 on Nov 26, 2020 | 31 comments
|
27. | | Unker Non-Linear Writing System (s.ai) |
|
148 points by strogonoff on June 4, 2020 | 68 comments
|
28. | | How to Begin a Novel (aiweirdness.com) |
|
162 points by sohkamyung on Nov 20, 2019 | 46 comments
|
29. | | A New R6RS Scheme Compiler (weinholt.se) |
|
182 points by widdershins on Oct 2, 2019 | 57 comments
|
30. | | Mesh Spreadsheet (mesh-spreadsheet.com) |
|
474 points by galfarragem on Sept 30, 2019 | 51 comments
|
|
|
More |