Feeds to Scour
SubscribedAll
Scoured 15128 posts in 405.3 ms
Python can encode meaning directly not represent it, embody it
news.ycombinator.com·3h·
Discuss: Hacker News
📏Linear Types
Preview
Report Post
Axiom Prover: From Seeing Why to Checking Everything (AxiomProver Solves All Problems at Putnam 2025: Proof Release & Commentary)
axiommath.ai·24m
🧮SMT Solvers
Preview
Report Post
String and character literals (C++)
learn.microsoft.com·5h
🔤Tokenization
Preview
Report Post
Quest of competence.
quest-of-competence.bearblog.dev·1h
🪄Prompt Engineering
Preview
Report Post
An opinionated list of excellent Clojure learning materials
gist.github.com·1d
💻Terminal Tools
Preview
Report Post
To Close or Not to Close
matsimon.dev·6h·
Discuss: Hacker News
🎨Design Tokens
Preview
Report Post
AI Social Responsibility as Reachability: Execution-Level Semantics for the Social Responsibility Stack
arxiv.org·4d
📏Linear Types
Preview
Report Post
Stack: Simulating cellular conditions via prompt engineering, without the need for fine-tuning
arcinstitute.org·24m
📦Batch Embeddings
Preview
Report Post
What Setting Should I Use?
massicotte.org·21h
Rust Macros
Preview
Report Post
Understanding Bellman Equation
piyushgupta.xyz·1d
🧠LLM Inference
Preview
Report Post
MeshSTL
meshstl.org·22h
🚀Modal
Preview
Report Post
Polymaths: An Argument for Analogies
nonzerosum.games·16h·
Discuss: Hacker News
🪄Prompt Engineering
Preview
Report Post
Viable Systems: How To Build a Fully Autonomous Agent
timkellogg.me·2d
🪄Prompt Engineering
Preview
Report Post
Are Tuples Structs?
ziggit.dev·4d
📏Linear Types
Preview
Report Post
Chapter 12
klages.bearblog.dev·2d
🏛️Politics
Preview
Report Post
Scientists use string theory to crack the code of natural networks
phys.org·3d
🍄Mycorrhizal Networks
Preview
Report Post
The Qualitative Laboratory: Theory Prototyping and Hypothesis Generation with Large Language Models
arxiv.org·5d
🏗️LLM Infrastructure
Preview
Report Post
Ontology and Information Systems - Encyclopedia of Philosophy
plato.stanford.edu·3d·
Discuss: Hacker News
🎨Design Tokens
Preview
Report Post
The Logic of Life
link.springer.com·2d
🧩Types
Preview
Report Post
An Algebraic Theory of Music
reasonablypolymorphic.com·6d·
Discuss: Hacker News
🧮SMT Solvers
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