λ Haskell

Pure Functions, Type Classes, Monads, Lazy Evaluation, GHC

Eglot, Ruby LSP and StandardRB
katafrakt.me·1d
🔮Lisp Macros
Flag this post
Compiling a Call to a Block
patshaughnessy.net·2d
🔮Lisp Macros
Flag this post
Maestro – The orchestration engine that replicates human judgment
news.ycombinator.com·19h·
Discuss: Hacker News
👀Code Reviews
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·6d·
Discuss: r/javascript, r/programming
➡️Arrows
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·6d·
Discuss: Substack
🎓Scheme
Flag this post
Implementing your own "emacs-like" `M-x compile` in Neovim (not a plugin)
reddit.com·6h·
Discuss: r/neovim
🔮Lisp Macros
Flag this post
Choosing the best AI coding agent for Bitrise
bitrise.io·4h·
Discuss: Hacker News
🪄Magit
Flag this post
Dictionary for language learning application in Go
reddit.com·1d·
Discuss: r/golang
🔧haskell
Flag this post
Beyond computational assumptions: How BGKW replaced hardness with isolation
reddit.com·3h·
Discuss: r/compsci
🌲Persistent Data Structures
Flag this post
Reality check
dev.to·14h·
Discuss: DEV
🔴Test-Driven Development
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·21h
🎲Property-Based Testing
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.org·21h
📐Gini Coefficient
Flag this post
Why You Should Try Vite For Your Next Project (and Forget About Webpack)
github.com·13h·
Discuss: DEV
🪄Magit
Flag this post
When will `type A = impl Trait` where A is associated type become stable?
github.com·22h·
Discuss: r/rust
🔄Common Lisp
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.org·21h
🔬BPF
Flag this post
I am torn about using Lo
reddit.com·11h·
Discuss: r/golang
📝Org-Mode
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·21h
🔗Parser Combinators
Flag this post
Showcase: In Memoria - Rust core with TypeScript/NAPI interface for high-performance AI tooling
reddit.com·10h·
Discuss: r/rust
📦Cabal
Flag this post
The Art of Luminous Code: A Journey with Dynamic `import()` in Node.js
dev.to·1d·
Discuss: DEV
🚫Branch-Free Programming
Flag this post
Mastering std::variant for Type-Safe, Expressive Code
dev.to·2d·
Discuss: DEV
🔮Lisp Macros
Flag this post