An enough week
blog.mitrichev.chยท1dยท
Discuss: blog.mitrichev.ch
๐ŸงฎZ3 Solver
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท1d
๐ŸŒŠStreaming Systems
Three ways formally verified code can go wrong in practice
buttondown.comยท12h
๐Ÿ“œProof Carrying Code
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.orgยท2d
๐Ÿ”—Functional Compilers
Building the Reasoning Engine at Axiom
axiommath.aiยท9hยท
Discuss: Hacker News
โš”๏ธLean Tactics
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท15hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
Rust vs C, C++, Java & Python โ€” 5 Everyday Programs Compared
dev.toยท2dยท
Discuss: DEV
๐Ÿฆ€Rust Macros
Static Bundle Object: Modernizing Static Linking
medium.comยท3dยท
Discuss: Hacker News, Hacker News
๐Ÿ”—Static Linking
The Porcelain to Come
stackdiver.comยท6hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Why it took 4 years to get a lock files specification
snarky.caยท1hยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Python 3.12.12, 3.11.14, 3.10.19 and 3.9.24 are now available!
pythoninsider.blogspot.comยท1d
๐Ÿ”Z3 Parsing
Show HN: Realization Jsmn on a Pure Zig
github.comยท19hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Defeating Return Type Polymorphism
philipphagenlocher.deยท2dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
Building on vibes: Lessons from three years with LLMs
world.hey.comยท1dยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Ship Broken Things
matmul.netยท1dยท
Discuss: Hacker News
๐Ÿ”—Topological Sorting
Why Haskell is the perfect fit for renewable energy tech
mrcjkb.devยท2dยท
Discuss: Hacker News
๐ŸงฌFunctional Programming
The Programmer Identity Crisis
hojberg.xyzยท2dยท
Discuss: Lobsters, Hacker News
๐Ÿ”ฉSystems Programming
Three gripes about Go modules
jotaen.netยท11hยท
Discuss: Hacker News
๐Ÿ”“Reverse engineering
Python For Data Engineering
dev.toยท20hยท
Discuss: DEV
๐ŸŒŠStream Processing