λ Haskell

Pure Functions, Type Systems, Monads, Lazy Evaluation

Compiling a Call to a Block
patshaughnessy.net·2d
⚡Algebraic Effects
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
codalio.com·11h·
Discuss: DEV
⚡Algebraic Effects
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·2d·
Discuss: Hacker News
⚡Algebraic Effects
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·5d·
Discuss: Lobsters, Hacker News
🧮Functional Programming
Flag this post
The Science of AI Internal State Awareness
responseawareness.substack.com·18h·
Discuss: Substack
⚡Algebraic Effects
Flag this post
Logic point entities (Sourcelike)
reddit.com·14h·
Discuss: r/godot
⚔Roguelike
Flag this post
Computer Science Fundamentals: From Binary Systems to Algorithms
dev.to·18h·
Discuss: DEV
🌳BSP Trees
Flag this post
'No Free Lunch: Deconstruct Efficient Attention with MiniMax M2'
lmsys.org·1d
🌳BSP Trees
Flag this post
Decoding Kiroween
dev.to·20h·
Discuss: DEV
🧮Functional Programming
Flag this post
A Privacy-First AI Voice Cloning Tool with Local LLMs
dev.to·6h·
Discuss: DEV
🎲Roguelike development
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·1d·
Discuss: Hacker News
⚡Algebraic Effects
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·18h·
Discuss: Hacker News
🗺️Pathfinding Algorithms
Flag this post
Can LLMs subtract numbers?
arxiv.org·5h
🧮Functional Programming
Flag this post
Showcase: In Memoria - Rust core with TypeScript/NAPI interface for high-performance AI tooling
reddit.com·18h·
Discuss: r/rust
🎲Roguelike development
Flag this post
Computation as a Game
arxiv.org·1d
🧮Functional Programming
Flag this post
Beyond computational assumptions: How BGKW replaced hardness with isolation
reddit.com·11h·
Discuss: r/compsci
🔲Cellular Automata
Flag this post
feenkcom/gtoolkit v1.0.2284
github.com·18h
⚔Roguelike
Flag this post
@call_once python macro for unlimited recursion depth
dev.to·1d·
Discuss: DEV
🧮Functional Programming
Flag this post
Lately, coding with Claude has been very smooth. I am able to complete experiments on time.
reddit.com·22h·
Discuss: r/ClaudeAI
🧮Functional Programming
Flag this post
Introducing Spira - Making a Shell #0
github.com·1d·
Discuss: DEV
🎲Roguelike development
Flag this post