Rust Foundation Announces 'Maintainers Fund' to Ensure Continuity and Support Long-Term Roles
developers.slashdot.org·11h
🔧DevOps
Flag this post
Show HN: SuperCurate – Fast note retrieval and curation
getsupercurate.com·3h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
New Attacks Against Secure Enclaves
schneier.com·5h·
Discuss: Hacker News
🛡️macOS Security
Flag this post
What we lose when we surrender care to algorithms | Eric Reinhart
theguardian.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Flag this post
The Science of AI Internal State Awareness
responseawareness.substack.com·6d·
Discuss: Substack
📚Automata Learning
Flag this post
The future of LLMs: cognitive core and cartridges?
killerstorm.github.io·4d·
Discuss: Hacker News
❓Existential Types
Flag this post
Risk Comes First(2020)
yusufaytas.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Leveling the Playing Field: Fairer AI with Kernelized Null-Space Projections
dev.to·3d·
Discuss: DEV
🧮SMT Solvers
Flag this post
Kotlin vs Go: The Developer Showdown That Won’t End
dev.to·3h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
Spatial Reasoning Unleashed: Causal Language Models for Smarter Spatial Data
dev.to·6d·
Discuss: DEV
🧩Separation Logic
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·6d
🔍Formal Verification
Flag this post
Comparative Analysis of Discrete and Continuous Action Spaces in Reservoir Management and Inventory Control Problems
arxiv.org·5d
🔍CBMC
Flag this post
Ethics in AI Programming: Ensuring Fair and Transparent Algorithms
dev.to·2d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
dev.to·6d·
Discuss: DEV
🔧ppx
Flag this post
I Built a Recipe App That Sees Your Ingredients with Google Gemini
dev.to·2d·
Discuss: DEV
λFunctional Programming
Flag this post
AI Safety at the Frontier: Paper Highlights of October 2025
lesswrong.com·5d
🧠Automated Reasoning
Flag this post
A Criminology of Machines
arxiv.org·4d
🔲Cellular Automata
Flag this post
Systematizing LLM Persona Design: A Four-Quadrant Technical Taxonomy for AI Companion Applications
arxiv.org·4d
🔲Cellular Automata
Flag this post
Implementation of transformer-based LLMs with large-scale optoelectronic neurons on a CMOS image sensor platform
arxiv.org·3d
🐫Embedded OCaml
Flag this post
Large language models replicate and predict human cooperation across experiments in game theory
arxiv.org·3d
🎮Verification Games
Flag this post