Feeds to Scour
SubscribedAll
Scoured 1056 posts in 9.0 ms
Lessons I’ve learned from benchmarking lock free queues  🧮Algorithms
simonlee99ap.substack.com·2d·r/cpp
RTP-LLM: High-Performance Alibaba LLM Inference Engine  λType Theory
arxiv.org·15h
Code-Level Plagiarism Detection: MOSS, JPlag, Copyleaks CodeLeaks, and GitHub Copilot for Developers  ✅Formal Verification
hub.paper-checker.com·3d
Turning P and NP on its head  🧮Algorithms
blog.nicoleta.cc·2d
Selection Sort Made Visual: Learn Sorting Without Abstract Theory  🧮Algorithms
jsdevspace.substack.com·1d·Substack
Oxide and Friends 5/4/2026 -- AI in Computer Science Education  💻Programming
youtube.com·4d
🎁Best Memorial Day Discount Offers 2026: 20 Massive Deals Every Developer Should Grab  📟Retro Tech
javarevisited.blogspot.com·4d·javarevisited.blogspot.com
I have never programmed before, but my ADHD is currently telling me that learning Rust would be cool. I know about the guide, any good projects for a beginner t...  💻Programming
doc.rust-lang.org·6d·r/rust
SICP: An Architectural Trace of Pointer Chasing and Environment Retention on Modern Silicon  🖥️Computing History
khola.blog·6d·Hacker News
Building a Fast Lock-Free Queue in Modern C++ From Scratch  🔒Physical Security
jaysmito.dev·6d·Hacker News, r/cpp, r/programming
Rapid GPU-Based Pangenome Graph Layout  🗂️Data Structures
arxiv.org·15h
Application Binary Interface  🔓Open Source
en.wikipedia.org·1d·Hacker News
heikowagner/nela-lang: NELA: Net-based Executable Logic Automaton — a programming language designed for LLMs, built on Interaction Net theory  ✅Formal Verification
github.com·3d·Hacker News
A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report  ✅Formal Verification
arxiv.org·15h
TC-MIS: Maximal Independent Set on Tensor-cores  🧮Algorithms
arxiv.org·15h
PRISM: Processing-In-Memory Sparse MTTKRP for Tensor Decomposition Acceleration  🧩Constraint Solving
arxiv.org·15h
Java Card  🔒Physical Security
en.wikipedia.org·4d·Hacker News
Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation  ✅Formal Verification
arxiv.org·15h
Domain-Informed Representation for Evolutionary Sieving in Integral and Module Lattices  λType Theory
arxiv.org·15h
Bird–Meertens Formalism  λType Theory
en.wikipedia.org·3d·Hacker News

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
Save / unsave
s

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