Pure Functions, Type Systems, Monads, Lazy Evaluation

Up and Down the Ladder of Abstraction
worrydream.com·1d·
Discuss: Hacker News
🗺️Pathfinding Algorithms
Flag this post
Another way of doing big O notation
alok.github.io·4d
🧮Functional Programming
Flag this post
Advice for System Design Interviews
jacobbrazeal.wordpress.com·12h·
Discuss: Hacker News
🧮Functional Programming
Flag this post
[TUI] Ricing the original Rogue
github.com·1d·
Roguelike
Flag this post
Local LM setup: RTX 5070Ti 16G vs DGX Spark vs Mac Studio 64G
reddit.com·2h·
Discuss: r/LocalLLaMA
🌳BSP Trees
Flag this post
Tech With Tim: Learn Fast API With This ONE Project
dev.to·1d·
Discuss: DEV
🧮Functional Programming
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·2d
Algebraic Effects
Flag this post
Course Transistion from Javascrip to TypeScript
github.com·5d·
Discuss: r/typescript
🧮Functional Programming
Flag this post
SAIL-RL: Guiding MLLMs in When and How to Think via Dual-Reward RL Tuning
arxiv.org·1d
🔲Cellular Automata
Flag this post
Quantum Machine Unlearning: Foundations, Mechanisms, and Taxonomy
arxiv.org·2d
Algebraic Effects
Flag this post
Building Trinity Protocol v3.1: A Deep Dive into 2-of-3 Multi-Chain Consensus
dev.to·2d·
Discuss: DEV
Algebraic Effects
Flag this post
Energy Loss Functions for Physical Systems
arxiv.org·1d
🔲Cellular Automata
Flag this post
BoolSkel: Unlocking Boolean Network Efficiency Through Structural Pruning by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🗺️Pathfinding Algorithms
Flag this post
Engineering Enterprise-Grade Context: Making the Model Context Protocol (MCP) Viable for Financial Services
dev.to·17m·
Discuss: DEV
Algebraic Effects
Flag this post
Silenced Biases: The Dark Side LLMs Learned to Refuse
arxiv.org·13h
Algebraic Effects
Flag this post
I'm a beginner at C and I would like feedback about the optimisation of my code
reddit.com·4d·
🔧Functional programming
Flag this post
DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning
arxiv.org·1d
🌳BSP Trees
Flag this post
TabGemma: Text-Based Tabular ICL via LLM using Continued Pretraining and Retrieval
arxiv.org·13h
Algebraic Effects
Flag this post
My 2025 Developer Tech Stack: From Code to Docs
dev.to·1d·
Discuss: DEV
🎲Roguelike development
Flag this post