1.▲

Motorola GrapheneOS devices will be bootloader unlockable/relockable(grapheneos.social)

187 points bypabs33 hours ago |16 comments

  2.▲

Graphics Programming Resources(develop--gpvm-website.netlify.app)

25 points byabetusk1 hour ago |2 comments

  3.▲

California's Digital Age Assurance Act, and FOSS(runxiyu.org)

12 points bytodsacerdoti32 minutes ago |0 comment

  4.▲

Weave – A language aware merge algorithm based on entities(github.com)

32 points byrs5458372 hours ago |7 comments

  5.▲

MacBook Pro with M5 Pro and M5 Max(apple.com)

707 points byscrlk14 hours ago |108 comments

  6.▲

TikTok will not introduce end-to-end encryption, saying it makes users less safe(bbc.com)

27 points by16594470912 hours ago |5 comments

  7.▲

The largest acidic geyser has been putting on quite a show(usgs.gov)

26 points by16594470912 hours ago |1 comment

  8.▲

Speculative Speculative Decoding (SSD)(arxiv.org)

6 points byE-Reverance44 minutes ago |0 comment

  9.▲

Mac external displays for designers and developers, part 2(bjango.com)

17 points byfragmede1 hour ago |3 comments

10.▲

Claude's Cycles [pdf](www-cs-faculty.stanford.edu)

529 points byfs12317 hours ago |20 comments

11.▲

Voxile: A ray-traced game made in its own engine and programming language(elbowgreasegames.substack.com)

134 points byspacemarine16 hours ago |17 comments

12.▲

Textadept(orbitalquark.github.io)

89 points bygiancarlostoro2 days ago |13 comments

13.▲

You can use newline characters in URLs(lemire.me)

35 points bychmaynard3 days ago |12 comments

14.▲

Mount Mayhem at Netflix: Scaling Containers on Modern CPUs(netflixtechblog.com)

14 points byvquemener2 days ago |4 comments

15.▲

GPT‑5.3 Instant(openai.com)

311 points bymeetpateltech10 hours ago |55 comments

16.▲

Intel's make-or-break 18A process node debuts for data center with 288-core Xeon(tomshardware.com)

260 points byvanburen9 hours ago |22 comments

17.▲

When AI writes the software, who verifies it?(leodemoura.github.io)

174 points bytodsacerdoti11 hours ago |51 comments

18.▲

An Interactive Intro to CRDTs (2023)(jakelazaroff.com)

105 points byevakhoury8 hours ago |8 comments

19.▲

Vibe coding for PMs(ddmckinnon.com)

34 points bydmckinno4 hours ago |12 comments

20.▲

Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents

74 points byatarus13 hours ago |12 comments

21.▲

We've freed Cookie's Bustle from copyright hell(gamehistory.org)

103 points bysb0577 hours ago |5 comments

22.▲

130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?(arxiv.org)

18 points byPaulHoule4 hours ago |4 comments

23.▲

Lenovo’s new ThinkPads score 10/10 for repairability(ifixit.com)

295 points bywrxd4 hours ago |37 comments

24.▲

Don't become an engineering manager(newsletter.manager.dev)

321 points byflail13 hours ago |59 comments

25.▲

Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video](youtube.com)

442 points bypcdavid13 hours ago |30 comments

26.▲

TorchLean: Formalizing Neural Networks in Lean(leandojo.org)

78 points bymatt_d3 days ago |3 comments

27.▲

What’s in a name? (2014)(sailsandcommas.com)

13 points byCuriositry2 days ago |5 comments

28.▲

Time, Space, and Life as We Know It (2017)(raganwald.com)

12 points byvismit20003 days ago |0 comment

29.▲

I'm reluctant to verify my identity or age for any online services(neilzone.co.uk)

903 points byspeckx13 hours ago |80 comments

30.▲

MacBook Air with M5(apple.com)

382 points byGarbage14 hours ago |42 comments