Feeds to Scour
SubscribedAll
Scoured 67509 posts in 1.10 s
Exploring the Type System
gibbok.github.io·15h
📐Type Theory
Preview
Report Post
Evaluating different programming languages for use with LLMs
assertfail.gewalli.se·5h·
Discuss: r/programming
🏗️MLIR
Preview
Report Post
Axiom Prover: From Seeing Why to Checking Everything (AxiomProver Solves All Problems at Putnam 2025: Proof Release & Commentary)
axiommath.ai·8h
🧮SMT Solvers
Preview
Report Post
**Master Python Type Hints: 8 Advanced Techniques for Cleaner, Error-Free Code**
dev.to·1d·
Discuss: DEV
📘TypeScript
Preview
Report Post
Will LLMs Help or Hurt New Programming Languages?
blog.flix.dev·12h·
Discuss: Hacker News
🔨Compiler Design
Preview
Report Post
Rye: a Hassle-Free Python Experience (Rye 0.21 Demonstation)
youtube.com·22h
📦uv
Preview
Report Post
Lost Bits
lostbits.net·1d
🔨Compiler Design
Preview
Report Post
I built an open-source, "Sovereign" AI terminal because I wanted a safer way to learn and manage my Linux machine
github.com·5h·
Discuss: r/linux
🖥️Ratatui
Preview
Report Post
HLX: A new deterministic programming language built on four immutable principles. Graphics-ready
codeberg.org·2d·
Discuss: r/ClaudeAI
🏗️Cranelift
Preview
Report Post
Java Generics and Collections • Maurice Naftalin & Stuart Marks
youtube.com·2d
📏Linear Types
Preview
Report Post
TOON Prompting: Moving Past Natural Language and JSON to Token-Optimized Data
pub.towardsai.net
·10h
💬Prompt Engineering
Preview
Report Post
Type inference of all constructs and the next 15 months
elixir-lang.org·3d·
Discuss: Lobsters, Hacker News
🔍Type Inference
Preview
Report Post
Use multiple models
interconnects.ai·10h
⚓Anchors
Preview
Report Post
A Unique Performance Optimization for a 3D Geometry Language
cprimozic.net·22h·
Discuss: Lobsters, Hacker News
💠Polyhedral Compilation
Preview
Report Post
Book Review: Linkers & Loaders
os2museum.com·6h·
Discuss: Hacker News
🔗Mold Linker
Preview
Report Post
Out-of-Context: Constrained Tool Based Exploration of Context
gojiberries.io·1d·
Discuss: Hacker News
🌳Tree-sitter
Preview
Report Post
Introducing ProjectO26: A Type-Driven Note-Taking System in Obsidian
log.ivomota.com·2d
🗂️Obsidian
Preview
Report Post
Exclusive state access, I
thecppway.com·3h·
Discuss: r/cpp
🔀Crossbeam
Preview
Report Post
Jane Street's Ron Minsky on the Future of Programming (2023)
signalsandthreads.com·2d·
Discuss: Hacker News
📐Type Theory
Preview
Report Post
exploring modularity and dependency boundaries in GNOME
gyesme.org·14h·
Discuss: Hacker News
🏗️Build Systems
Preview
Report Post

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