essential spectrum
ncatlab.org·1d
λHaskell
Flag this post
Moving From C++ to Rust? Clickhouse Has Some Advice
thenewstack.io·3h
🎲Roguelike development
Flag this post
My dumb prompts that worked better
blog.nilenso.com·1d
🔧Functional programming
Flag this post
Generation of antigen-specific paired-chain antibodies using large language models
sciencedirect.com·8h
🔧Functional programming
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
⚡Algebraic Effects
Flag this post
Opportunistically Parallel Lambda Calculus
λHaskell
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
⚡Algebraic Effects
Flag this post
Reality check
⚡Algebraic Effects
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·13h
🔲Cellular Automata
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
🔧Functional programming
Flag this post
Some thoughts on AI and coding
infoworld.com·9h
🔲Cellular Automata
Flag this post
Unlocking AI Vision with the Wisdom of Cats: Building Generalizable Models
🔲Cellular Automata
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·1d
🔧Functional programming
Flag this post
Neural Green's Functions
arxiv.org·13h
🔲Cellular Automata
Flag this post
Loading...Loading more...