Understanding Core Concepts of LangGraph (Deep Dive)
dev.to·5h·
Discuss: DEV
🪢Rope Data Structures
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·14h·
Discuss: Hacker News
🔗Lexical Scoping
What is Algebraic about Algebraic Effects?
interjectedfuture.com·17h
💫Effect Systems
FragmentGPT: A Unified GPT Model for Fragment Growing, Linking, and Merging in Molecular Design
arxiv.org·5h
🔬Nanopasses
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·5h
🔧Scheme Macros
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Planarizing matchings
11011110.github.io·1d
🎨Graph Coloring
Balance between refactoring and inheritance in your code
github.com·21h·
Discuss: Hacker News
🧪Compiler Testing
How to turn Claude Code into a domain specific coding agent
blog.langchain.com·17h·
Discuss: Hacker News
🎮Language Ergonomics
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🪢Rope Data Structures
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧩Constraint Solvers
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.edu·18h
🎭Erlang OTP
A formal proof of C∞ISRT
bsky.app·2d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Some Generalizations of Emergent Misalignment
lesswrong.com·1d
✨Effect Inference
Unveiling Hidden Structures: A New Algorithm for Cross-Graph Harmony by Arvind Sundararajan
dev.to·11h·
Discuss: DEV
🌳Tree Algorithms
Semantic Dictionary Encoding
falvotech.com·18h·
Discuss: Hacker News
🗂️Type Indexing
Adaptive Programming Systems for Humans and AI
gfrison.com·1h·
Discuss: Hacker News
🎮Language Ergonomics
Solving LeetCode's "Add Two Numbers" Iteratively and Recursively - Part 1
leetcode.com·1d·
Discuss: DEV
🪢Rope Data Structures
Rethinking Human Preference Evaluation of LLM Rationales
arxiv.org·5h
🎮Language Ergonomics