The Option Block Experiment
resourceaholic.com·1d·
Discuss: www.resourceaholic.com
🏗️Constructive Mathematics
how to decide on the sequence of computable numbers
academia.edu·2d·
Discuss: Hacker News, r/programming
🎞️Tape Combinatorics
AI breakthroughs are transforming industries, from healthcare to finance
blog.google·17h
🤖AI Curation
Fox pairing
ncatlab.org·1h
🔱Galois Theory
Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
🔀Category Theory
Show HN: Novel GPT-2 sampling and memory architecture
github.com·3h·
Discuss: Hacker News
💎Information Crystallography
Tyson Foods elevates customer search experience with an AI-powered conversational assistant
aws.amazon.com·2d
📡RSS Automation
Fans loved her new album. The thing was, she hadn't released one
bbc.co.uk·1h·
Discuss: Hacker News
💿FLAC Archaeology
Show HN: Tabwise – AI data analyst that outperforms ChatGPT and Claude
tabwise.ai·21h·
Discuss: Hacker News
⚡Proof Automation
Dreaming of Graphs in the Open Lakehouse
semyonsinchenko.github.io·1d·
Discuss: Hacker News
📊Graph Databases
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·5d
🔗Functional Compilers
Unplug and Play Language Models: Decomposing Experts in Language Models at Inference Time
arxiv.org·1d
🧠Intelligence Compression
I tried DSPy and now I get why everyone won't shut up about it
pedramnavid.com·6h·
Discuss: Hacker News
🔄Burrows-Wheeler
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers
Speeding Up AI Coding Assistants Using Deterministic Feedback
proxymock.io·20h·
Discuss: Hacker News
📼Tape Combinators
Lobsters Interview with Matklad
lobste.rs·22h·
Discuss: Lobsters
🦀Rust Macros
[D] Using LLMs to extract knowledge graphs from tables for retrieval-augmented methods — promising or just recursion?
reddit.com·1d·
Discuss: r/MachineLearning
🧮Datalog
Creating Wealth with AI: Vision vs. Execution
dev.to·8h·
Discuss: DEV
👑Isabelle
Busy Beaver Hunters Reach Numbers That Overwhelm Ordinary Math
quantamagazine.org·22h·
Discuss: Hacker News, Hacker News
🎞️Tape Combinatorics
Reproducing prospect theory with 'differentiable decision theories'
science.org·1d·
Discuss: Hacker News
🔲Cellular Automata