Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·23h
λFunctional Programming
Flag this post
In a First, AI Models Analyze Language As Well As a Human Expert
quantamagazine.org·15h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·1d·
Discuss: Lobsters, Hacker News
🔍Type Inference
Flag this post
TOPol: Capturing and Explaining Multidimensional Semantic Polarity Fields and Vectors
arxiv.org·2d
➡️Category Theory
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·1d
🧩Parser Combinators
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·1d
📚Automata Learning
Flag this post
Reinventing Assertions
beust.com·18h·
Discuss: Hacker News
🎮Verification Games
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·9h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
🧠Automated Reasoning
Flag this post
"Our research is greatly sped up by AI but AI still needs us"
twitter.com·5h·
Discuss: Hacker News
✓Automated Theorem Proving
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·22h·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·11h·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·15h·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Asking Paul Fussell for Writing Advice
lesswrong.com·2h
❓Existential Types
Flag this post
**Breaking the Curse of Dimensionality: A Game-Changer for L
dev.to·13h·
Discuss: DEV
🧩Parser Combinators
Flag this post
Don't Let It Fade: Preserving Edits in Diffusion Language Models via Token Timestep Allocation
arxiv.org·1d
🔤Language Design
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·10h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Mapping Faithful Reasoning in Language Models
arxiv.org·4d
📚Automata Learning
Flag this post