Show HN: I built a highly customizable mental arithmetic trainer for iOS
apps.apple.comยท15hยท
Discuss: Hacker News
๐ŸŒฟTrie Structures
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.orgยท1dยท
Discuss: Lobsters
๐Ÿ“กErlang BEAM
Flag this post
TypeScript Backend Toolkit V2 is available now.
tstoolkit.themuneebh.comยท1dยท
Discuss: r/typescript
๐Ÿ”งAPI Design
Flag this post
Eglot, Ruby LSP and StandardRB
katafrakt.meยท1d
โœจCode Formatters
Flag this post
The Symfony/HttpClient Cookbook: 4 Enterprise Patterns You Havenโ€™t Seen
httpbin.orgยท22hยท
Discuss: DEV
๐Ÿ“ฎMessage Queues
Flag this post
Another way of doing big O notation
alok.github.ioยท3d
โ›ชChurch Encoding
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
codalio.comยท10hยท
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
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.meยท6dยท
ฮปLambda Calculus
Flag this post
Radar Trends to Watch: November 2025
oreilly.comยท21h
๐ŸŽญProgram Synthesis
Flag this post
Automating error analysis for AI agents โ€“ what works and doesn't
atla-ai.comยท22hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Beyond computational assumptions: How BGKW replaced hardness with isolation
reddit.comยท10hยท
Discuss: r/compsci
๐Ÿ”—Hash Functions
Flag this post
Scala vs F#
alexn.orgยท4d
๐Ÿ”งNickel
Flag this post
"Melodic Airways Transforming Flight Routes Into Music"
dev.toยท2hยท
Discuss: DEV
๐ŸŒณExpression Trees
Flag this post
Understanding New-Knowledge-Induced Factual Hallucinations in LLMs: Analysis, Solution, and Interpretation
arxiv.orgยท4h
โœจGleam
Flag this post
A Deep Dive into Multi-Transport Protocol Abstraction in Python
dev.toยท18hยท
Discuss: DEV
๐Ÿ“กNetwork Serialization
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.orgยท4h
๐ŸชœRecursive Descent
Flag this post
Top Open Source Tools for Kubernetes ML: From Development to Production
dev.toยท17hยท
Discuss: DEV
๐ŸŒPortable Assembly
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท5d
๐Ÿ”—Category Theory
Flag this post
Explore More, Learn Better: Parallel MLLM Embeddings under Mutual Information Minimization
arxiv.orgยท1d
๐ŸชœRecursive Descent
Flag this post