Open Sourcing Kubetorch
run.house·16h·
Discuss: Hacker News
⎈Kubernetes
Flag this post
I Built a One File Edge Probe to Tell Me When Time Is Lying
physical-ai.ghost.io·18h·
Discuss: Hacker News
📊Runtime Verification
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·4d
λFunctional Programming
Flag this post
Hybrid-Attention models are the future for SLMs
inference.net·5h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
A Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
arxiv.org·2h
⚙️Compiler Design
Flag this post
Disciplined Biconvex Programming
arxiv.org·2h
λFunctional Programming
Flag this post
AraFinNews: Arabic Financial Summarisation with Domain-Adapted LLMs
arxiv.org·2h
🧩Parser Combinators
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·2h
🔄Reproducible Builds
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·2h
⚙️Compiler Design
Flag this post
Day 24: Python Countdown with Boom – Reverse Loop Printing "Boom" on Multiples of 3
dev.to·2h·
Discuss: DEV
λFunctional Programming
Flag this post
How to access and use Minimax M2 API
dev.to·1d·
Discuss: DEV
🐳Containerization
Flag this post
Calibrating and Rotating: A Unified Framework for Weight Conditioning in PEFT
arxiv.org·2h
🏹Effect Systems
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
dev.to·1d·
Discuss: DEV
🎮Verification Games
Flag this post
On Improvisation and Open-Endedness: Insights for Experiential AI
arxiv.org·2h
🔲Cellular Automata
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.org·2h
λFunctional Programming
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·2h
🔤DSLs
Flag this post
Creating a very basic gRPC server
dev.to·12h·
Discuss: DEV
🌐NetworkProtocols
Flag this post
Towards Reliable Pediatric Brain Tumor Segmentation: Task-Specific nnU-Net Enhancements
arxiv.org·2h
🎨GADTs
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·2h
🧠Automated Reasoning
Flag this post
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
arxiv.org·2h
🐫OCaml
Flag this post