2026 DSF Board Candidates
djangoproject.com·1d
🌐ActivityPub
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·4d·
🔍Formal Verification
Flag this post
A Security Model for Systemd
lwn.net·1d·
🔬Unikernels
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.me·3d·
Discuss: Hacker News
🎮Verification Games
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·2d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
Enhancing Ni-Rich Cathode Performance via Gradient-Adaptive Electrolyte Additive Modulation
dev.to·1d·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Q-Sat AI: Machine Learning-Based Decision Support for Data Saturation in Qualitative Studies
arxiv.org·2d
📝Term Rewriting
Flag this post
Show HN: JermCAD – A YAML-powered, vibe-coded, browser-based CAD software
github.com·2d·
🔢Algebraic Data Types
Flag this post
Learning Without Critics? Revisiting GRPO in Classical Reinforcement Learning Environments
arxiv.org·1d
🔍CBMC
Flag this post
Noise Injection: Improving Out-of-Distribution Generalization for Limited Size Datasets
arxiv.org·11h
📐Linear Algebra
Flag this post
The Self-Organizing AI: Can Machines Learn to 'Feel' Their Way to Success? by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
Generative Hints
arxiv.org·1d
🔲Cellular Automata
Flag this post
Introducing the MindsEye Notification Project — Adaptive Email Automation for the Future of AI Systems
dev.to·1d·
Discuss: DEV
📦OPAM
Flag this post
Beyond Basic RAG: AI Agents for Context-Aware Responses
thenewstack.io·2d
🧩Parser Combinators
Flag this post
Security Audit of intel ICE Driver for e810 Network Interface Card
arxiv.org·2d
🛡️seL4
Flag this post
Unlocking Salesforce CRM Intelligence with MindsDB’s AI Powered Knowledge Bases
dev.to·1d·
Discuss: DEV
🔄Reproducible Builds
Flag this post
MathCanvas: Intrinsic Visual Chain-of-Thought for Multimodal MathematicalReasoning
dev.to·16h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Understanding LangChain and LangGraph: A Beginner’s Guide to AI Workflows
dev.to·4d·
Discuss: DEV
🧮Z3
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·10h·
Discuss: DEV
🎯Complexity Classes
Flag this post