Red Programming Language (red-lang.org)

210 points by hotpocket777 4 days ago | 125 comments

151

Benchmarking Crimes Meet Formal Verification (microkerneldude.org)

35 points by snvzz 6 days ago | 6 comments

152

A tool for easy download of Spanish geospatial and address data (github.com)

5 points by ernstgnzlz 20 hours ago | 0 comments

153

Show HN: Confidential computing for high-assurance RISC-V embedded systems (github.com)

100 points by mrnoone 3 days ago | 9 comments

154

'Turbocharged' Mitochondria Power Birds' Epic Migratory Journeys (quantamagazine.org)

107 points by rbanffy 3 days ago | 82 comments

155

Prime Path Coverage in the GNU Compiler Collection (arxiv.org)

11 points by matt_d a day ago | 1 comment

156

OpenAI Codex hands-on review (zackproser.com)

168 points by fragmede 4 days ago | 120 comments

157

The Dawn of Nvidia's Technology (blog.dshr.org)

186 points by wmf 4 days ago | 77 comments

158

A simple search engine from scratch (bernsteinbear.com)

288 points by bertman 4 days ago | 59 comments

159

Show HN: I built a directory for side hustles to help people exit the rat race (esidehustles.com)

7 points by OdehAhwal 21 hours ago | 1 comment

160

The End of Sierra as We Knew It, Part 4: Chainsaw Monday (filfre.net)

10 points by doppp 21 hours ago | 0 comments

161

Ask HN: Selling software to company I work for as an employee

34 points by apohak 3 days ago | 45 comments

162

Introducing the Llama Startup Program (ai.meta.com)

187 points by mayalilpony10 3 days ago | 69 comments

163

Building my own solar power system (medium.com)

437 points by JKCalhoun 6 days ago | 342 comments

164

Startup enables 100-year bridges with corrosion-resistant steel (news.mit.edu)

33 points by rbanffy 3 days ago | 42 comments

165

The Next Abstraction (substack.com)

43 points by mbs348 2 days ago | 20 comments

166

Management = Bullshit (LLM Edition) (funcall.blogspot.com)

45 points by dxs 2 days ago | 38 comments

167

Sublime Text Build 4200 and Future Plugin Changes (sublimetext.com)

6 points by yurivish 21 hours ago | 0 comments

168

KVMs with DisplayPort and USB over USB-C (rubenerd.com)

18 points by mikece 3 days ago | 3 comments

169

Mystical (suberic.net)

442 points by mmphosis 7 days ago | 46 comments

170

Launch HN: SIM Studio (YC X25) – Figma-Like Canvas for Agent Workflows

53 points by waleedlatif1 3 days ago | 32 comments

171

By default, Signal doesn't recall (signal.org)

563 points by feross 3 days ago | 477 comments

172

Big Problems From Big IN lists with Ruby on Rails and PostgreSQL (andyatkinson.com)

5 points by Ocha 18 hours ago | 0 comments

173

Emacs dired-mode as a file manager (lynn.sh)

76 points by todsacerdoti 18 hours ago | 57 comments

174

My favourite fonts to use with LaTeX (2022) (lfe.pt)

193 points by todsacerdoti 7 days ago | 53 comments

175

Convolutions, Polynomials and Flipped Kernels (eli.thegreenplace.net)

105 points by mfrw 3 days ago | 42 comments

176

Animated Factorization (2012) (datapointed.net)

278 points by miniBill 3 days ago | 62 comments

177

3 Years of Remote Work (brendangregg.com)

61 points by SerCe 2 days ago | 26 comments

178

Contacts let you see in the dark with your eyes closed (scitechdaily.com)

15 points by geox 2 days ago | 0 comments

179

An update on improving passkey support in Linux (iinuwa.xyz)

4 points by K7PJP 19 hours ago | 1 comment

180

More...