| 31. | CERN rebuilt the original browser from 1989 | (worldwideweb.cern.ch) |
|
2019 rebuilding of the original NeXT web browser | |
| 7 points by tylerdane 21 hours ago | 1 comments |
| 32. | Lean 4: How the theorem prover works and why it's the new competitive edge in AI | (venturebeat.com) |
|
|
||
| 3 points by tesserato 4 days ago | 1 comments |
| 33. | Cord: Coordinating Trees of AI Agents | (june.kim) |
|
AI agents are good at doing one thing at a time. Give Claude a focused task and it performs. But real work isn’t one task. It’s a tree of tasks with dependen... | |
| 7 points by gfortaine 19 hours ago | 0 comments |
| 34. | Denonomicon: The Dark Arts of Deno Foreign Function Interface Programming | (denonomicon.deno.dev) |
|
|
||
| 4 points by enz 4 days ago | 1 comments |
| 35. | Coccinelle: The Linux kernel's source-to-source transformation tool | (github.com) |
|
|
Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria) - coccinelle/coccinelle | |
| 5 points by anon111332142 12 hours ago | 0 comments |
| 36. | CXMT has been offering DDR4 chips at about half the prevailing market rate | (koreaherald.com) |
|
Samsung Electronics and SK hynix are locked in a race to mass-produce sixth-generation high-bandwidth memory, but Chinese rivals are making gains elsewhere — fl | |
| 4 points by phront 6 hours ago | 1 comments |
| 37. | The bare minimum for syncing Git repos | (alexwlchan.net) |
|
I don't need GitHub or a cloud service to keep my Git repos in sync -- files and folders work just fine. | |
| 3 points by speckx 4 days ago | 0 comments |
| 38. | Every company building your AI assistant is now an ad company | (juno-labs.com) |
|
|
Every company building an AI assistant is funded by advertising. They are also building hardware that listens and watches 24/7. Local on-device inference is the only way out. | |
| 10 points by ajuhasz 1 day ago | 0 comments |
| 39. | What Is OAuth? | (leaflet.pub) |
|
|
Wherein I [try to] answer a seemingly straightforward question: "WTF is OAuth, anyhow?" | |
| 4 points by cratermoon 19 hours ago | 0 comments |
| 40. | Approaches to writing two-sentence journal entries | (alexanderbjoy.com) |
|
Methods for writing and organizing your two-sentence journal. | |
| 4 points by fi-le 3 days ago | 0 comments |
| 41. | Show HN: Winslop – De-Slop Windows | (github.com) |
|
|
De-slop Windows. Contribute to builtbybel/Winslop development by creating an account on GitHub. | |
| 3 points by guilamu 44 minutes ago | 0 comments |
| 42. | Tracing Chinese Immigration Through Food (2023) | (sundaylongread.com) |
|
||
| 4 points by NaOH 58 minutes ago | 0 comments |
| 43. | Blue light filters don't work | (neuroai.science) |
|
Why controlling total luminance is a better bet | |
| 6 points by pminimax 1 day ago | 2 comments |
| 44. | Index, Count, Offset, Size | (tigerbeetle.com) |
|
Insights, updates, and technical deep dives on building a high-performance financial transactions database. | |
| 5 points by ingve 3 days ago | 0 comments |
| 45. | OpenScan | (openscan.eu) |
|
||
| 5 points by joebig 23 hours ago | 0 comments |
| 46. | Ggml.ai joins Hugging Face to ensure the long-term progress of Local AI | (github.com) |
|
|
ggml.ai joins Hugging Face to ensure the long-term progress of Local AI | |
| 66 points by lairv 1 day ago | 7 comments |
| 47. | Trunk Based Development | (trunkbaseddevelopment.com) |
|
A portal on this practice | |
| 6 points by handfuloflight 13 hours ago | 1 comments |
| 48. | Understanding Std:Shared_mutex from C++17 | (cppstories.com) |
|
In this article, we’ll start with a basic example using std::mutex, look at its limitations, and then introduce std::shared_mutex, a reader-writer mutex added in C++17. Even in 2026, with many new concurrency features available, std::shared_mutex is still a valuable and practical tool. Let’s jump in. A Simple Thread-Safe Counter with std::mutex We’ll begin with a small example (a standard “hello world” for this type of mutexes): a counter object that multiple threads can access: | |
| 3 points by ibobev 4 days ago | 0 comments |
| 49. | JWasm: Masm Compatible Assembler | (github.com) |
|
|
Masm compatible assembler. Contribute to Baron-von-Riedesel/JWasm development by creating an account on GitHub. | |
| 3 points by doener 4 days ago | 0 comments |
| 50. | Trump's global tariffs struck down by US Supreme Court | (bbc.com) |
|
After most of his tariffs were outlawed on Friday, Trump announced new global tariffs of 10% - which he says he has now increased to 15%. | |
| 76 points by blackguardx 1 day ago | 26 comments |
| 51. | Greenland ice melt surges unprecedentedly amid warming | (phys.org) |
|
A study led by the University of Barcelona and published in the journal Nature Communications shows that climate change has profoundly altered extreme episodes of melting in the Greenland ice sheet by making them more frequent, more extensive and more intense. Since 1990, the area affected by extreme melting episodes has increased at a rate of 2.8 million km² per decade. Additionally, the production of water from ice melt has increased more than sixfold, rising from 12.7 gigatons per decade to 82.4 gigatons per decade. | |
| 6 points by bikenaga 1 hour ago | 1 comments |
| 52. | Large Language Model Reasoning Failures | (arxiv.org) |
|
|
Abstract page for arXiv paper 2602.06176: Large Language Model Reasoning Failures | |
| 4 points by T-A 11 hours ago | 1 comments |
| 53. | When etcd crashes, check your disks first | (nubificus.co.uk) |
|
|
Setting up a cloud-edge continuum testbed for a computer vision demo taught us something fundamental about distributed systems: etcd doesn’t forgive slow storage. | |
| 5 points by _ananos_ 13 hours ago | 0 comments |
| 54. | Untapped Way to Learn a Codebase: Build a Visualizer | (jimmyhmiller.com) |
|
|
||
| 3 points by andreabergia 1 day ago | 0 comments |
| 55. | Across the US, people are dismantling and destroying Flock surveillance cameras | (bloodinthemachine.com) |
|
Anger over ICE connections and privacy violations is fueling the sabotage. PLUS: 10,000 drivers call on Uber to repay stolen wages, a man is arrested at a public hearing about a data center and more. | |
| 5 points by latexr 21 hours ago | 1 comments |
| 56. | Gabriel Knight 3: Blood of the Sacred, Blood of the Damned | (filfre.net) |
|
|
||
| 4 points by doppp 12 hours ago | 0 comments |
| 57. | She Graduated with Honors but She Can't Read | (garryslist.org) |
|
||
| 6 points by tomaskafka 1 hour ago | 1 comments |
| 58. | Lil' Fun Langs | (taylor.town) |
|
|
a pungent monad odor that attracts mathochists | |
| 8 points by surprisetalk 1 day ago | 0 comments |
| 59. | Making frontier cybersecurity capabilities available to defenders | (anthropic.com) |
|
|
Claude Code Security is one step towards our goal of more secure codebases and a higher security baseline across the industry. | |
| 4 points by surprisetalk 1 day ago | 0 comments |
| 60. | Colorado moves age checks from websites to operating systems | (biometricupdate.com) |
|
As Colorado lawmakers once again revisit online age verification, the debate is no longer about whether to protect children online. | |
| 5 points by iamnothere 14 hours ago | 2 comments |