Cure - Verification-First Programming for the BEAM
cure-lang.orgยท2dยท
Discuss: Lobsters
๐Ÿ“กErlang BEAM
Flag this post
We're Counting Birbs Today
counting-stuff.comยท4hยท
Discuss: Hacker News
๐Ÿ”„Bootstrapping
Flag this post
How to Extend WPGraphQL with Custom Types and Resolvers in PHP WordPress
yourwpweb.comยท1hยท
Discuss: DEV
๐Ÿ”„Incremental Lexing
Flag this post
Eglot, Ruby LSP and StandardRB
katafrakt.meยท2d
โœจCode Formatters
Flag this post
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
taosecurity.blogspot.comยท1dยท
๐Ÿ”—Language Toolchains
Flag this post
Newbie - Got stuck at db.lock issue
reddit.comยท1hยท
Discuss: r/cachyos
๐Ÿ“ฆPackage Managers
Flag this post
Automating error analysis for AI agents โ€“ what works and doesn't
atla-ai.comยท1dยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Famed software engineer DJB tries Fil-C and likes what he sees
theregister.comยท13hยท
Discuss: Hacker News
๐Ÿ”ฌNanopasses
Flag this post
Intentionality
lesswrong.comยท19h
๐Ÿ’ซEffect Systems
Flag this post
Day 2 of building Secrin
dev.toยท21hยท
Discuss: DEV
๐Ÿ”ชProgram Slicing
Flag this post
Beyond Standard LLMs
magazine.sebastianraschka.comยท1dยท
Discuss: Hacker News, r/LLM
๐Ÿ”„Subinterpreters
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท6dยท
Discuss: Hacker News
๐ŸŒฑMinimal Languages
Flag this post
Building a Production-Ready AI-Powered Robo-Advisor: From Concept to Cloud Deployment
dev.toยท19hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.orgยท1d
๐Ÿ”—Memory Linearization
Flag this post
Optimizing Multi-UAV 3D Deployment for Energy-Efficient Sensing over Uneven Terrains
arxiv.orgยท19h
๐Ÿค–Embedded Go
Flag this post
How to Build a RAG Solution with Llama Index, ChromaDB, and Ollama
dev.toยท17hยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.orgยท1d
๐Ÿ—บ๏ธRegion Inference
Flag this post
Reality check
dev.toยท1dยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Flag this post
Why Agentic AI Struggles in the Real World โ€” and How to Fix It
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Subinterpreters
Flag this post