Coq: The World's Best Macro Assembler? (2013) [pdf] (nickbenton.name)
160 points by addaon 2 days ago | 67 comments
121Bird flu viruses are resistant to fever, making them a major threat to humans (medicalxpress.com)
160 points by bikenaga 17 hours ago | 131 comments
122How/why to sweep async tasks under a Postgres table (taylor.town)
98 points by ostler 7 days ago | 37 comments
123Bring bathroom doors back to hotels (bringbackdoors.com)
788 points by bariumbitmap 2 days ago | 657 comments
124Music eases surgery and speeds recovery, study finds (bbc.com)
217 points by 1659447091 2 days ago | 97 comments
125The housing crisis is pushing Gen Z into crypto and economic nihilism (ft.com)
12 points by littlexsparkee 2 hours ago | 3 comments
126A temporary victory – but we still need to stop Chat Control (mullvad.net)
96 points by AlgebraFox 2 days ago | 8 comments
127Collabora Online Desktop Released with Improved UI from LibreOffice (collaboraonline.com)
66 points by nogajun 2 days ago | 8 comments
128The Nerd Reich – Silicon Valley Fascism and the War on Democracy (simonandschuster.com)
298 points by brunohaid a day ago | 243 comments
129Dare (Digital Autonomy with RISC-V in Europe) (dare-riscv.eu)
8 points by doener 18 hours ago | 0 comments
130S&box is now an open source game engine (sbox.game)
420 points by MaximilianEmel 2 days ago | 146 comments
131Arthur Conan Doyle explored men’s mental health through Sherlock Holmes (theconversation.com)
210 points by PikelEmi a day ago | 272 comments
132The Concrete Pontoons of Bristol (thecretefleet.com)
41 points by surprisetalk 7 days ago | 4 comments
133Bonsai_term: A library for building dynamic terminal apps by Jane Street (github.com)
66 points by azhenley 2 days ago | 11 comments
134PRC elites voice AI-skepticism (jamestown.org)
190 points by JumpCrisscross 4 days ago | 117 comments
135Internet Handle (internethandle.org)
25 points by ferriswil a day ago | 13 comments
136Cloud-Init on Raspberry Pi OS (raspberrypi.com)
4 points by Brajeshwar 5 hours ago | 0 comments
137GitLab scan finds 17,000 secrets in public repos, leading to $9000+ in bounties (trufflesecurity.com)
23 points by adrianwaj 13 hours ago | 11 comments
138Ruby Was Ready from the Start (obie.medium.com)
72 points by thunderbong 4 days ago | 30 comments
139A Fast 64-Bit Date Algorithm (30–40% faster by counting dates backwards) (benjoffe.com)
389 points by benjoffe 6 days ago | 93 comments
140Closest Harmonic Number to an Integer (johndcook.com)
36 points by ibobev 8 days ago | 10 comments
141Compressed filesystems à la language models (grohan.co)
66 points by grohan 2 days ago | 14 comments
142Show HN: I built an interactive HN Simulator (news.ysimulator.run)
532 points by johnsillings 4 days ago | 214 comments
143Running Unsupported iOS on Deprecated Devices (nyansatan.github.io)
218 points by OuterVale 2 days ago | 113 comments
144Show HN: I turned algae into a bio-altimeter and put it on a weather balloon (radi8.dev)
137 points by radeeyate 6 days ago | 13 comments
145A trillion dollars (potentially) wasted on gen-AI (garymarcus.substack.com)
104 points by flail 4 hours ago | 99 comments
146OpenAI partners amass $100B debt pile to fund its ambitions (ft.com)
6 points by merksittich 6 hours ago | 1 comment
147Generating Cats with KPN Filtering (aschrein.github.io)
11 points by ibobev 4 days ago | 0 comments
148Show HN: Safe-NPM – only install packages that are +90 days old (github.com)
88 points by kevinslin 5 days ago | 61 comments
149Around 500M PCs are holding off upgrading to Windows 11, says Dell (theverge.com)
21 points by Fiveplus 12 hours ago | 4 comments
150