✨ Effect Handlers

Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

Donkey Kong Country 2 and Open Bus
jsgroth.dev·21h
🎮GameBoy Architecture
GenAI paradox: exploring AI use cases | McKinsey
mckinsey.com·8h
🔲Cellular Automata
An in-depth look at the implementation of an Undo/Redo system in a large complex visual application
mlacast.com·3d·
Discuss: Hacker News, r/programming
💾Persistence Strategies
How Language Became Infrastructure—and Why That Should Worry Us
hackernoon.com·7h
📋Document Grammar
How I ended up building hydractrl
d17e.dev·2d·
Discuss: Hacker News
📼Retro Games
Oblique Strategies for Vibe Coding
useyourexperience.com·2d·
Discuss: Hacker News
🇸🇪Nordic Algorithms
Pure UI
rauchg.com·23h·
Discuss: Hacker News
🎨Nordic Design
Vibe Coding Makes You a Better Engineer
artmann.co·2d
📏Code Metrics
I built a Swift GraphQL client that generates the query using macros
github.com·5h·
Discuss: Hacker News
✅Format Verification
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·1d
🧠Intelligence Compression
DRIFT: Data Reduction via Informative Feature Transformation- Generalization Begins Before Deep Learning starts
arxiv.org·1d
🧠Machine Learning
Enterprise Large Language Model Evaluation Benchmark
arxiv.org·10h
⚙️Compression Benchmarking
Leveling the Playing Field: Carefully Comparing Classical and Learned Controllers for Quadrotor Trajectory Tracking
arxiv.org·2d
✨Algebraic Effects
STU-PID: Steering Token Usage via PID Controller for Efficient Large Language Model Reasoning
arxiv.org·2d
🌊CBOR Streaming
CodeMorph: Mitigating Data Leakage in Large Language Model Assessment
arxiv.org·2d
💻Local LLMs
NTRL: Encounter Generation via Reinforcement Learning for Dynamic Difficulty Adjustment in Dungeons and Dragons
arxiv.org·1d
🔲Cellular Automata
Polystate: Composable Finite State Machines
github.com·4d·
Discuss: Lobsters, Hacker News, r/Zig
🌐Protocol Synthesis
Learning Plan Architect: Design Your Mastery Blueprint 🏗️🎯🤖🌠
dev.to·13h·
Discuss: DEV
📐Proof Assistants
Choice of Scoring Rules for Indirect Elicitation of Properties with Parametric Assumptions
arxiv.org·2d
👑Coq Tactics
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·1d·
Discuss: DEV
🦀Rust Borrowing