Pattern Matching, Module System, Type Inference, Functional Compilation

How to use Pooh case
gilest.org·5h
📜Proof Languages
Flag this post
GHC Developer Blog: GHC 9.14.1-rc2 is now available
haskell.org·3d
📏Linear Haskell
Flag this post
Bikeshedding `Handle` and other follow-up thoughts
smallcultfollowing.com·2d·
🦀Rust Macros
Flag this post
Battle-Tested Lessons From 10 Years In A Single Codebase
revelry.co·1d·
Discuss: r/programming
🏺Code Archeology
Flag this post
Storage engine choices
reddit.com·3h·
Discuss: r/rust
💾Minimal Databases
Flag this post
Thoughts on Kimi K2 Thinking
interconnects.ai·1d
Performance
Flag this post
Zero-Code Observability: Using eBPF to Auto-Instrument Services with OpenTelemetry
dev.to·9h·
Discuss: DEV
Live Programming
Flag this post
ImagerySearch: Adaptive Test-Time Search for Video Generation Beyond SemanticDependency Constraints
paperium.net·13h·
Discuss: DEV
Gleam
Flag this post
Generating Application Specific Go Documentation Using Go AST and Antora
dev.to·3d·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Deciphering the molecular mechanisms of FET fusion oncoprotein–DNA hollow co-condensates
nature.com·12h
🗺️Region Polymorphism
Flag this post
What I Learned From Vibe Coding an Entire App
dev.to·1h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Improving Diagnostic Performance on Small and Imbalanced Datasets Using Class-Based Input Image Composition
arxiv.org·18h
🌱Minimal ML
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
news.ycombinator.com·3d·
Discuss: Hacker News
🌙Lua
Flag this post
Auditing M-LLMs for Privacy Risks: A Synthetic Benchmark and Evaluation Framework
arxiv.org·1d
🎲Parser Fuzzing
Flag this post
Adding New Capability in Existing Scientific Application with LLM Assistance
arxiv.org·3d
📋Tablegen
Flag this post
The Peril of Preference: Why GRPO fails on Ordinal Rewards
arxiv.org·18h
Partial Evaluation
Flag this post
Measuring Aleatoric and Epistemic Uncertainty in LLMs: Empirical Evaluation on ID and OOD QA Tasks
arxiv.org·1d
🔍ML Language
Flag this post
Agentic Design of Compositional Machines
paperium.net·3h·
Discuss: DEV
🎭Program Synthesis
Flag this post