Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·6h·
Discuss: Hacker News
💻Programming languages
Does Go have types?
youtube.com·16h·
Discuss: r/golang
🦀Rust
On Frame Messages
furretnz.bearblog.dev·4h
ℹ️Information Theory
Patience and Willingness to Be Slow
lesswrong.com·16h
🪄Prompt Engineering
What Large Language Models Teach Us About 'Human Knowledge'
opengovernance.net·3h
🧠LLM Inference
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·19h
🔬RaBitQ
My First Week of Vibecoding
underreacted.leaflet.pub·2h·
Discuss: Hacker News
🔤Tokenization
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·13h·
Discuss: r/rust
🎭Rust Macros
Slip – A Lisp System in JavaScript
lisperator.net·15h·
Discuss: Hacker News
💻Programming languages
Building the Reasoning Engine at Axiom
axiommath.ai·9h·
Discuss: Hacker News
💻Programming languages
Seeing Science Like a Language Model
kill-the-newsletter.com·13h
🎭Claude
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·12h
✨Code Aesthetics
Zen of Python
webaligo.bearblog.dev·8h
💻Programming languages
Why LLMs cannot reach GenAI, but why it looked like they could
haversine.substack.com·6h·
Discuss: Substack
🎭Claude
Switching to Colemak-DH
vale.rocks·5h
✏️Code Editors
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·7h·
Discuss: Hacker News
🎭Rust Macros
What is the best material to onboard on Typescript?
reddit.com·13h·
Discuss: r/typescript
📘Typescript
Woke Right Active Measure: Vivek Ramaswamy
threadreaderapp.com·8h
🏛️Politics
The Porcelain to Come
stackdiver.com·6h·
Discuss: Hacker News
🎭Claude
Three ways formally verified code can go wrong in practice
buttondown.com·11h
💻Programming languages