Arch Linux pulls AUR packages that installed Chaos RAT malware
bleepingcomputer.com·9h·
Discuss: Hacker News
❄️Nixified Development
An AI-Powered Spell Checker for the TI-84
hackster.io·1d·
Discuss: Hacker News
💾Retro Computing
Tao: The Power of the Graph (2013)
engineering.fb.com·19h·
Discuss: Hacker News
🧱Immutable Infrastructure
Why isn't packaging part of Python core development?
pydevtools.com·2d·
Discuss: Hacker News
❄️Nixified Development
Let's Tidy Up State Government
statesforum.org·2d·
Discuss: Hacker News
🔤DSLs
Run Automated E2E Tests with Stormkit and Browserless Before Hitting Production
stormkit.io·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
VibeTunnel's first AI-anniversary
steipete.me·3d·
Discuss: Hacker News
🍎Apple
We aren't worried about misalignment as self-fulfilling prophecy
blog.ai-futures.org·2h·
Discuss: Hacker News
✓Automated Theorem Proving
The Agentic Resistance: Why Critics Are Missing the Paradigm Shift
decodingdiscontinuity.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Is AI the end of coding as we know it, or just another tool?
aha.io·3d·
Discuss: Hacker News
🤖Program Synthesis
How are you all using AI tools in your workflow? Pros, cons, and handling confidential data
reddit.com·2d·
Discuss: r/programming
🧪Property-Based Testing
The Pragmatic Engineer 2025 Survey: What’s in your tech stack?
newsletter.pragmaticengineer.com·3d·
Discuss: Hacker News
👁️System Observability
Since I have to move twice this month, I threw together a temporary condensed setup that I'm very happy with
i.redd.it·1d·
Discuss: r/homelab
🏠HomeLab
Enhancing Clinical Text Classification via Fine-Tuned DRAGON Longformer Models
arxiv.org·4d
🏹Effect Systems
Show HN: Flowrite – Why I built a songwriting app instead of paying subs
github.com·3d·
Discuss: Hacker News
🔬Unikernels
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.org·3d
🐫OCaml
Information-Theoretic Aggregation of Ethical Attributes in Simulated-Command
arxiv.org·1d
✓Automated Theorem Proving
NarrLV: Towards a Comprehensive Narrative-Centric Evaluation for Long Video Generation Models
arxiv.org·3d
🎮Verification Games
From Corporate Grind to Home Server Grind: My Self-Hosting Adventure
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Finding Order-Preserving Subgraphs
arxiv.org·3d
💻CS