essential spectrum
ncatlab.org·1d
λHaskell
Flag this post
Balancing Cost, Power, and AI Performance
oreilly.com·21h
⚡Algebraic Effects
Flag this post
Moving From C++ to Rust? Clickhouse Has Some Advice
thenewstack.io·53m
🎲Roguelike development
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·2d·
Discuss: Hacker News
⚡Algebraic Effects
Flag this post
Going Full-Time NeoHaskell
dev.to·1d·
Discuss: DEV
λHaskell
Flag this post
HNG Internship Stage 1: String Analyzer API
dev.to·1d·
Discuss: DEV
λHaskell
Flag this post
Mastering std::variant for Type-Safe, Expressive Code
dev.to·3d·
Discuss: DEV
⚡Algebraic Effects
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·23h
⚡Algebraic Effects
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
github.com·23h·
Discuss: Hacker News
λHaskell
Flag this post
Intentionality
lesswrong.com·11h
🎨Procreate
Flag this post
Python Integration for Scryer Prolog Using FFI (Research Project)
github.com·1d·
Discuss: Hacker News
⚡Algebraic Effects
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·1d
⚡Algebraic Effects
Flag this post
Gamma convergence for a phase-field cohesive energy
arxiv.org·1d
🔲Cellular Automata
Flag this post
Writing Your First Compiler - Part 3: Lexical Analysis
dev.to·2d·
Discuss: DEV
🔧Functional programming
Flag this post
Rust Testing Framework: Build Reliable Code with Built-In Unit and Integration Tests
dev.to·21h·
Discuss: DEV
λHaskell
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·5d·
Discuss: Hacker News
λHaskell
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
⚡Algebraic Effects
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
github.com·2d·
Discuss: Hacker News
⚡Algebraic Effects
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·10h
🔲Cellular Automata
Flag this post
Unlocking AI Vision with the Wisdom of Cats: Building Generalizable Models
dev.to·6h·
Discuss: DEV
🔲Cellular Automata
Flag this post