Automated Literature Synthesis & Knowledge Graph Refinement via Dual-Pass Semantic Parsing
dev.to·3d·
Discuss: DEV
🧠Computational Logic
Applied AI Fundamentals: Structured Outputs
ouachitalabs.com·13h·
Discuss: Hacker News
📝Concrete Syntax
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·4h
📄Text Segmentation
🌟Introducing Art-0-8B: Reasoning the way you want it to with Adaptive Thinking🌟 [R]
reddit.com·5h·
Discuss: r/MachineLearning
📏Linear Logic
CodeQL: code organization, metadata, and running in CI
tweag.io·3d
🧠Query Planners
Tradeoffs of Highly-Expressive Types
jnkr.tech·7h·
Discuss: Hacker News
🎯Gradual Typing
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Understanding Tool-Integrated Reasoning
arxiv.org·3d
🔮Proof Search
How To Structure Your Application Like An Artisan
blog.codeminer42.com·2d
🐚Shell Calculus
Bootstrapping a Forth for Art
tia.mat.br·5h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
AI researcher Andrej Karpathy says he's "bearish on reinforcement learning" for LLM training
the-decoder.com·14h
🧠Intelligence Compression
Understanding Matrices | Part 4: Matrix Inverse
towardsdatascience.com·11h
📐Linear Algebra
Working with Contexts
oreilly.com·2d
🌳Context free grammars
The Burden of Responsibility
ides.dev·19h·
Discuss: Hacker News
⚙️Proof Engineering
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·14h·
Discuss: DEV
📝ABNF Parsing
The Art of Transformer Programming (2023)
yanivle.github.io·5h·
Discuss: Hacker News
🤖Lisp Machines
A type system for RCL (2024)
ruudvanasseldonk.com·8h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Adding Conversational AI: Converting Natural Language into JSON Actions
chariotsolutions.com·1d·
Discuss: Hacker News
🌳Incremental Parsing
LLM Evaluation: Practical Tips at Booking.com
booking.ai·1d·
Discuss: Hacker News
💻Local LLMs