176. Show HN: Tiny Hoare logic verifier using SMT
11 points by namin | 1 comments

177. Dr. Demento Announces Retirement After 55-Year Radio Career
119 points by coloneltcb | 50 comments

178. What Google Translate can tell us about vibecoding
287 points by todsacerdoti | 167 comments

179. It's true, “we” don't care about accessibility on Linux
103 points by todsacerdoti | 63 comments

180. Fast Rust Builds (2021)
9 points by airstrike | 5 comments

181. Show HN: I made an online Unicode Cuneiform digital clock
108 points by OisinMoran | 34 comments

182. Grokking NAT and packet mangling in Linux
54 points by viveknathani_ | 37 comments

183. New Linux udisks flaw lets attackers get root on major Linux distros
5 points by smig0 | 0 comments

184. Show HN: Trieve CLI – Terminal-based LLM agent loop with search tool for PDFs
34 points by skeptrune | 8 comments

185. Audi Isn't Abandoning Gas Engines for EVs by 2033 as It Planned
8 points by RickJWagner | 0 comments

186. Calling Go from Elixir with a CNode in Crystal
22 points by mmcclure | 8 comments

187. A Straightforward Explanation of the Good Regulator Theorem
49 points by surprisetalk | 5 comments

188. Turbine Transport Transformer
7 points by LorenDB | 2 comments

189. Spatializing 6k years of global urbanization from 3700 BC to AD 2000
37 points by talonx | 6 comments

190. Polyhedra Viewer
30 points by HellsMaddy | 3 comments

191. Attempting to Make the Smallest* Electric Motor [video]
111 points by surprisetalk | 10 comments

192. Select FOR UPDATE considered harmful in PostgreSQL
36 points by samokhvalov | 2 comments

193. Timescale Is Now TigerData
169 points by pbowyer | 131 comments

194. Fujifilm X half: Is it the perfect family camera?
69 points by farslan | 93 comments

195. ttl.sh – anonymous and ephemeral Docker image registry
6 points by gjvc | 0 comments

196. The Humble Programmer (1972)
134 points by squircle | 35 comments

197. Voyager: Real-Time Splatting City-Scale 3D Gaussians on Your Phone
53 points by PaulHoule | 17 comments

198. Russia prepares to get rid of WhatsApp and possibly Telegram
13 points by donohoe | 6 comments

199. Show HN: Relix: A Unix-like OS based on MIT's xv6
9 points by huayra1 | 1 comments

200. Tech Companies Double Down on Remote Work as America Returns to the Office
4 points by otter-in-a-suit | 0 comments

201. AI-assisted coding for teams that can't get away with vibes
7 points by m5r | 0 comments

202. What happens when clergy take psilocybin
350 points by bookofjoe | 553 comments

203. Feedback Is Not an Attack
5 points by mooreds | 0 comments

204. Why JPEGs still rule the web (2024)
220 points by purpleko | 389 comments

205. 3D-printed device splits white noise into an acoustic rainbow without power
229 points by rbanffy | 63 comments

206. Cannabis scientists are trying to find a predictable, reliable product (2020)
33 points by dr_dshiv | 49 comments

207. Iran asks its people to delete WhatsApp from their devices
353 points by rdrd | 497 comments

208. Iron nitride permanent magnets made with DIY ball mill [video]
106 points by xqcgrek2 | 31 comments

209. Show HN: Gifty – A real-world gift hunt you play with your feet
8 points by mrtranlyvu | 1 comments

210. Preparation of a neutral nitrogen allotrope hexanitrogen C2h-N6
37 points by bilsbie | 25 comments