Opportunistically Parallel Lambda Calculus
dl.acm.org·6h·
Discuss: Hacker News
📏Linear Types
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·3h·
🔺GATs
Flag this post
De Bruijn Numerals
text.marvinborner.de·14h·
Discuss: Hacker News
🌳Data Structures
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·23h·
🦀Rust Compiler Internals
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
Ajla Tutorial
ajla-lang.cz·4h·
Discuss: Hacker News
Rust Macros
Flag this post
Advances In Formal Verification Technology
semiengineering.com·21h
🧮SMT Solvers
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
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·2h·
👨‍💻Software development practices
Flag this post
Everything About Transformers
krupadave.com·22h
🔤Tokenization
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·15h·
Discuss: Hacker News
🔧Developer tools
Flag this post
My Wishlist for PHP in 2026
stitcher.io·19h·
Discuss: Hacker News
🔌API Design Theory
Flag this post
Pseudo-Knowledge Graphs for Better RAG
pub.towardsai.net·12h
🔄LLM RAG Pipelines
Flag this post
You Don't Need Types in Ruby
zhisme.com·19h·
Discuss: Hacker News
🦀Rust Compiler Internals
Flag this post
What the Big Three Consultancies are Missing About AI (And the Code That Proves It)
hackernoon.com·23h
🆕New AI
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·16h
🧩Types
Flag this post
AI-guided analysis assigns amino acid-level roles in protein design
phys.org·10h
🔍AI Interpretability
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·6h·
📦WASM
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.dev·23h·
🎯Qdrant
Flag this post
Building from First Principles
marvinh.dev·15h·
Discuss: Hacker News
🛠️Solo SaaS Tools
Flag this post