Handbook of Satisfiability (2021)
🔧Functional programming
Flag this post
When numbers lie: the Java equality bug every dev hits at least once
⚡Algebraic Effects
Flag this post
Imperfect Language, Artificial Intelligence, and the Human Mind: An Interdisciplinary Approach to Linguistic Errors in Native Spanish Speakers
arxiv.org·1d
⚡Algebraic Effects
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·1d
⚡Algebraic Effects
Flag this post
Energy Loss Functions for Physical Systems
arxiv.org·2h
🔲Cellular Automata
Flag this post
Roadmap for Improving the Type Checker
λHaskell
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
🔲Cellular Automata
Flag this post
Radar Trends to Watch: November 2025
oreilly.com·19h
🔲Cellular Automata
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
⚡Algebraic Effects
Flag this post
Redundancy Maximization as a Principle of Associative Memory Learning
arxiv.org·2h
🔲Cellular Automata
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
⚡Algebraic Effects
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.org·2h
⚡Algebraic Effects
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·5d
⚡Algebraic Effects
Flag this post
My dumb prompts that worked better
blog.nilenso.com·1d
🔧Functional programming
Flag this post
Loading...Loading more...