Experimenting with Apple’s AI models inside Shortcuts
sixcolors.com·4h
⚡Proof Automation
What LLMs Know About Their Users
schneier.com·8h·
Discuss: Hacker News
💻Local LLMs
How To Prepare Your API for AI Agents
thenewstack.io·6h
🔌Interface Evolution
How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.to·4h·
Discuss: DEV
✓Automated Theorem Proving
Elmo's World NP-complete problem (2006)
blog.plover.com·1d·
Discuss: Hacker News
🧮SMT Solvers
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
HariSekhon/DevOps-Bash-tools
github.com·17h
🐚Shell Automation
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·15h
🔍Concolic Testing
Networking for Systems Administrators
mwl.io·6h·
Discuss: Hacker News
🌐DNS over QUIC
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Announcing crabstep: A pure Rust, cross-platform, zero-dependency Apple/NeXTSTEP typedstream deserializer
github.com·2h
🔒Linear Types
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.com·9h·
Discuss: Hacker News, r/programming
🔗Lisp
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·12h
📋Protocol Buffers
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding
TypeScript Complete Roadmap (Beginner to Advanced) — 2025 Edition
dev.to·12h·
Discuss: DEV
λLambda Formalization
The Guide to the Foundation Models Framework
azamsharp.com·6h·
Discuss: Hacker News
λLambda Formalization
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
TableVault: Managing Dynamic Data Collections for LLM-Augmented Workflows
arxiv.org·1d
🔄Schema Evolution
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs