Feeds to Scour
SubscribedAll
Scoured 74958 posts in 1.05 s
Evidence for representation of pretend objects by Kanzi, a language-trained bonobo
science.org·3d
🤖Transformers
AL, Logical
mathhombre.blogspot.com·4d·
Discuss: mathhombre.blogspot.com
📊Datalog
Concurrency Flavours -- Lucian Radu Teodorescu : Standard C++
isocpp.org·4d
🔄Concurrency
E-Globe: Scalable $\epsilon$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching
arxiv.org·2d
📐TLA+
A Single Revision Step Improves Token-Efficient LLM Reasoning
arxiv.org·4d
🎯Hindley-Milner
Modern Trends In Floating-Point
semiengineering.com·3d
🛣️Highway
**Title**
dev.to·1d·
Discuss: DEV
🏙️Smart Cities
wingolog
wingolog.org·2d
🦀Rust
Multimodal Visual Understanding in Swift (aka: "why is this still so hard on-device?")
dev.to·2d·
Discuss: DEV
📊Earley Parser
Text classification with Python 3.14's zstd module • Max Halford
maxhalford.github.io·3d·
Discuss: Lobsters, Hacker News
🗜️Zstd
Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles / Reviews
ndpr.nd.edu·6d
∘Category Theory
Fast Autoscheduling for Sparse ML Frameworks
ajroot.pl·4d·
Discuss: Hacker News, r/Compilers
🤖TVM
A tale of two Claudes
steveklabnik.com·3d
📚Stack Unwinding
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
orensultan.com·6d·
Discuss: Hacker News
🧮SMT Solvers
Millets: A practical memory-safety and thread-safety experiment
eagledot.xyz·5d·
Discuss: Lobsters, Hacker News
🛡️Memory Safety
Sparse Sum‑of‑Squares Certification for High‑Dimensional Stochastic Control Systems — ### Abstract High‑dimensional stochastic control systems—such as ...
freederia.com·2d
🔢Numerical Methods
Formally Verifying PBS Kids with Lean4
shadaj.me·6d·
Discuss: Hacker News
🌊CALM Theorem
**Abstract:** This research introduces an automated protocol optimization framework for enhancing the performance of cryogenic quantum annealers (CQAs). Leve...
freederia.com·2d
⚓Anchors
Groverkss/mlir-tutor: Exercises for Learning MLIR (Originally written for PPoPP 2026)
github.com·4d·
Discuss: Hacker News, r/Compilers
🚀MLOps
libfirm/cparser: C99 parser and frontend for libfirm
github.com·3d·
Discuss: Hacker News
🏗️MLIR

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