Building a small DSL for 3D with python.
m0th.bearblog.dev·1d
🛠programming language development
Creating Web Applications with Julia
digitalocean.com·23h·
Discuss: Hacker News
📚Stack Languages
PIPER Robotic Arm - Fixed Position Recording & Replay
hackster.io·9h
💬Interactive REPLs
Google Common Lisp Style Guide (Revision 1.28)
google.github.io·9h·
Discuss: Hacker News
🎮Language Ergonomics
A Puzzling Performance Puzzle
kodewerk.com·11h·
Discuss: Hacker News
⚡Interpreter Optimization
Neurosymbolic code generation. Innovation in Verification
semiwiki.com·3h
🪜Recursive Descent
Your thoughts tell who you are: Characterize the reasoning patterns of LRMs
arxiv.org·12h
🌱Minimal ML
Why Corrigibility is Hard and Important [IABIED Resources]
lesswrong.com·16h
🚂Error Propagation
7 Practical Techniques to Reduce LLM Hallucinations
analyticsvidhya.com·1d
🎯Finite Automata
Safe zero-copy operations in C#
ssg.dev·17h·
Discuss: Lobsters, Hacker News
📚Stack Allocation
Six Simple Sudoku Solvers III: Prolog
blog.veitheller.de·1d
🧩Constraint Solvers
Towards Safe Reasoning in Large Reasoning Models via Corrective Intervention
arxiv.org·12h
📏Linear Logic
The function not dispatched
dev.to·2d·
Discuss: DEV
😴Lazy Evaluation
Cracking the Code: Unveiling LLM Secrets with Vector Architectures by Arvind Sundararajan
dev.to·10h·
Discuss: DEV
🪜Recursive Descent
Conditional Advantage Estimation for Reinforcement Learning in Large Reasoning Models
arxiv.org·12h
⚖️Inference Rules
Building an AI agent from scratch in Python
leoniemonigatti.com·1h·
Discuss: Hacker News
✨Gleam
What Kind of Programming Is Natural Language Programming?
dsyme.net·13h·
Discuss: Hacker News
🔬programming language theory
Building Go APIs with DI and Gin: A Dependency Injection Guide
medium.com·2d·
Discuss: r/golang
🤖Embedded Go
Sonnet 4.5 ranks #25 (below other Claude models) in generating SQL
tinybird.co·21h·
Discuss: Hacker News
💬Interactive REPLs
Your Sealed Class Cookbook: 3 Production-Ready Android Recipes
dev.to·1h·
Discuss: DEV
⚡Algebraic Effects