Thinking with Types: type-level programming in Haskell
thinkingwithtypes.comยท9hยท
Discuss: Hacker News
๐Ÿ“Linear Haskell
Flag this post
Borrow checker says โ€œNoโ€! An error that scares me every single time!
polymonster.co.ukยท3dยท
๐Ÿ”’Rust Borrowing
Flag this post
Diving Deeper into Blockchain and Web3 Product Engineering โ€“ Week 1 Learnings
farcaster.xyzยท9hยท
Discuss: DEV
๐Ÿ”„Nanopass
Flag this post
Objects as Random Access Memory
tbr.bearblog.devยท22h
๐ŸคZipper Structures
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ€“ Part 1
aws.amazon.comยท2d
โš–๏ธInference Rules
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.comยท22hยท
Discuss: Hacker News
โš™๏ธTOML Parsers
Flag this post
Atlas & The Frontier of AI Browsing: Let's Connect!
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ˆEarley Parsing
Flag this post
RimStone is a different kind of programming language
dev.toยท23hยท
Discuss: DEV
๐ŸŒฑMinimal Languages
Flag this post
Protest: An ergonomic, powerful, and feature-rich property testing library with minimal boilerplate.
reddit.comยท1dยท
Discuss: r/rust
๐Ÿ”’Rust Borrowing
Flag this post
Show HN: Why write code if the LLM can just do the thing? (web app experiment)
github.comยท1dยท
Discuss: Hacker News
๐Ÿ’ฌSmalltalk VMs
Flag this post
Migration Made Easy: Transitioning from Traditional AI Libraries to Low-Code Solutions in Q4 2025
dev.toยท21hยท
Discuss: DEV
๐ŸŽฎLanguage Ergonomics
Flag this post
[Project] UnisonDB: A log-native KV database that treats replication as a first-class concern
reddit.comยท1dยท
Discuss: r/programming
๐Ÿ“ฆMessage Serialization
Flag this post
TinyML is the most impressive piece of software you can run on any ESP32
xda-developers.comยท2d
๐Ÿ’ฌSmalltalk VMs
Flag this post
If We Rewrote SpringBoot from Scratch, What Different Choices Would We Make?
dev.toยท2dยท
Discuss: DEV
๐Ÿ”„Bootstrapping
Flag this post
Building ReviewMaster AI: A Solo Developer's Angular MVP Journey to SaaS Success
dev.toยท17hยท
Discuss: DEV
โšกLive Programming
Flag this post
Building NailArt AI: A Complete Technical Breakdown
dev.toยท14hยท
Discuss: DEV
๐Ÿ indieweb
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonw.substack.comยท17mยท
Discuss: Substack
๐Ÿ’ฌInteractive REPLs
Flag this post
๐Ÿš€ The Black Box Principle: Decoupling API Clients with OpenAPI and TypeScript
dev.toยท1dยท
Discuss: DEV
๐Ÿ”งAPI Design
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
dev.toยท8hยท
Discuss: DEV
๐ŸชœRecursive Descent
Flag this post