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ยท1hยท
Discuss: Hacker News
๐Ÿ”„Bootstrapping
Flag this post
Testing Cursor's New Model: Composer
shuttle.devยท22h
๐ŸŒŠAsync Compilers
Flag this post
Eglot, Ruby LSP and StandardRB
katafrakt.meยท1d
โœจCode Formatters
Flag this post
Another way of doing big O notation
alok.github.ioยท3d
โ›ชChurch Encoding
Flag this post
๐Ÿ’ฅ Tech Talks Weekly #81: Podcasts Are Here โ€ผ๏ธ
techtalksweekly.ioยท5h
๐Ÿ’ฌInteractive REPLs
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
codalio.comยท23hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Flag this post
Creating a Linux Application Using VSCodium, Cline, OpenRouter, and Claude
taosecurity.blogspot.comยท1dยท
๐Ÿ”—Language Toolchains
Flag this post
Why Nonparametric Models Deserve a Second Look
towardsdatascience.comยท3h
โœจEffect Inference
Flag this post
Radar Trends to Watch: November 2025
oreilly.comยท1d
๐ŸŽญProgram Synthesis
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
Managing long contexts in agentic coding systems
cto.newยท5hยท
Discuss: Hacker News
โšกIncremental Parsing
Flag this post
learn-data-structures-js
github.comยท2dยท
Discuss: DEV
๐ŸชขRope Data Structures
Flag this post
The Next Frontier in NLP: Smarter Agents, Not Just Bigger Models
pub.towardsai.netยท16h
๐ŸชœRecursive Descent
Flag this post
Beyond Standard LLMs
magazine.sebastianraschka.comยท1dยท
Discuss: Hacker News, r/LLM
๐Ÿ”„Subinterpreters
Flag this post
Information recycling in coherent state discrimination
arxiv.orgยท17h
๐Ÿ”—Lexical Scoping
Flag this post
Building a Production-Ready AI-Powered Robo-Advisor: From Concept to Cloud Deployment
dev.toยท16hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Flag this post
Ultimate C# Tutorial (C Sharp) for .NET Developers
dev.toยท10hยท
Discuss: DEV
๐Ÿ”Capability Calculus
Flag this post
How to Build a RAG Solution with Llama Index, ChromaDB, and Ollama
dev.toยท14hยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
Flag this post
GHC Developer Blog: GHC 9.14.1-rc1 is now available
haskell.orgยท6d
โšกfunctional programming
Flag this post