Mortuary rites of the South Fore and kuru
pmc.ncbi.nlm.nih.govยท17hยท
Discuss: Hacker News
โœ…Formal Methods
We Built a Vehicle History Report from Scratch
cardog.appยท23hยท
Discuss: Hacker News
๐Ÿฆ€Rust
Winding Down Skittish (2022)
waxy.orgยท7hยท
Discuss: Hacker News
๐Ÿฆ€Rust
Understanding dbt: basics and best practices
datadoghq.comยท6dยท
Discuss: Hacker News
โœ…Formal Methods
Tiny forests: The overlooked benefits of these miniature urban woodlands
bbc.comยท5hยท
Discuss: Hacker News
โœ…Formal Methods
Disrupting the DRAM roadmap with capacitor-less IGZO-DRAM technology
imec-int.comยท2dยท
Discuss: Hacker News
โšกCUDA
Finding bugs faster: A smarter way to debug integration failures
ministryoftesting.comยท6dยท
Discuss: Hacker News
โœ…Formal Methods
To Delay Death, Lift Weights (2017)
outsideonline.comยท1dยท
Discuss: Hacker News
๐Ÿฆ€Rust
Aaron Francis on Technical Blogging
writethatblog.substack.comยท2dยท
Discuss: Substack
๐Ÿฆ€Rust
Identity Gaps That Put AI Agents at Risk
dock.ioยท23hยท
Discuss: Hacker News
๐Ÿ”Zero-Knowledge Proofs
Visual Studio 2026 Insiders is here! - Visual Studio Blog
devblogs.microsoft.comยท2dยท
Discuss: Hacker News, r/cpp
๐Ÿฆ€Rust
The Salesloft-Drift Breach: Analyzing the Biggest SaaS Breach of 2025
reco.aiยท5dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
Type Checking is a Symptom, Not a Solution
programmingsimplicity.substack.comยท6dยท
Discuss: Substack
๐Ÿฆ€Rust
ASIC: Proof-of-Concept Binary Optimizer Reduces Size, More to Come
news.ycombinator.comยท5dยท
Discuss: Hacker News
โœ…Formal Methods
How We Broke 40M Developers: An Agile Pioneer's Lament
flowchainsensei.wordpress.comยท4dยท
Discuss: Hacker News
โœ…Formal Methods
Final Message: "Before the Battery Dies"
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
All unimaginery internet futures are in one place.(free) try now
sites.google.comยท2dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
UK Home Office dangles ยฃ1.3M prize for algorithm that guesses your age
theregister.comยท2dยท
Discuss: Hacker News
๐Ÿ”’Cryptography
The Four Fallacies of Modern AI
blog.apiad.netยท18hยท
Discuss: Hacker News
๐Ÿ”Zero-Knowledge Proofs