GaloisInc/parameterized-utils
github.com·3d
📏Linear Haskell
Curing Miracle Steps in LLM Mathematical Reasoning with Rubric Rewards
arxiv.org·1d
🔍ML Language
Working on Hard Problems
danvk.org·1d
🤐Zipper Structures
Three Solutions to Nondeterminism in AI
blog.hellas.ai·3d·
Discuss: Hacker News
✅Type Checking
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·2d·
Discuss: Hacker News, r/programming
🤐Zipper Structures
Implicit `operator bool` participates in comparison
quuxplusone.github.io·1d
🎭Polymorphic Variants
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·1d·
Discuss: r/golang
🐹Goroutine Scheduling
How static analysis encourages developers to refactor code: Another look at Source SDK
dev.to·1d·
Discuss: DEV
🪄C Metaprogramming
Toy Binary Decision Diagrams
philipzucker.com·5d
✅Type Checking
React Native's Hidden Gem: useMemo & useCallback - Stop Re-rendering Everything! 🚀
dev.to·1d·
Discuss: DEV
🌊Gradual Effects
Running AI agents in parallel
adityathebe.com·26m
⚡Incremental Parsing
JVM stack is about to be massively modernized
medium.com·21h·
Discuss: Hacker News
💬Error Messages
SE371 - Assignment 2
dev.to·12h·
Discuss: DEV
🤐Zipper Structures
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.dev·3d·
Discuss: Hacker News
🐪OCaml
Three gripes about Go modules
jotaen.net·21h·
Discuss: Hacker News
⚙️TOML Parsers
Patience and Willingness to Be Slow
lesswrong.com·1d
💬Interactive REPLs
The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·3d
⚡Interpreter Optimization
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
📝Rope Editors
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·1d
🚂Error Propagation
Graphulo: Accumulo library of matrix math primitives and graph algorithms
github.com·19m·
Discuss: Hacker News
📊DataFrame Types