Functional Abstract Interpretation
simon.peytonjones.org·21h·
Discuss: Hacker News
🦀Rust Compiler Internals
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·20h·
Discuss: Hacker News
🧩Types
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·17h
🧠LLM Inference
Principles for Picking Practical Interpretability Projects
lesswrong.com·3h
🔍AI Interpretability
A Rust Shaped Hole
mnvr.in·9h·
Discuss: Hacker News
🦀Rust
Connecting legibility to theory building in programming
ashwinsundar.com·4h·
Discuss: Hacker News
🪄Prompt Engineering
TypeScript vs JavaScript Explained with Real-Life Examples
codewithvinod.com·10h·
Discuss: r/programming
📘Typescript
oapi-codegen v2.5.0 is out
github.com·3h·
Discuss: r/golang
🔧Developer tools
Evaluating AI language models just got more effective and efficient
news.stanford.edu·21h
🏆LLM Benchmarking
Why LangGraph overcomplicates AI agents (and my Go alternative)
reddit.com·7h·
Discuss: r/LocalLLaMA
🤖AI
The FC/FC Chasm: Why Teaching Programming Still Matters
blog.charliemeyer.co·6h·
Discuss: Hacker News
🪄Prompt Engineering
A distributed systems reliability glossary
antithesis.com·6h·
Discuss: Lobsters, Hacker News
🛡️System Reliability
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·5h·
Discuss: Hacker News, r/programming
🦀Rust Compiler Internals
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·22h·
Discuss: Hacker News
💾Persistence Strategies
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·17h
🛡️AI Safety
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
arxiv.org·17h
🛡️AI Safety
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·5h
🔧Developer tools
Using AI to replicate human experimental results: a motion study
arxiv.org·17h
🛡️AI Safety
Helix Editor Release 25.07 Highlights
helix-editor.com·1h·
Discuss: Lobsters, Hacker News
✏️Code Editors
CodeJudgeBench: Benchmarking LLM-as-a-Judge for Coding Tasks
arxiv.org·17h
🏆LLM Benchmarking