Twenty Eighth International Obfuscated C Code Contest (ioccc.org)

87 points by mdl_principle 3h ago 13 comments

Helsinki records zero traffic deaths for full year (helsinkitimes.fi)

638 points by DaveZale 3d ago 344 comments

C++26 Reflections adventures and compile-time UML (reachablecode.com)

88 points by ibobev 7h ago 36 comments

Micron rolls out 276-layer SSD trio for speed, scale, and stability (blocksandfiles.com)

39 points by rbanffy 3d ago 20 comments

Telo MT1 (telotrucks.com)

494 points by turtleyacht 15h ago 455 comments

Writing a basic service for GNU Guix (tannerhoelzel.com)

30 points by hermitsings 3h ago 1 comments

Lina Khan points to Figma IPO as vindication of M&A scrutiny (techcrunch.com)

174 points by bingden 10h ago 146 comments

6 weeks of Claude Code (blog.puzzmo.com)

359 points by mike1o1 2d ago 376 comments

Build Your Own Minisforum N5 Inspired Mini NAS: A Comprehensive Guide (jackharvest.com)

13 points by LorenDB 3d ago 3 comments

A Real PowerBook: The Macintosh Application Environment on a Pa-RISC Laptop (oldvcr.blogspot.com)

5 points by todsacerdoti 1h ago 0 comments

Seed7 – The Extensible Programming Language (seed7.net)

23 points by 0x54MUR41 3h ago 2 comments

PixiEditor 2.0 – A FOSS universal 2D graphics editor (pixieditor.net)

224 points by ksymph 2d ago 22 comments

Anandtech.com now redirects to its forums (forums.anandtech.com)

203 points by kmfrk 18h ago 44 comments

We may not like what we become if A.I. solves loneliness (newyorker.com)

398 points by defo10 20h ago 785 comments

Remote hosting for your telescope (sierra-remote.com)

107 points by gregorvand 3d ago 32 comments

Ongoing Lean formalisation of the proof of Fermat's Last Theorem (github.com)

73 points by anonyonoor 2d ago 33 comments

HTML-in-Canvas (github.com)

125 points by dannyobrien 9h ago 70 comments

The Crisis of Professional Skepticism (mitchhorowitz.substack.com)

35 points by mathgenius 9h ago 15 comments

Online Collection of Keygen Music (keygenmusic.tk)

254 points by mifydev 4d ago 59 comments

At a Loss for Words: A flawed idea is teaching kids to be poor readers (2019) (apmreports.org)

134 points by Akronymus 19h ago 134 comments

The Art of Multiprocessor Programming 2nd Edition Book Club (eatonphil.com)

244 points by eatonphil 17h ago 38 comments

Mezzano, an operating system written in Common Lisp (github.com)

73 points by dargscisyhp 3d ago 9 comments

Super-resolution of Sentinel-2 images (10M –> 5M) (github.com)

19 points by mixtape2025-1 3d ago 2 comments

Browser extension and local backend that automatically archives YouTube videos (github.com)

157 points by fcpguru 15h ago 70 comments

A.I. researchers are negotiating $250M pay packages (nytimes.com)

222 points by jrwan 20h ago 383 comments

LangExtract: Python library for extracting structured data from language models (github.com)

50 points by simonpure 3d ago 4 comments

A Quantum Gravimeter for GPS Backup (spectrum.ieee.org)

10 points by pseudolus 3d ago 1 comments

Compressing Icelandic name declension patterns into a 3.27 kB trie (alexharri.com)

209 points by alexharri 20h ago 75 comments

Parsing without ASTs and Optimizing with Sea of Nodes [video] (youtube.com)

15 points by surprisetalk 4h ago 1 comments

The /o in Ruby regex stands for "oh the humanity " (jpcamara.com)

152 points by todsacerdoti 17h ago 36 comments

Show HN: WebGPU enables local LLM in the browser – demo site with AI chat (andreinwald.github.io)

121 points by andreinwald 17h ago 41 comments

Neural networks that learn non-linearity without activation functions [pdf] (tahabouhsine.com)

17 points by mlnomadpy 3d ago 4 comments

The Algebra Gatekeepers (educationprogress.org)

5 points by domofutu 3h ago 0 comments

Great Question (YC W21) Is Hiring a VP of Engineering (Remote) (ycombinator.com)

1 points by nedwin 14h ago 0 comments

Financial lessons from my family's experience with long-term care insurance (whitecoatinvestor.com)

141 points by wallflower 17h ago 153 comments

Hiding secret codes in light protects against fake videos (news.cornell.edu)

99 points by CharlesW 16h ago 69 comments

Australia’s gains in wheat-farm productivity (reuters.com)

73 points by tiarafawn 3d ago 26 comments

Microsoft is open sourcing Windows 11's UI framework (neowin.net)

185 points by bundie 23h ago 222 comments

OpenAI's "Study Mode" and the risks of flattery (resobscura.substack.com)

113 points by benbreen 2d ago 113 comments

Show HN: NaturalCron – Human-Readable Scheduling for .NET (With Fluent Builder) (github.com)

36 points by hugoj0s3 18h ago 10 comments

Got tired of bad PDF WebApp so we made a Free, Open-Sourced, Private Alternative (luxpdf.com)

24 points by PseudoComputer 8h ago 7 comments

A dive into open chat protocols (wiki.alopex.li)

97 points by Bogdanp 3d ago 19 comments

Double-slit experiment holds up when stripped to its quantum essentials (news.mit.edu)

81 points by ColinWright 2d ago 45 comments

North Korea sent him abroad to be a secret IT worker (bbc.com)

90 points by tellarin 21h ago 60 comments

Helion begins work on Washington nuclear fusion plant (nucnet.org)

74 points by mpweiher 2d ago 47 comments

How I do support and community (pketh.org)

30 points by sogen 4d ago 0 comments

Show HN: Voltpeek – Vim-inspired oscilloscope software (github.com)

10 points by schuyler4 7h ago 1 comments

ThinkPad designer David Hill on unreleased models (theregister.com)

178 points by LorenDB 19h ago 101 comments

The Big Oops in type systems: This problem extends to FP as well (danieltan.weblog.lol)

86 points by ksymph 2d ago 62 comments

The Rubik's Cube Perfect Scramble (2024) (solutionslookingforproblems.com)

84 points by notagoodidea 17h ago 26 comments

The Algebra Gatekeepers

5 domofutu 0 8/3/2025, 4:02:10 AM educationprogress.org ↗

Comments (0)

No comments yet