To Catch A Counterfeiter
story.californiasunday.com·2d·
Discuss: Hacker News
🔍Formal Verification
I built a growing collection of creative, quirky name generators
name-generator.app·2d·
Discuss: Hacker News
❄️Nix
Speedy implementation fed the fast-paced platforming of Pizza Tower (2023)
gamedeveloper.com·4d·
Discuss: Hacker News
🎮Verification Games
An Overview of Colors on the Web
webcolors.readthedocs.io·2d·
Discuss: Hacker News
🍎Apple
We moved off Nginx to our own product to front our services
ngrok.com·1d·
Discuss: Hacker News
⎈Kubernetes
MIT tool visualizes and edits “physically impossible” objects
news.mit.edu·4d·
Discuss: Hacker News
🔬Unikernels
New plan, no active workflow limits – n8n's new pricing explained
blog.n8n.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
The Most Mysterious Cells in Our Bodies Don't Belong to Us
theatlantic.com·3d·
Discuss: Hacker News
➡️Category Theory
How to delete your personal data from the internet (and why you should right now)
9to5mac.com·2d
🍎Apple
Version control: how I combat the rise of generative AI in the classroom
nature.com·4d·
Discuss: Hacker News, Hacker News
🔬Static Analysis
No Comment
prog21.dadgum.com·4d·
Discuss: Hacker News
🔬Static Analysis
exFAT Fixes Significant Random Write Performance Regression With Linux 6.17
phoronix.com·4d·
Discuss: Hacker News
❄️Nixified Development
What Would the Aftermath of the AI Bust Look Like?
thediff.co·5d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Mesa 25.2 brings new hardware support for Nouveau users
collabora.com·5d·
Discuss: Hacker News
🔬Unikernels
Microglia regulate GABAergic neurogenesis in prenatal human brain through IGF1
nature.com·3d·
Discuss: Hacker News
➡️Category Theory
Detecting COPD Through Speech Analysis: A Dataset of Danish Speech and Machine Learning Approach
arxiv.org·4d
🐫OCaml
RooseBERT: A New Deal For Political Language Modelling
arxiv.org·3d
🐫OCaml
Can Large Multimodal Models Actively Recognize Faulty Inputs? A Systematic Evaluation Framework of Their Input Scrutiny Ability
arxiv.org·2d
✓Automated Theorem Proving
Why are LLMs' abilities emergent?
arxiv.org·2d
✓Automated Theorem Proving
Continual Learning for VLMs: A Survey and Taxonomy Beyond Forgetting
arxiv.org·2d
🐫OCaml