Quasiconservation laws and suppressed transport in weakly interacting localized models
journals.aps.org·1d
🔲Cellular Automata
Flag this post
👻 Scraping the Specter: Why my Kiroween ghost recorder failed and how I rebooted it
kiroween.devpost.com·2h·
Discuss: DEV
🎲Roguelike development
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
🧮Functional Programming
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
codalio.com·2h·
Discuss: DEV
🧮Functional Programming
Flag this post
Makefile vs. YAML: Modernizing verification simulation flows
edn.com·1d
🔲Cellular Automata
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·20h
🧮Functional Programming
Flag this post
The Art of the Meta: A Journey into JavaScript Proxies
dev.to·1d·
Discuss: DEV
λHaskell
Flag this post
Reality check
dev.to·14h·
Discuss: DEV
🧮Functional Programming
Flag this post
Choosing the best AI coding agent for Bitrise
bitrise.io·4h·
Discuss: Hacker News
🗺️Pathfinding Algorithms
Flag this post
How to Design Efficient Memory Architectures for Agentic AI Systems
pub.towardsai.net·6h
🔲Cellular Automata
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·2d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·20h
🧮Functional Programming
Flag this post
[Tool] RE-Architect: Automated binary analysis with multiple decompilers + AI explanations
github.com·2h·
Discuss: r/programming
λHaskell
Flag this post
Understanding Delegates in C#: The Complete Beginner’s Guide
dev.to·1d·
Discuss: DEV
🧮Functional Programming
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·10h·
Discuss: Hacker News
🗺️Pathfinding Algorithms
Flag this post
The Collapse of Centralized AI Discovery
aivojournal.org·1d·
Discuss: Hacker News
🗺️Pathfinding Algorithms
Flag this post
When will `type A = impl Trait` where A is associated type become stable?
github.com·22h·
Discuss: r/rust
🧮Functional Programming
Flag this post