Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·23h·
🦀Rust Compiler Internals
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·15h
📏Linear Types
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·3h·
💻Programming languages
Flag this post
Everything About Transformers
krupadave.com·22h
🔤Tokenization
Flag this post
De Bruijn Numerals
text.marvinborner.de·14h·
Discuss: Hacker News
🌳Data Structures
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·3h·
Discuss: Hacker News
📘Typescript
Flag this post
LLM Hallucinations: An Internal Tug of War
lesswrong.com·23h
🧠LLM Inference
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.dev·23h·
🎯Qdrant
Flag this post
Enabling Publishers to Express Preferences for AI Crawlers: An Update on the AIPREF Working Group
ietf.org·18h
🌐Web Standards
Flag this post
The Rose Field takes Philip Pullman’s ‘Dust’ to its philosophical conclusions
theconversation.com·14h
🍄Mycorrhizal Networks
Flag this post
You Don't Need Types in Ruby
zhisme.com·19h·
Discuss: Hacker News
🦀Rust Compiler Internals
Flag this post
Three Stages of Enlightenment
essenceofsoftware.com·7h·
Discuss: Hacker News
🚀Product Engineering
Flag this post
'My gender is like an empty lot': The people who reject man, woman and any other gender label
phys.org·11h
🔺GATs
Flag this post
Mind of a Mathematician (2019)
paw.princeton.edu·16h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Mathematical proof debunks the idea that the universe is a computer simulation - Phys.org
news.google.com·11h
⚛️Physics
Flag this post
Chimpanzee Metacognition Allows Humanlike Belief Revision
scientificamerican.com·10h
🛡️Anthropic PBC
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·6h·
Discuss: Hacker News
💻Programming languages
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·10h·
Discuss: Hacker News
🔎Tantivy
Flag this post
We are building AI slaves. Alignment through control will fail
utopai.substack.com·6h·
Discuss: Substack
🛡️Anthropic PBC
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·2h·
👨‍💻Software development practices
Flag this post