Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·2d
🏗️Constructive Mathematics
Evaluating and lowering AI hallucination cost
johndcook.com·14h
⚡Incremental Computation
Rethinking Distributed Computing for the AI Era
cacm.acm.org·9h
⚡Incremental Computation
Machine Code Isn't Scary
jimmyhmiller.github.io·2d
🔤Character Encoding
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·1d·
Discuss: Hacker News
🌀Differential Geometry
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·2d
🔲Proof Irrelevance
Solving the Context Rot Problem for Coding Agents
install.md·8h·
Discuss: Hacker News
🌳Incremental Parsing
Exploring Prompt Learning: Using English Feedback to Optimize LLM Systems
towardsdatascience.com·6h
💻Local LLMs
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·1d
📜Proof Carrying Code
Advanced JIT Compilers for Ruby: TruffleRuby and JRuby
blog.appsignal.com·18h·
Discuss: Hacker News
💧Liquid Types
Caches and Abstractions
parallelprogrammer.substack.com·4h·
Discuss: Substack, r/programming
💨Cache Analysis
Code Smell 307 - Naive Time Assumptions and How to Fix It
hackernoon.com·16h
🎯Gradual Typing
How and where will agents ship software?
instantdb.com·10h·
Discuss: Hacker News
🌊Streaming Systems
Proof by Intimidation
en.wikipedia.org·19h·
Discuss: Hacker News
🎯Proof Tactics
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
How to generate a TypeScript SDK for your API spec
buildwithfern.com·10h·
Discuss: Hacker News
⚡gRPC
A Rust Shaped Hole
mnvr.in·1d·
Discuss: Hacker News
🦀Rust Macros
BlueGlass: A Framework for Composite AI Safety
arxiv.org·2d
🔒WASM Capabilities
OpenAI, Google DeepMind and Anthropic sound alarm: ‘We may be losing the ability to understand AI’
venturebeat.com·1d·
Discuss: Hacker News
🎯Threat Hunting
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·7h
⚡Proof Automation