🔺 GATs

Generic Associated Types, Higher-kinded Types, Async Traits, Type Families

Feeds to Scour
SubscribedAll
Scoured 20011 posts in 523.3 ms
The Missing Programming Language - Why There's No S-Tier Language (Yet)
hamy.xyz·16h
💻Programming languages
MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
arxiv.org·11h
🧮SMT Solvers
clojure.spec - Rationale and Overview
clojure.org·2d·
Discuss: Hacker News
📐TLA+
suzgunmirac/belief-in-the-machine: Belief in the Machine: Investigating Epistemological Blind Spots of Language Models
github.com·6h
🧠LLM Inference
Fitness Functions: Automating Your Architecture Decisions
lukasniessen.medium.com·9h·
Discuss: r/devops, r/node, r/programming, r/typescript
🔌API Design Theory
Reflections on Reflection
blog.nyxcode.com·2d·
Discuss: r/rust
⚙Rust Compiler Internals
Golang custom error types with stack trace
klotzandrew.com·12h
🔄Serde
Taming the Flat AST: Ergonomics in the Age of Zero Allocations
modern-c.blogspot.com·20h·
Discuss: Lobsters, Hacker News, r/golang
📏Linear Types
A Complete Finitary Refinement Type System for Scott-Open Properties
arxiv.org·2d
📏Linear Types
liliang-cn/sqvect: SQLite for Vectors - Simple, fast, embeddable vector storage for Go LLM applications.
github.com·9h·
Discuss: Hacker News
🐘pgvector
A Black Box Made Less Opaque (part 2)
lesswrong.com·11h
🔤Tokenization
What are Effect System and Why Do We care?
idiomaticsoft.com·17h
⚡Comptime Programming
ChatGPT as the Key to Hyperindependence
pussista.com·20h
📋MCP
Logic for Programmers New Release and Next Steps
buttondown.com·2h
💻Programming languages
The control layer for AI
blog.dottxt.ai·16h
🛡️AI Security
Toolweaver Achieves Scalable Tool Use with Large Language Models and Unified Selection
quantumzeitgeist.com·1d
🔤Tokenization
Agile and Flexible Services Deployment with OKR Centric Delivery
databricks.com·22h
🦆DuckDB
Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla
sobolev.substack.com·19h·
Discuss: Substack
⚙Rust Compiler Internals
WebGPU Compatibility Mode
webgpufundamentals.org·7h
🚀Modal
Show HN: OpenSymbolicAI – Agents with typed variables, not just context stuffing
news.ycombinator.com·19h·
Discuss: Hacker News
🛡️Open Policy Agent

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help