Reinventing Assertions
beust.com·18h·
Discuss: Hacker News
🎮Verification Games
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·7h·
Discuss: r/golang
🎯GADT
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·11h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Llmtext – an open source toolkit for llms.txt adoption
llmtext.com·1d·
Discuss: Hacker News
📦Opam
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.com·10h·
Discuss: Hacker News
🔤Language Design
Flag this post
**Breaking the Curse of Dimensionality: A Game-Changer for L
dev.to·13h·
Discuss: DEV
🧩Parser Combinators
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·1d
🔍CBMC
Flag this post
Ajla Tutorial
ajla-lang.cz·1d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·9h·
Discuss: Hacker News
🔢Algebraic Data Types
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
My first fifteen compilers (2019)
blog.sigplan.org·9h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·4h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Building an Intelligent RAG System with Query Routing, Validation and Self-Correction
dev.to·17h·
Discuss: DEV
🧮SMT Solvers
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.org·1d
📚Automata Learning
Flag this post
Writing an LLM from scratch, part 25 – instruction fine-tuning
gilesthomas.com·2d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·15h·
Discuss: Hacker News
🌐Network Protocols
Flag this post
ArkRegex: A drop in replacement for new RegExp() with types
arktype.io·3d·
Discuss: Hacker News, r/javascript, r/node, r/programming, r/typescript
❓Existential Types
Flag this post
Making Every 5x5 Nonogram: Part 1
patreon.com·8h·
Discuss: Hacker News
🎮Verification Games
Flag this post