Building Technical Vision(2022)
yusufaytas.com·3h·
Discuss: Hacker News
🦋Format Evolution
Python Metaprogramming: Advanced Techniques for Dynamic Code Creation and Runtime Modification
dev.to·2d·
Discuss: DEV
🦀Rust Macros
Memory is slow, Disk is fast – Part 2
bitflux.ai·20h·
Discuss: Hacker News, r/programming
🖥️Modern CPU
The Aider Local Model Experience
hexeditreality.com·2h·
Discuss: Hacker News
⚡Proof Automation
Carbon Language: An experimental successor to C++
github.com·10h·
Discuss: Hacker News
🔩Systems Programming
The maths you need to start understanding LLMs
gilesthomas.com·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
The Recursive Loop: How Code Shapes Minds – Kenneth Reitz
kennethreitz.org·1h·
Discuss: Hacker News
🌍Cultural Algorithms
Gromov-Wasserstein and optimal transport: from assignment problems to probabilistic numeric
arxiv.org·14h
📐Compression Bounds
Formally verifying a floating-point division routine with Gappa – part 1
community.arm.com·1d·
Discuss: Lobsters, Hacker News, r/programming
📐Interval Arithmetic
Stress testing Biome's noFloatingPromises lint rule
vercel.com·1d·
Discuss: Hacker News
🔒Type Safety
Why RDF Is the Natural Knowledge Layer for AI Systems
bryon.io·12h·
Discuss: Hacker News
🕸️Knowledge Graphs
Lattice Annotated Temporal (LAT) Logic for Non-Markovian Reasoning
arxiv.org·1d
⏰Temporal Logic
Transferable Belief Model on Quantum Circuits
arxiv.org·14h
⚛️Quantum Circuits
I used an AI triage bot to close 85 GitHub issues in a weekend
bagerbach.com·3h·
Discuss: Hacker News
📏Code Metrics
I built a simple HTTP key-value store in Go (learning project) – feedback welcome
reddit.com·1d·
Discuss: r/golang
🌊Streaming Databases
Lively Linear Lisp (1992)
plover.com·4d·
Discuss: Lobsters, Hacker News, r/programming
🧠Lisp Dialects
ANTS: Shaping the Adaptive Negative Textual Space by MLLM for OOD Detection
arxiv.org·14h
🤖Advanced OCR
[NodeBook] Inside the v8 Javascript Engine
thenodebook.com·2d·
Discuss: Hacker News, r/node, r/webdev
🏗️Compiler Archaeology
Measuring Bias or Measuring the Task: Understanding the Brittle Nature of LLM Gender Biases
arxiv.org·14h
🌲Parse Trees
The Three Sacred Guardrails of AI
aboard.com·1d·
Discuss: Hacker News
⚡Proof Automation