Parsing with zippers improves parsing with derivatives
dl.acm.org·17h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
How I solved nutrition aligned to diet problem using vector database
medium.com·3d·
🎯Constraint Programming
Flag this post
Weak-To-Strong Generalization
lesswrong.com·1d
🎲Probabilistic Programming
Flag this post
Synthesized Generative Modeling via Graph-Constrained Semantic Embedding
dev.to·11h·
Discuss: DEV
🔗Parser Combinators
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.com·1h
🧮Programming Language Theory
Flag this post
What If "Maybe" Was A Core Data Type In ColdFusion
bennadel.com·5h
Functional Programming
Flag this post
Attention Illuminates LLM Reasoning: The Preplan-and-Anchor Rhythm EnablesFine-Grained Policy Optimization
paperium.net·16h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Best Digital Marketing Institute in Allahabad – Ndmit Prayagraj
ndmit.com·21h·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
Jordan triple system
ncatlab.org·2d
🔄Category Theory
Flag this post
Objects as Random Access Memory
tbr.bearblog.dev·1d
🧫Cellular Automata
Flag this post
Inverse shortest paths in directed acyclic graphs
reddit.com·1d·
Discuss: r/compsci
🕸️Graph Theory
Flag this post
Modelling beliefs about sets
emiruz.com·4d·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
George Boole, Boolean Logic and Computing
i-programmer.info·9h
🔢Mathematical Logic
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·11h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
Best tool for measuring lots of source code
shape-of-code.com·5h
🔍Static Analysis
Flag this post
Entropy in algorithm analysis
11011110.github.io·1d
📈Complexity Theory
Flag this post
When Five Dumb AIs Beat One Smart AI: The Case for Multi-Agent Systems
ksramalakshmi.medium.com·16h·
Discuss: r/LocalLLaMA
🧩Theorem Proving
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
🧮Programming Language Theory
Flag this post
Cross-Database Migratable Reports--SPL Reporting
dev.to·2d·
Discuss: DEV
⚖️Logic Programming
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·3d
🧭SMT Solvers
Flag this post