Motorola GrapheneOS devices will be bootloader unlockable/relockable (grapheneos.social)
172 points by pabs3 3 hours ago| 39 comments
1Graphics Programming Resources (develop--gpvm-website.netlify.app)
22 points by abetusk 2 hours ago| 2 comments
2MacBook Pro with M5 Pro and M5 Max (apple.com)
706 points by scrlk 14 hours ago| 702 comments
3The largest acidic geyser has been putting on quite a show (usgs.gov)
25 points by 1659447091 3 hours ago| 1 comment
4Weave – A language aware merge algorithm based on entities (github.com)
29 points by rs545837 2 hours ago| 9 comments
5California's Digital Age Assurance Act, and FOSS (runxiyu.org)
4 points by todsacerdoti 24 minutes ago| 0 comments
6Mac external displays for designers and developers, part 2 (bjango.com)
15 points by fragmede an hour ago| 6 comments
7TikTok will not introduce end-to-end encryption, saying it makes users less safe (bbc.com)
21 points by 1659447091 2 hours ago| 8 comments
8Claude's Cycles [pdf] (www-cs-faculty.stanford.edu)
526 points by fs123 17 hours ago| 225 comments
9Voxile: A ray-traced game made in its own engine and programming language (elbowgreasegames.substack.com)
132 points by spacemarine1 7 hours ago| 32 comments
10You can use newline characters in URLs (lemire.me)
35 points by chmaynard 3 days ago| 18 comments
11Mount Mayhem at Netflix: Scaling Containers on Modern CPUs (netflixtechblog.com)
12 points by vquemener 3 days ago| 5 comments
12Textadept (orbitalquark.github.io)
88 points by giancarlostoro 3 days ago| 19 comments
13Speculative Speculative Decoding (SSD) (arxiv.org)
3 points by E-Reverance 36 minutes ago| 0 comments
14Intel's make-or-break 18A process node debuts for data center with 288-core Xeon (tomshardware.com)
258 points by vanburen 9 hours ago| 213 comments
15GPT‑5.3 Instant (openai.com)
311 points by meetpateltech 10 hours ago| 236 comments
16When AI writes the software, who verifies it? (leodemoura.github.io)
170 points by todsacerdoti 11 hours ago| 155 comments
17An Interactive Intro to CRDTs (2023) (jakelazaroff.com)
104 points by evakhoury 9 hours ago| 21 comments
18The Xkcd thing, now interactive (editor.p5js.org)
1193 points by memalign 17 hours ago| 153 comments
19Vibe coding for PMs (ddmckinnon.com)
32 points by dmckinno 4 hours ago| 24 comments
20Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents
74 points by atarus 13 hours ago| 19 comments
21We've freed Cookie's Bustle from copyright hell (gamehistory.org)
103 points by sb057 8 hours ago| 14 comments
22Lenovo’s new ThinkPads score 10/10 for repairability (ifixit.com)
294 points by wrxd 4 hours ago| 136 comments
23Don't become an engineering manager (newsletter.manager.dev)
321 points by flail 14 hours ago| 235 comments
24130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
16 points by PaulHoule 5 hours ago| 6 comments
25Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video] (youtube.com)
442 points by pcdavid 13 hours ago| 70 comments
26TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
78 points by matt_d 3 days ago| 10 comments
27Time, Space, and Life as We Know It (2017) (raganwald.com)
12 points by vismit2000 4 days ago| 0 comments
28What’s in a name? (2014) (sailsandcommas.com)
12 points by Curiositry 3 days ago| 5 comments
29I'm reluctant to verify my identity or age for any online services (neilzone.co.uk)
902 points by speckx 14 hours ago| 554 comments
30