Arch Linux pulls AUR packages that installed Chaos RAT malware
bleepingcomputer.com·14h·
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·23h·
Discuss: Hacker News
🧱Immutable Infrastructure
Why use Enum instead of boolean for method parameters?
javarevisited.substack.com·2d·
Discuss: r/programming
🔍Formal Verification
Why isn't packaging part of Python core development?
pydevtools.com·2d·
Discuss: Hacker News
❄️Nixified Development
Run Automated E2E Tests with Stormkit and Browserless Before Hitting Production
stormkit.io·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
Notes from a product design vibe coding hackathon
intercom.com·3d·
Discuss: Hacker News
🍎Apple
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·6h·
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
A Rust implementation of the Haraka hash function
github.com·5d·
Discuss: Hacker News
🐫Embedded OCaml
Is AI the end of coding as we know it, or just another tool?
aha.io·3d·
Discuss: Hacker News
🤖Program Synthesis
Why AI Agents Need a New Kind of Browser
thenewstack.io·17h
🛡️seL4
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
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
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.org·3d
🐫OCaml
The Pragmatic Engineer 2025 Survey: What’s in your tech stack?
newsletter.pragmaticengineer.com·3d·
Discuss: Hacker News
👁️System Observability
Information-Theoretic Aggregation of Ethical Attributes in Simulated-Command
arxiv.org·1d
✓Automated Theorem Proving