Categorical systems theory
topos.institute·20h
🔀Category Theory
Three ways formally verified code can go wrong in practice
buttondown.com·15h
📜Proof Carrying Code
A gentle introduction to Generative AI: Historical perspective
medium.com·7h·
Discuss: Hacker News
🧠Learned Codecs
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·10h·
Discuss: Hacker News
🎯Performance Proofs
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·1d·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
JVM stack is about to be massively modernized
medium.com·14h·
Discuss: Hacker News
🔗Dependency Resolution
Prompt Engineering Templates That Work: 7 Copy-Paste Recipes for LLMs
kdnuggets.com·1d
🎯Proof Tactics
Multi-Core By Default
rfleury.com·1d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Enhanced Predictive Maintenance of Geothermal Heat Exchangers via Hybrid Bayesian Optimization and LSTM
dev.to·3h·
Discuss: DEV
💻Local LLMs
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·2d
🕸️Graph Algorithms
Intent Weaving for AI Coding Agents
autohand.ai·1d·
Discuss: Hacker News
⚡Proof Automation
The Library Method: Understanding @cache
dev.to·1d·
Discuss: DEV
⚡Cache Theory
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·4d
💻Programming languages
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·10h·
Discuss: DEV
⚙️Proof Engineering
Think Natively: Unlocking Multilingual Reasoning with Consistency-Enhanced Reinforcement Learning
arxiv.org·2d
🧮SMT Solvers
Which Heads Matter for Reasoning? RL-Guided KV Cache Compression
arxiv.org·1d
📼Cassette Combinators
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·2d
📏Linear Logic
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.org·1d
✨Effect Handlers
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·1d
🧮Kolmogorov Complexity