Mortuary rites of the South Fore and kuru
pmc.ncbi.nlm.nih.gov·19h·
Discuss: Hacker News
✅Formal Methods
Flutter on Embedded Linux Devices with Elixir
hexdocs.pm·4d·
Discuss: Hacker News
🦀Rust
We Built a Vehicle History Report from Scratch
cardog.app·1d·
Discuss: Hacker News
🦀Rust
Nintendo awarded US patent for "summon and fight" mechanic
gamesfray.com·1d·
Discuss: Hacker News, r/Stix
🔐Zero-Knowledge Proofs
Is the Microsoft Teams data export tool vaporware?
blog.zulip.com·1d·
Discuss: Hacker News
✅Formal Methods
Another Giant Leap: The Rubin CPX Specialized Accelerator & Rack
semianalysis.com·1d·
Discuss: Hacker News
⚡CUDA
Anonymity is dead and we’re all content now
theverge.com·1d·
Discuss: Hacker News, r/technews
🔐Zero-Knowledge Proofs
Rendering the Mandelbulb
4rknova.com·2d·
Discuss: Hacker News
🎨Rendering
To Delay Death, Lift Weights (2017)
outsideonline.com·1d·
Discuss: Hacker News
🦀Rust
Guide to building an application in 2025 – tech stack and tools
dotnetinterviews.com·2d·
Discuss: Hacker News
🦀Rust
The United Arab Emirates Releases a Tiny But Powerful AI Model
wired.com·2d·
Discuss: Hacker News
🔒Cryptography
New parametric CAD BREP kernel attempt
github.com·2d·
Discuss: Hacker News
🦀Rust
YouWare Observation #1: Discussing Vibe Coding and the Creator Community
medium.com·1d·
Discuss: Hacker News
🔒Cryptography
Show HN: 60-Second Linux Analysis, Supercharged with Nix and LLMs
quesma.com·5d·
Discuss: Hacker News
🦀Rust
Data-morph: Morph a dataset into select shapes, while preserving the statistics
github.com·2d·
Discuss: Hacker News
🦀Rust
Our Diet Is Our Destiny
medscape.com·1h·
Discuss: Hacker News
🔒Cryptography
What would you learn to become a "full stack web developer"?
news.ycombinator.com·3d·
Discuss: Hacker News
🦀Rust
Pay-per-output? AI firms blindsided by beefed up robots.txt instructions.
arstechnica.com·1d·
Discuss: Lobsters, Hacker News, Hacker News
✅Formal Methods
Senator demands to know status of 'duplicate' Social Security database 'immediately'
theregister.com·5h·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
ASIC: Proof-of-Concept Binary Optimizer Reduces Size, More to Come
news.ycombinator.com·5d·
Discuss: Hacker News
✅Formal Methods