Parsing with zippers improves parsing with derivatives
dl.acm.orgยท15hยท
Discuss: Hacker News
๐Ÿ“PEG Parsing
Flag this post
Cure โ€“ Verification-First Programming for the Beam
cure-lang.orgยท7hยท
Discuss: Hacker News
๐Ÿ“กErlang BEAM
Flag this post
Can-t stop till you get enough
cant.bearblog.devยท6hยท
Discuss: Hacker News
๐Ÿ”—Borrowing Extensions
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.comยท9hยท
Discuss: Hacker News
๐Ÿ“Linear Haskell
Flag this post
Mastering std::variant for Type-Safe, Expressive Code
dev.toยท9hยท
Discuss: DEV
๐ŸŽญPolymorphic Variants
Flag this post
UniME-V2: MLLM-as-a-Judge for Universal Multimodal Embedding Learning
paperium.netยท2hยท
Discuss: DEV
๐ŸŒฑMinimal ML
Flag this post
Weak-To-Strong Generalization
lesswrong.comยท22h
๐Ÿ”ML Language
Flag this post
Unlocking LLMs: The Self-Steering Revolution
dev.toยท9hยท
Discuss: DEV
๐ŸชœRecursive Descent
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท2d
๐Ÿ”—Category Theory
Flag this post
Best tool for measuring lots of source code
shape-of-code.comยท3h
๐ŸบCode Archeology
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
Incremental Compilation in Recursiveโ€‘Descent Parser (Roslyn)
langdev.stackexchange.comยท6hยท
Discuss: Hacker News
โšกIncremental Parsing
Flag this post
A Deep Dive into Gorm: Architecture, Workflow, Tips, and Troubleshooting for Goโ€™
devresourcehub.comยท13hยท
Discuss: DEV
๐Ÿ“‹Tablegen
Flag this post
The Great Unification: A Journey from CommonJS to ES Modules in Node.js
dev.toยท2hยท
Discuss: DEV
๐Ÿ“šStack Languages
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท2dยท
Discuss: Hacker News
โœจGleam
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ€“ Part 1
aws.amazon.comยท2d
โš–๏ธInference Rules
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.comยท8hยท
Discuss: Hacker News
๐Ÿ”„Nanopass
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2dยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
Smaller Surfaces
nrempel.comยท1dยท
Discuss: Hacker News
๐ŸฅพBootstrapping Strategies
Flag this post
Becoming a Core Developer
stefaniemolin.comยท8h
โš™๏ธTOML Parsers
Flag this post