Raising The Bar In Mission-Critical Verification
semiengineering.com·7h
🔌Microcontrollers
The State of DeFi Exploit Risk
coindesk.com·22h
🛡️Security Type Systems
Should You Use Upper Bound Version Constraints?
iscinumpy.dev·1d·
Discuss: Lobsters, r/programming
🌳Tree Shaking
Rethinking JEPA: Compute-Efficient Video SSL with Frozen Teachers
machinelearning.apple.com·1d
🗺️Region Inference
My Claude Code Setup
justindfuller.com·13h·
Discuss: Hacker News
💬Interactive REPLs
ES Modules Are Terrible
gist.github.com·13h·
Discuss: Hacker News
🌳Tree Shaking
Choosing the right React framework
reddit.com·17h·
Discuss: r/webdev
🎮Language Ergonomics
Fine-tuning Agents using Tools with Reinforcement Learning
reddit.com·1d·
Discuss: r/LocalLLaMA
✨Gleam
NLightning: A robust and efficient C# implementation of Lightning for dotNet
github.com·1d
🌍Minimal HTTP
Extreme Amodal Face Detection
arxiv.org·10h
✨Effect Inference
Using Either/Result in TypeScript for Error Handling
dev.to·5d·
Discuss: DEV
🛡️Error Handling
What Devs Are Actually Learning in 2025 (Stack Overflow + DORA Insights)
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Auto-learning process risk optimization considering uncertain degradation pathways: A bayesian-learning-informed termination approach
sciencedirect.com·21h
🪜Recursive Descent
How to Build a Modular AI Agent with LangGraph in NestJS & TypeScript
dev.to·4d·
Discuss: DEV
✨Gleam
Thinking on the Fly: Test-Time Reasoning Enhancement via Latent Thought Policy Optimization
arxiv.org·2d
🪜Recursive Descent
Covert Quantum Learning: Privately and Verifiably Learning from Quantum Data
arxiv.org·10h
🔬Nanopasses
Prompting Techniques for Specialised LLMs
dev.to·3d·
Discuss: DEV
🎮Language Ergonomics
CARE: Cognitive-reasoning Augmented Reinforcement for Emotional Support Conversation
arxiv.org·1d
🔗Lexical Scoping
Investigating Students' Preferences for AI Roles in Mathematical Modelling: Evidence from a Randomized Controlled Trial
arxiv.org·10h
🎓Educational Compilers
P2P: A Poison-to-Poison Remedy for Reliable Backdoor Defense in LLMs
arxiv.org·2d
🎲Parser Fuzzing