Set theory with types (lawrencecpaulson.github.io)
117 points by baruchel 3 days ago | 18 comments
61Terence Tao: At the Erdos problem website, AI assistance now becoming routine (mathstodon.xyz)
287 points by dwohnitmok 2 days ago | 79 comments
62Lambda Calculus – Animated Beta Reduction of Lambda Diagrams (cruzgodar.com)
139 points by perryprog a day ago | 8 comments
63A 4MB EXE file replaced half my Windows utilities (makeuseof.com)
7 points by BarryGuff 2 hours ago | 0 comments
64Show HN: Stun LLMs with thousands of invisible Unicode characters (gibberifier.com)
185 points by wdpatti a day ago | 100 comments
65Build desktop applications using Go and Web Technologies (github.com)
88 points by selvan a day ago | 74 comments
66Show HN: I built an interactive map of jobs at top AI companies (map.stapply.ai)
11 points by kalil0321 9 hours ago | 2 comments
67Ask HN: Scheduling stateful nodes when MMAP makes memory accounting a lie
17 points by leo_e 9 hours ago | 6 comments
68Shopping research in ChatGPT (openai.com)
20 points by wertyk 9 hours ago | 15 comments
69Show HN: I wrote a minimal memory allocator in C (github.com)
128 points by t9nzin a day ago | 30 comments
70µcad: New open source programming language that can generate 2D sketches and 3D (microcad.xyz)
376 points by todsacerdoti a day ago | 122 comments
71I put a real search engine into a Lambda, so you only pay when you search (nixiesearch.substack.com)
43 points by shutty 16 hours ago | 12 comments
72A New Raspberry Pi Imager (raspberrypi.com)
61 points by raus22 10 hours ago | 17 comments
73An Economy of AI Agents (arxiv.org)
131 points by nerder92 2 days ago | 95 comments
74In wake of Windows 10 retirement, over 780K Windows users skip Win 11 for Linux (tomshardware.com)
78 points by rbanffy 9 hours ago | 22 comments
75New report calls for end to child marriage in the US (womensmediacenter.com)
27 points by binning 6 hours ago | 15 comments
76Show HN: Virtual SLURM HPC cluster in a Docker Compose (github.com)
49 points by ciclotrone 5 days ago | 11 comments
77Mount Proton Drive on Linux using rclone and systemd (github.com)
143 points by cf100clunk a day ago | 54 comments
78A One-Minute ADHD Test (psychotechnology.substack.com)
52 points by eatitraw 20 hours ago | 96 comments
79Passing the Torch – My Last Root DNSSEC KSK Ceremony as Crypto Officer 4 (technotes.seastrom.com)
69 points by greyface- a day ago | 17 comments
80Native Secure Enclave backed SSH keys on macOS (gist.github.com)
447 points by arianvanp a day ago | 186 comments
81McMaster Carr – The Smartest Website You Haven't Heard Of (2022) (bedelstein.com)
74 points by jcartw a day ago | 46 comments
82Iowa City made its buses free. Traffic cleared, and so did the air (nytimes.com)
469 points by bookofjoe a day ago | 580 comments
83Pixar: The Early Days (stevejobsarchive.com)
31 points by tosh 5 days ago | 2 comments
84Harley-Davidson Dealerships Are Shutting Down Across America (jalopnik.com)
13 points by bookofjoe 3 hours ago | 20 comments
85Editing Code in Emacs (redpenguin101.github.io)
164 points by redpenguin101 2 days ago | 52 comments
86A time-travelling door bug in Half Life 2 (mastodon.gamedev.place)
504 points by AshleysBrain 3 days ago | 83 comments
87A desktop app for isolated, parallel agentic development (github.com)
94 points by mercat a day ago | 46 comments
88Particle Life (sandbox-science.com)
85 points by StromFLIX a day ago | 8 comments
89Show HN: Axe - A Systems Programming Language with Builtin Parallelism and No GC (axelang.org)
7 points by death_eternal 8 hours ago | 0 comments
90