Patching functions together
johndcook.com·10h
📐Mathematical Art
Field Sensitive Escape Analysis in Golang?
reddit.com·21h·
Discuss: r/golang
🧠Lisp Dialects
Primitive Kolmogorov complexity is computable
lewish.io·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Why Dyad?: A Perspective for Modelica Users
juliahub.com·11h·
Discuss: Hacker News
💧Liquid Types
SUTRA: Decoupling Concept & Language for Multilingual LLM Excellence
hackernoon.com·10h
💻Local LLMs
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/webdev
🦀Rust Macros
Non-Euclidean Enriched Contraction Theory for Monotone Operators and Monotone Dynamical Systems
arxiv.org·1d
🎯Performance Proofs
Bounds for Geometric rank in Terms of Subrank
arxiv.org·2d
🎯Performance Proofs
Algebraic Structures in Microtonal Music
arxiv.org·1d
🎼Audio Lambda Calculus
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·7h·
Discuss: DEV
🌊Stream Processing
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·22h
🔗Topological Sorting
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
🧠 My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.to·19h·
Discuss: DEV
⚡Proof Automation
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·22h
💻Local LLMs
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·22h
🔍Concolic Testing
Signal Recovery on Algebraic Varieties Using Linear Samples
arxiv.org·1d
🕸️Algebraic Topology
Recursion and Dynamic Programming: Solving Problems Efficiently
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
Counting with Categories (Part 1)
golem.ph.utexas.edu·3d
λLambda Formalization
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·1d
📏Linear Logic