GHC 9.14.1-Alpha1
blog.haskell.org·8h·
Discuss: Hacker News
🏛️Agda
🚀 Introducing ml_transformer: A Pure Dart ML/NN Library 🎉
dev.to·13h·
Discuss: DEV
🎙️Whisper
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·6h
🎯Performance Proofs
Compiling Dinner
gist.github.com·19h·
Discuss: Hacker News
🔨Compilers
Mojo Roadmap Document
docs.modular.com·11h·
Discuss: Hacker News
💻Programming languages
Challenging LR Parsing (2020)
rust-analyzer.github.io·3h·
Discuss: Lobsters, r/programming
🦀Rust Macros
Song recommendations with F# free monads
blog.ploeh.dk·4d
λLambda Formalization
Chicken Scheme internals: the garbage collector
more-magic.net·6h·
Discuss: Hacker News
🧠Separation Logic
Elephants for breakfast
bitfieldconsulting.com·10h
🦀Rust Macros
Stop Guessing and Start GOing: Cleaner Golang Decompilation in IDA 9.2
hex-rays.com·1d
🔧Binary Parsers
Coffi – Foreign function interface library for Clojure
github.com·3h·
Discuss: Hacker News
🧠Lisp Dialects
Antonio Cuni: Porting the JIT to CLI (part 1)
antocuni.eu·9h
📏Code Metrics
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·5d
🦀Rust Macros
Measuring Reasoning Utility in LLMs via Conditional Entropy Reduction
arxiv.org·17h
🧠Intelligence Compression
Status Update: August 2025
joshleeb.com·1d
🧩WASM Components
Dependent types I › Universes, or types of types
jonmsterling.com·2d·
Discuss: Hacker News
🔤Type Theory
What is a large language model?
proton.me·5h
💻Local LLMs
Typeclassopedia
wiki.haskell.org·4d·
Discuss: Hacker News
🧬Functional Programming
dynify now has a macro for heapless async traits
reddit.com·8h·
Discuss: r/rust
🦀Rust Macros
Condor’s Cuzco RISC-V Core at Hot Chips 2025
chipsandcheese.com·3h·
Discuss: Hacker News
⚙️Modern Assembly