Well-Typed.Com: GHC activities report: March–May 2025
well-typed.com·5d
💧Liquidhaskell
Of Course ML Has Monads! (2011)
existentialtype.wordpress.com·4d·
Discuss: Lobsters, Hacker News
🧬Functional Programming
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.org·1d
📏Code Metrics
higher: Your favourite Haskell type classes for Rust (2023)
github.com·4d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·3d·
Discuss: DEV
🧬Functional Programming
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·11h
📝Concrete Syntax
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·18h
🧮Prolog Parsing
BNFGen: A random text generator based on context-free grammars
baturin.org·27m·
Discuss: Hacker News
🌳Context free grammars
Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·2h
💻Local LLMs
daily quizzz
dev.to·5h·
Discuss: DEV
λLambda Encodings
Comparing Rust, JavaScript and Go for Authoring WASM Components
obeli.sk·9h·
Discuss: Hacker News
🧩WASM Modules
Why Dyad?: A Perspective for Modelica Users
juliahub.com·3h·
Discuss: Hacker News
💧Liquid Types
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·21h·
Discuss: DEV
🔗Concatenative Programming
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·22h·
Discuss: DEV
🦀Rust Borrowing
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·17h·
Discuss: Hacker News
🦀Rust Macros
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·14h
🔗Topological Sorting
Lessons from LangChain and Slack and MCP Integration
medium.com·20h·
Discuss: Hacker News
🔗Topological Sorting