The continuation monad: a mathematical introduction
wildonblog.wordpress.com·5d
🔗Functional Compilers
A better for loop?
cirw.in·1d
🦀Rust Macros
Show HN: Tabwise – AI data analyst that outperforms ChatGPT and Claude
tabwise.ai·21h·
Discuss: Hacker News
⚡Proof Automation
Subinterpreters and Asyncio
blog.changs.co.uk·3d·
Discuss: Hacker News
🦀Rust Macros
Equi-mRNA: Protein Translation Equivariant Encoding for mRNA Language Models
arxiv.org·1d
🔗Functional Compilers
Ergonomic errors in Rust: write fast, debug with ease, handle precisely
gmcgoldr.github.io·19h·
Discuss: Hacker News
⚡Dependent Rust
GRILE: A Benchmark for Grammar Reasoning and Explanation in Romanian LLMs
arxiv.org·2d
📝Parsing Grammars
My tips for using LLM agents to create software
efitz-thoughts.blogspot.com·11h·
Discuss: Hacker News
⚡Proof Automation
The AI Building Block You’ve Never Heard Of (But Use Every Day)
hackernoon.com·3d
🔗Parser Combinators
Contrasting Data and Objects (2018)
tedinski.com·2d·
Discuss: Hacker News
💻Programming languages
Facts, Arguments, Theses: Building AI Knowledge Retrieval on Meaning, Not Slices
nsavage.substack.com·1h·
Discuss: Substack
📄Text Chunking
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Do I need a Lisp Machine comeback?
far.chickenkiller.com·1d·
Discuss: Hacker News
🦀Rust Macros
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·13h
⚔️Lean Theorem
ContextualLVLM-Agent: A Holistic Framework for Multi-Turn Visually-Grounded Dialogue and Complex Instruction Following
arxiv.org·1d
🌳Context free grammars
Knowledge Graph-Infused Fine-Tuning for Structured Reasoning in Large Language Models
arxiv.org·2d
📋Document Grammar
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·19h
🔗Tailscale
FFmpeg 8.0 Released
ffmpeg.org·9h·
Discuss: Hacker News
🎬AV1 Encoding
Contrastive Analysis of Constituent Order Preferences Within Adverbial Roles in English and Chinese News: A Large-Language-Model-Driven Approach
arxiv.org·2d
📝Concrete Syntax
Compute Where It Counts: a trainable LLM sparsity enabling 4x CPU speed
crystalai.org·2d·
Discuss: Hacker News
🌊Streaming Algorithms