How to Make Large-Scale Experiments Smarter and Cheaper with AI-Driven Proofs
dev.toยท10hยท
Discuss: DEV
โœ“Automated Theorem Proving
BNFGen: A random text generator based on context-free grammars
baturin.orgยท7hยท
Discuss: Hacker News
๐ŸŒณContext free grammars
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.orgยท21h
๐Ÿ”—Topological Sorting
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท9h
๐Ÿ“Concrete Syntax
Proving that every program halts
ntietz.comยท3d
๐Ÿ‘‘Isabelle
A Standard for Human-Centered Investigation Playbooks
chrissanders.orgยท6h
๐ŸŽฏThreat Hunting
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท11h
๐Ÿ“ŠGraph Databases
How to (Almost) solve cybersecurity once and for all
adaptive.liveยท1dยท
Discuss: Hacker News
๐Ÿ”Systems Hardening
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
My AI Workflow for Understanding Any Codebase
steipete.meยท14h
โšกProof Automation
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.ioยท3d
ฮปLambda Encodings
๐Ÿง  Solving LeetCode Until I Become Top 1% โ€” Day `30`
dev.toยท17hยท
Discuss: DEV
๐Ÿ“Error Bounds
Show HN: ToolQL โ€“ Create AI Tools with GraphQL
toolql.comยท2dยท
Discuss: Hacker News
๐Ÿ“ŠGraph Databases
ML in the Home
blog.raymond.burkholder.netยท1d
๐Ÿ“ˆTime Series
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท1d
๐ŸงฎProlog Parsing
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท19h
๐Ÿ“Concrete Syntax
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท2dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
Counting with Categories (Part 3)
golem.ph.utexas.eduยท1d
ฮปLambda Formalization
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.comยท2d
๐ŸงฎZ3 Solver