Fable Security Is Fighting Bad AI with Good AI
forbes.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
SensorLM: Learning the language of wearable sensors
research.google·2d·
Discuss: Hacker News, Hacker News
🐫Embedded OCaml
Parity of Zero
en.wikipedia.org·15h·
Discuss: Hacker News
✓Automated Theorem Proving
Age and Authenticated Encryption
words.filippo.io·4d·
Discuss: Hacker News
🌐NetworkProtocols
Code Review Review Is the Manager's Job
johnbarton.co·7h·
Discuss: Hacker News
🔄Reproducible Builds
From Overwhelmed to on Top: How Managers at Upflow Get Things Done
upflow.io·2d·
Discuss: Hacker News
🛡️seL4
Building a Mental Model AI
johnoct.github.io·8h·
Discuss: Hacker News
✓Automated Theorem Proving
The half-life of tech skills
haraldagterhuis.substack.com·1d·
Discuss: Substack
🖥️Self-hosted Infrastructure
Is the internet broken beyond repair?
newslttrs.com·1d·
Discuss: Hacker News
👁️System Observability
Syco Bench, a simple benchmark of LLM Sycophancy
timfduffy.substack.com·2d·
Discuss: Substack
🎮Verification Games
The tradeoff between human and AI context
softwaredoug.com·8h·
Discuss: Hacker News
🤖Program Synthesis
AI gave me 20 hours back each week, but I'm still not shipping faster
hadijaveed.me·4d·
Discuss: r/programming
🔄Reproducible Builds
SHoM: A Mental-Synthesis Trust Management Model for Mitigating Botnet-Driven DDoS Attacks in the Internet of Things
arxiv.org·20h
🖥️Self-hosted Infrastructure
FoundationDB: A Distributed Database That Can’t Be Killed
thenewstack.io·5d
⎈Kubernetes
Modern Uyghur Dependency Treebank (MUDT): An Integrated Morphosyntactic Framework for a Low-Resource Language
arxiv.org·20h
🔤DSLs
Knowledge Grafting: A Mechanism for Optimizing AI Model Deployment in Resource-Constrained Environments
arxiv.org·2d
🔠Type-Level Programming
People Are Highly Cooperative with Large Language Models, Especially When Communication Is Possible or Following Human Interaction
arxiv.org·2d
💻CS
(Almost) 2 month experience with WTR Max
reddit.com·2d·
Discuss: r/homelab
👁️System Observability
WaveVerify: A Novel Audio Watermarking Framework for Media Authentication and Combatting Deepfakes
arxiv.org·20h
🌐NetworkProtocols
Memorization in Fine-Tuned Large Language Models
arxiv.org·1d
✓Automated Theorem Proving