Thinking with Types: type-level programming in Haskell
thinkingwithtypes.comยท2dยท
Discuss: Hacker News
๐Ÿ“Linear Haskell
Flag this post
๐ŸŽฒ My first global LibreOffice Conference
blog.alvarezp.orgยท1d
๐Ÿ”—Concatenative
Flag this post
The end of company wikis
newbry.bearblog.devยท14h
๐Ÿ“šSelf-Documenting Code
Flag this post
A Decade of AI Platform at Pinterest
medium.comยท16h
๐Ÿ“ฆDependency Analysis
Flag this post
Reforging the ReScript Build System
rescript-lang.orgยท18hยท
๐Ÿ”„Incremental Compilation
Flag this post
I Chose to Focus on Data Systems Instead of Application Programming
alexnemethdata.comยท17hยท
Discuss: Hacker News
๐ŸŽฎLanguage Ergonomics
Flag this post
Converting from GDscript
reddit.comยท16hยท
Discuss: r/godot
๐ŸŒ‰Language Interop
Flag this post
What I Learned Publishing Technical Books on Amazon (Without Being a Coder)
amzn.toยท2dยท
Discuss: DEV
๐Ÿ“šSelf-Documenting Code
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.comยท22hยท
Discuss: Hacker News
โšกInterpreter Optimization
Flag this post
Wednesday Dashboard Show & Tell
reddit.comยท17mยท
Discuss: r/selfhosted
๐Ÿ indieweb
Flag this post
Grok AI: A Deep Dive into xAIโ€™s Maverick Chatbot
dev.toยท3hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Flag this post
The Lost Art of Code Quality: Why Modern Engineers Ship Fast but Think Less
dev.toยท1hยท
Discuss: DEV
๐Ÿ“ŠCode Metrics
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.orgยท5h
๐Ÿ”ML Language
Flag this post
Why Logic Isn't as Objective as You Think
dev.toยท4hยท
Discuss: DEV
โš–๏ธInference Rules
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.orgยท1d
โšกPartial Evaluation
Flag this post
New comment by aaaashley in "Some software bloat is OK"
news.ycombinator.comยท23hยท
Discuss: Hacker News
๐Ÿ’ฌSmalltalk VMs
Flag this post
Getting Started with Claude Code (Super Easy!)
dev.toยท1dยท
Discuss: DEV
๐Ÿ’ฌInteractive REPLs
Flag this post
I independently developed three AI tool websites: Architecture, Automation Stack, and Painful Lessons Learned.
dev.toยท2dยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.orgยท5h
๐ŸชœRecursive Descent
Flag this post