A fun application of Green’s functions and geometric algebra: Residue calculus
peeterjoot.com·4h
Mathematical DSLs
Flag this post
Setting up a simple home router with OpenBSD
blog.montgomerie.net·4h·
🌐Network Protocols
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·15h·
Discuss: Hacker News
📡Erlang BEAM
Flag this post
Understanding Security, Backup & Compliance in a Database as a Service Model
metizsoftinc.com·2h·
Discuss: DEV
🛡️Capability VMs
Flag this post
Scala vs. F#
alexn.org·5h·
Discuss: Hacker News
🔧Nickel
Flag this post
Getting Hardware for an "Always On" Server/Node
stacker.news·2d
🏰Capability Machines
Flag this post
System Practice: Coherence Game
medium.com·3d·
Discuss: r/LLM
🔶Lattice Theory
Flag this post
Google's Jeff Dean on the Coming Era of Virtual Engineers
sequoiacap.com·3h·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
CloudEvents as a Data Product
codesimple.blog·2h
↔️Bidirectional Sync
Flag this post
Diving into FoundationDB's Simulation Framework
pierrezemb.fr·4d
📡Erlang
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·3d
📊Log Parsers
Flag this post
Java's Agentic Framework Boom Is a Code Smell
gnanaguru.com·1d·
Discuss: Hacker News
🔮Metacircular Evaluators
Flag this post
Reasoning Models Sometimes Output Illegible Chains of Thought
arxiv.org·4h
🪜Recursive Descent
Flag this post
Building an AI Code Helper Agent with Mastra Framework and Telex.im Integration
dev.to·2h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
The Shift Toward Reactive Programming in Modern Web Development
dev.to·1d·
Discuss: DEV
🌊Reactive Languages
Flag this post
Adaptive Control for a Physics-Informed Model of a Thermal Energy Distribution System: Qualitative Analysis
arxiv.org·4h
Control Synthesis
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
dev.to·6h·
Discuss: DEV
💬Interactive REPLs
Flag this post
Collateral Crossroads: Quantum-AI's Revolution in Risk Mitigation
dev.to·6h·
Discuss: DEV
🌊Dataflow Languages
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·17h·
Discuss: Hacker News
🧩Constraint Solvers
Flag this post
AURA: A Reinforcement Learning Framework for AI-Driven Adaptive Conversational Surveys
arxiv.org·4h
🪜Recursive Descent
Flag this post