Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·1h·
Discuss: Hacker News
🔠Type-Level Programming
Bayesian scaling laws for in-context learning
arxiv.org·1h
🧩Parser Combinators
LLM-JEPA: Large Language Models Meet Joint Embedding Predictive Architectures
arxiviq.substack.com·19h·
Discuss: Substack
🧩Parser Combinators
Research Agenda: Synthesizing Standalone World-Models (+ Bounties, + Seeking Funding)
lesswrong.com·10h
🧠Automated Reasoning
Synthetic bootstrapped pretraining
arxiv.org·1d
🤖Program Synthesis
MLOps Fundamentals: 6 Principles That Define Modern ML Operations (from the author of LLM Engineering Handbook)
javarevisited.substack.com·3d·
Discuss: r/programming
🔄Reproducible Builds
Token Models as Statistical Simulations: A Different Take
medium.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Creating a database of motivated proofs
gowers.wordpress.com·7h·
Discuss: Hacker News
✓Automated Theorem Proving
Altoids by the Fistful
scottsmitelli.com·1h·
Discuss: Lobsters
➡️Category Theory
Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
arxiv.org·1h
🧮Lambda Calculus
Will We Know Artificial General Intelligence When We See It?
spectrum.ieee.org·16h·
Discuss: Hacker News, r/technews
✓Automated Theorem Proving
A Vision-Language-Action-Critic Model for Robotic Real-World Reinforcement Learning
arxiv.org·1d
🩹Self-Healing Systems
Show HN: Python Audio Transcription: Convert Speech to Text Locally
pavlinbg.com·11h·
Discuss: Hacker News
🐫Embedded OCaml
Identity Types
bartoszmilewski.com·16h·
Discuss: Hacker News
🧮Lambda Calculus
Learned Structures
nonint.com·1d·
Discuss: Hacker News
➡️Category Theory
Real, Fake, or Manipulated? Detecting Machine-Influenced Text
arxiv.org·1d
🛡️seL4
The low-cost path to AI Mastery
antonyarkov.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
Latent Zoning Network: A Unified Principle for Generative Modeling, Representation Learning, and Classification
arxiv.org·1d
📐Denotational Semantics
Static Compressed Prefix Tree in Array
github.com·15h·
Discuss: r/programming
🐫Embedded OCaml
"Causal" is like "error term"
statmodeling.stat.columbia.edu·1d·
Discuss: Hacker News
📝Term Rewriting