Toy Binary Decision Diagrams
philipzucker.com·5d
🧮Algebraic Datatypes
An /intro to Python 3.14’s New Features
blog.pythonlibrary.org·2d
🌳Incremental Parsing
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·2d·
Discuss: Hacker News
λLambda Encodings
Python PEP 636 – Structural Pattern Matching: Tutorial
peps.python.org·6d·
Discuss: Hacker News
📝Concrete Syntax
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·4h·
Discuss: Hacker News
🧮Kolmogorov Bounds
10 Data + AI Observations for Fall 2025
towardsdatascience.com·22h
🌊Stream Processing
Building Repo Bench
repoprompt.com·2d·
Discuss: Lobsters, Hacker News
⚡Proof Automation
Defeating Return Type Polymorphism
philipphagenlocher.de·2d·
Discuss: Hacker News
🧬Functional Programming
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.org·3d
🎯Performance Proofs
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
Mitigating Judgment Preference Bias in Large Language Models through Group-Based Polling
arxiv.org·1d
💻Local LLMs
Expanding the Action Space of LLMs to Reason Beyond Language
arxiv.org·1d
💻Local LLMs
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras
Why Your Resume Fails CI/CD: 10 Tools to Debug It for ATS Parsers
dev.to·1d·
Discuss: DEV
🤖Archive Automation
CoMAS: Co-Evolving Multi-Agent Systems via Interaction Rewards
arxiv.org·1d
🔲Cellular Automata
I Wrote 42 Books Using ChatGPT: Here's What I Learned About Prompting
dev.to·3h·
Discuss: DEV
⚡Proof Automation
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·6h·
Discuss: DEV
📊Multi-vector RAG
Refactoring: A way to write better Code
dev.to·10h·
Discuss: DEV
⚙️Operational Semantics
Linguistic Characteristics of AI-Generated Text: A Survey
arxiv.org·3d
📝Text Parsing