Flatpak Happenings
blog.sebastianwick.net·22h·
Discuss: Hacker News, r/linux
🔬Unikernels
Flag this post
AI Native Architecture: Intelligence by Design
sumant.bearblog.dev·6h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Zensical – A modern static site generator built by the Material for MkDocs team
squidfunk.github.io·22h·
Discuss: Lobsters, Hacker News
🔧Unikernel Development
Flag this post
Agents Are Commoditizing the Complement
andreasfragner.com·2d·
Discuss: Hacker News
🔧DevOps
Flag this post
Why agents do not write most of our code – a reality check
octomind.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
github.com·1d·
Discuss: Hacker News
💎Refinement Types
Flag this post
BRAINS: A Retrieval-Augmented System for Alzheimer's Detection and Monitoring
arxiv.org·1d
🔍Type Inference
Flag this post
My 2025 Developer Tech Stack: From Code to Docs
dev.to·21h·
Discuss: DEV
🔧DevOps
Flag this post
Tiny GenBI: Lightweight Agent for business analysis
github.com·11h·
Discuss: Hacker News
⚙️PL Implementation
Flag this post
Periodic Skill Discovery
arxiv.org·5h
📚Automata Learning
Flag this post
KGBridge: Knowledge-Guided Prompt Learning for Non-overlapping Cross-Domain Recommendation
arxiv.org·1d
≤Order Theory
Flag this post
10 AI Coding Patterns That'll Make You Look Like a Wizard 🧙‍♂️
dev.to·1d·
Discuss: DEV
🤖Program Synthesis
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
CompAgent: An Agentic Framework for Visual Compliance Verification
arxiv.org·2d
🧩Separation Logic
Flag this post
KAT-GNN: A Knowledge-Augmented Temporal Graph Neural Network for Risk Prediction in Electronic Health Records
arxiv.org·2d
📚Automata Learning
Flag this post
Building a Writing Tool Taught Me More About Explaining Ideas Than I Expected
dev.to·2d·
Discuss: DEV
🔤Language Design
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·2d
🕸️Graph Theory
Flag this post
Automatic Minds: Cognitive Parallels Between Hypnotic States and Large Language Model Processing
arxiv.org·2d
📚Automata Learning
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.org·2d
⏱️Computational Complexity
Flag this post
Being "Usefully Concrete"
lesswrong.com·1d
➡️Category Theory
Flag this post