Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·4d
⚡Algebraic Effects
Flag this post
Roadmap for Improving the Type Checker
λHaskell
Flag this post
What Is Occult Grammar?
⚡Algebraic Effects
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
🔲Cellular Automata
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·2h
⚡Algebraic Effects
Flag this post
Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.com·1d
🎲Roguelike development
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·2h
⚡Algebraic Effects
Flag this post
Best tool for measuring lots of source code
shape-of-code.com·1d
λHaskell
Flag this post
OSS updates September and October 2025
blog.michielborkent.nl·1d
⚡Algebraic Effects
Flag this post
LangChain vs LangGraph: A Beginner’s Guide to Building Smarter AI Workflows
hackernoon.com·15h
🗺️Pathfinding Algorithms
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·2h
⚡Algebraic Effects
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·2h
⚡Algebraic Effects
Flag this post
Naïve Shuffle Algorithm (2007)
🌳BSP Trees
Flag this post
Loading...Loading more...