1. | | From Sets to Categories (2023) (abuseofnotation.github.io) |
|
68 points by boris_m 52 days ago | 47 comments
|
2. | | Some notes on Rust, mutable aliasing and formal verification (graydon2.dreamwidth.org) |
|
357 points by todsacerdoti 4 months ago | 145 comments
|
3. | | Uncertainty Reduction Theory (wikipedia.org) |
|
16 points by yamrzou 10 months ago
|
4. | | The trouble with ingredients in sunscreens (ewg.org) |
|
84 points by adomasm3 11 months ago | 78 comments
|
5. | | USA Today Owner Pauses AI Articles After Butchering Sports Coverage (futurism.com) |
|
50 points by nxten on Aug 30, 2023 | 27 comments
|
6. | | The Implementation of Functional Programming Languages [pdf] (microsoft.com) |
|
25 points by nioj on June 15, 2023
|
7. | | A Spreading Activation Theory of Semantic Processing (1975) (researchgate.net) |
|
13 points by abrax3141 on May 26, 2023 | 3 comments
|
8. | | Make the future bright again: On building a new philosophy of progress (thehub.ca) |
|
60 points by danboarder on April 18, 2023 | 103 comments
|
9. | | Hexagony: A two-dimensional, hexagonal programming language (github.com/m-ender) |
|
229 points by zdw on April 15, 2023 | 48 comments
|
10. | | Ask HN: Has anyone fully attempted Bret Victor's vision? |
|
276 points by youssefabdelm on Jan 23, 2023 | 153 comments
|
11. | | Knots to Narnia – Bill Thurston (1992) [video] (youtube.com) |
|
37 points by robinhouston on Jan 18, 2023 | 8 comments
|
12. | | Mathematical Existence and the Axiom of Choice (billwadge.com) |
|
83 points by herodotus on Nov 28, 2022 | 100 comments
|
13. | | Ask HN: Has anyone tried to model the entire business world as a graph? |
|
49 points by adampk on Nov 22, 2022 | 52 comments
|
14. | | CICERO: An AI agent that negotiates, persuades, and cooperates with people (facebook.com) |
|
509 points by tuzongyu on Nov 22, 2022 | 285 comments
|
15. | | Calculus with types (stackoverflow.com) |
|
123 points by isomorph on Oct 7, 2022 | 61 comments
|
16. | | How to build a graph visualization engine (memgraph.com) |
|
87 points by taubek on Sept 16, 2022 | 69 comments
|
17. | | Interactive Docs with Markdoc (stripe.com) |
|
157 points by tomger on Sept 14, 2022 | 47 comments
|
18. | | A CSS-Inspired Syntax for Flowcharts (tone-row.com) |
|
130 points by tonerow on Aug 29, 2022 | 47 comments
|
19. | | The GPU Banana Stand (acko.net) |
|
166 points by robin_reala on Aug 22, 2022 | 60 comments
|
20. | | Obsidian Dataview: Turn Obsidian Vault into a database you can query from (github.com/blacksmithgu) |
|
211 points by superasn on May 17, 2022 | 77 comments
|
21. | | Thinking in an array language (github.com/razetime) |
|
141 points by tosh on May 14, 2022 | 66 comments
|
22. | | Tech bubbles are bursting all over the place (economist.com) |
|
569 points by vadertemp on May 13, 2022 | 744 comments
|
23. | | Rejection Therapy (2011) (lincolnquirk.com) |
|
71 points by luu on March 21, 2022 | 95 comments
|
24. | | Is human behavior just elaborate running and tumbling? (nathanieltravis.com) |
|
151 points by iroh2727 on Jan 17, 2022 | 109 comments
|
25. | | Awkward: Nested, jagged, differentiable, mixed type, GPU-enabled, JIT'd NumPy (awkward-array.org) |
|
144 points by pizza on Dec 16, 2021 | 44 comments
|
26. | | Cultural reception of geometry in early modern Europe (intellectualmathematics.com) |
|
61 points by bingden on Dec 5, 2021 | 9 comments
|
27. | | The quality of [Facebook's] secret research into mental health is abysmal (unherd.com) |
|
18 points by btheshoe on Oct 9, 2021
|
28. | | Remystifying Supply Chains (ribbonfarm.com) |
|
57 points by imartin2k on Oct 7, 2021 | 13 comments
|
29. | | The Geometry of Color Perception (handprint.com) |
|
105 points by bryanrasmussen on Sept 23, 2021 | 43 comments
|
30. | | A Gentle Introduction to Ted Nelson's ZigZag Structure (2002) (nongnu.org) |
|
89 points by breck on May 19, 2021 | 34 comments
|
|
|
More |