< Prev

Page 101

More >

30

Litex: Formal math for everyone – set theory examples with Lean comparison (litexlang.com)

by litexlang 8 days ago | hide | 11 comments

234

Why do people leave comments on OpenBenches? (shkspr.mobi)

by sedboyz 7 days ago | hide | 27 comments

260

I didn't realize my LG TV was spying on me until I turned off Live Plus (pocket-lint.com)

by fcpguru 4 days ago | hide | 245 comments

172

Build Android apps using Rust and Iced (github.com)

by rekireki 5 days ago | hide | 85 comments

4

Intermission: Battle Pulses (acoup.blog)

by Khaine a day ago | hide | 0 comments

7

Creating Your Own Website (32bit.cafe)

by susam 2 days ago | hide | 1 comments

5

Odin: Moving Towards a New "core:OS" (odin-lang.org)

by ksec a day ago | hide | 0 comments

77

Steve wants us to make the Macintosh boot faster (folklore.org)

by maayank a day ago | hide | 101 comments

19

The DHS Data Grab Is Putting US Citizens at Risk (wired.com)

by abdelhousni 16 hours ago | hide | 2 comments

5

Show HN: What if Dr. Mario had more than 3 colors? (pressbin.com)

by jawns 16 hours ago | hide | 0 comments

9

What's moving into the public domain in 2026? (blog.archive.org)

by LorenDB 16 hours ago | hide | 2 comments

693

Meta is using the Linux scheduler designed for Valve's Steam Deck on its servers (phoronix.com)

by yellow_lead 4 days ago | hide | 391 comments

112

Kernighan's Lever (linusakesson.net)

by xk3 8 days ago | hide | 52 comments

179

HTTP Caching, a Refresher (danburzo.ro)

by danburzo 4 days ago | hide | 31 comments

25

Fixing HN comments with breadth-first navigation (pratik.is)

by news_hacker 3 days ago | hide | 6 comments

331

Charles Proxy (charlesproxy.com)

by handfuloflight 7 days ago | hide | 119 comments

15

Show HN: I treated my brain like a buggy server and wrote a patch (Shi-Mo Model) (github.com)

by ShiMo_Protocol 2 days ago | hide | 7 comments

147

I wish people were more public (borretti.me)

by swah 6 days ago | hide | 119 comments

10

I shrunk down into an M5 chip [video] (youtube.com)

by Timothee a day ago | hide | 0 comments

5

I made a tool to remove ChatGPT watermarks (gptcleanup.com)

by emmanuelasika a day ago | hide | 3 comments

44

Weight-loss pill approval set to accelerate food industry product overhauls (reuters.com)

by JumpCrisscross 2 days ago | hide | 30 comments

131

The gift card accountability sink (bitsaboutmoney.com)

by walterbell 6 days ago | hide | 110 comments

677

Go ahead, self-host Postgres (pierce.dev)

by pavel_lishin 7 days ago | hide | 396 comments

36

The Inner-Platform Effect (2006) (thedailywtf.com)

by birdculture 5 days ago | hide | 15 comments

287

Rob Pike got spammed with an AI slop "act of kindness" (simonwillison.net)

by nabla9 19 hours ago | hide | 223 comments

320

Texas app store age verification law blocked by federal judge (macrumors.com)

by danso 4 days ago | hide | 248 comments

369

CO2 batteries that store grid energy take off globally (spectrum.ieee.org)

by rbanffy 6 days ago | hide | 311 comments

5

The Rime of the Ancient Maintainer (joanwestenberg.com)

by mitchbob 14 hours ago | hide | 0 comments

11

Turning an old Amazon Kindle into a eInk development platform (blog.lidskialf.net)

by fanf2 a day ago | hide | 2 comments

749

CSS Grid Lanes (webkit.org)

by frizlab 8 days ago | hide | 229 comments

< Prev

Page 101

More >