Topological symmetry in quantum field theory (2024)
ems.press·9h·
Discuss: Hacker News
➡️Category Theory
.expub – Exploring Expanded Publishing
expandedpublishing.net·2d·
Discuss: Hacker News
📦Unikernel Systems
AI Agents Outnumber Humans 17:1 in the New Identity Crisis Era
syntheticauth.ai·7h·
Discuss: Hacker News
🎮Verification Games
Run Automated E2E Tests with Stormkit and Browserless Before Hitting Production
stormkit.io·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
The Real Power of Uv
benzarras.substack.com·2d·
Discuss: Substack
❄️Nixified Development
Pre-Auth SQLi to RCE – Fortinet FortiWeb Fabric Connector (CVE-2025-25257)
labs.watchtowr.com·3d·
Discuss: Hacker News
🛡️seL4
VibeTunnel's first AI-anniversary
steipete.me·2d·
Discuss: Hacker News
🍎Apple
Can I Use ChatGPT if I care about the climate?
charmindustrial.com·1d·
Discuss: Hacker News, Hacker News
🖥️Self-hosted Infrastructure
We've got to stop sending files to each other
shkspr.mobi·1d·
Discuss: Lobsters, Hacker News, shkspr.mobi
❄️Nix
Building Robust Filesystem Interactions in Rust
tangramvision.com·3d·
Discuss: Hacker News
❄️Nixified Development
Fairness Is Not Enough: Auditing Competence and Intersectional Bias in AI-powered Resume Screening
arxiv.org·1d
🎮Verification Games
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·3d
✓Automated Theorem Proving
How are you all using AI tools in your workflow? Pros, cons, and handling confidential data
reddit.com·1d·
Discuss: r/programming
🧪Property-Based Testing
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·2d
🐫OCaml
Exploiting Jailbreaking Vulnerabilities in Generative AI to Bypass Ethical Safeguards for Facilitating Phishing Attacks
arxiv.org·1d
🔬Unikernels
Mitigating Object Hallucinations via Sentence-Level Early Intervention
arxiv.org·1d
➡️Category Theory
The largest Git repo on the planet
devblogs.microsoft.com·5d·
Discuss: Hacker News
👁️System Observability
Kubernetes on Proxmox (The scaling/autopilot Method)
reddit.com·4d·
Discuss: r/homelab
⎈Kubernetes
I built a real AI-first OS solo – with a functional, learning "brain system"
news.ycombinator.com·2d·
Discuss: Hacker News
🔬Unikernels
UGREEN DXP4800 plus vs QNAP TS-464-8G vs Aoostar WDR PRO (Ryzen 7 5825U)?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab