Flagged by the Algorithm: Klarna Thought I'm a Fraudster
algorithmwatch.org·21h·
Discuss: Hacker News
🍎Apple
Securing MCP Servers
corgea.com·2d·
Discuss: Hacker News
🛡️seL4
Built an AI news agent that stops information overload
reckoning.dev·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Alloyed agents: combining LLMs to improve AI code generation
enginelabs.ai·2d·
Discuss: Hacker News
💎Refinement Types
EmbeddingGemma Model Card
ai.google.dev·3d·
Discuss: Hacker News
🧩Parser Combinators
Why Using Software Is Like Eating at a Brazilian Steakhouse Run by Vegans
spin.atomicobject.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
NVIDIA Rubin CPX Accelerates Inference Performance and Efficiency for 1M+ Token Context Workloads
developer.nvidia.com·2d·
Discuss: Hacker News
🧩Separation Logic
You too can run malware from NPM (I mean without consequences)
github.com·1d·
Discuss: Hacker News
🐳Containerization
Exploring approaches to computational representation and classification of user-generated meal logs
arxiv.org·1d
📚Automata Learning
ProfilingAgent: Profiling-Guided Agentic Reasoning for Adaptive Model Optimization
arxiv.org·1d
🧩Parser Combinators
Microsoft just announced Visual Studio 2026!
visualstudio.microsoft.com·1d·
Discuss: DEV, Hacker News
🔄Reproducible Builds
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·6d
🧠Automated Reasoning
Impact of Labeling Inaccuracy and Image Noise on Tooth Segmentation in Panoramic Radiographs using Federated, Centralized and Local Learning
arxiv.org·1d
🧩Separation Logic
Orchestrate multiple AI agents with cagent by Docker to create coding assistant
tobiasfenster.io·1d·
Discuss: Hacker News
🐳Containerization
Cargo-remark: view LLVM optimization remarks for Rust
github.com·3d·
Discuss: Hacker News
🛡️seL4
Learning Rust in a corporate machine and dealing with antivirus false positives (os error 5)
reddit.com·1d·
Discuss: r/rust
❄️Nixified Development
LiDAR-BIND-T: Improving SLAM with Temporally Consistent Cross-Modal LiDAR Reconstruction
arxiv.org·1d
🔄Finite State Machines
RT-VLM: Re-Thinking Vision Language Model with 4-Clues for Real-World Object Recognition Robustness
arxiv.org·1d
📚Automata Learning
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·2d·
Discuss: Substack
🤖Program Synthesis
Apple's biggest announcement today was Memory Integrity Enforcement
victorwynne.com·23h·
Discuss: Hacker News
🍎Apple