Feeds to Scour
SubscribedAll
Scoured 8562 posts in 196.1 ms
A General Formulation for the Teaching Assignment Problem: Computational Analysis Over a Real-World Dataset
arxiv.org·1d
🧮SMT Solvers
A Theory for Probabilistic Polynomial-Time Reasoning
arxiv.org·1d
🧠Automated Reasoning
Heuristics for lab robotics, and where its future may go
lesswrong.com·1d
🤖Robotics
Generative AI vs Data Science
dev.to·5d·
Discuss: DEV
💻CS
Distributed vs centralized agents
lesswrong.com·2d
🖥️Self-hosted Infrastructure
A Simple Method for Commonsense Reasoning
dev.to·4d·
Discuss: DEV
📚Automata Learning
Tomb Raider (2013) makes its way to mobile and brings the hit reboot to iOS and Android today
pocketgamer.com·28m·
Discuss: Hacker News
🍎Apple
Is Your Machine Learning Pipeline as Efficient as it Could Be?
kdnuggets.com·6d
🧮SMT Solvers
Compare up to 5 LLMs side-by-side, then fuse the best answers
llmcode.ai·1d·
Discuss: Hacker News
🧩SAT Solvers
Digitizing the "Shokunin": How we encoded a Master's hammer strike into AI
yusukekaizen.substack.com·6h·
Discuss: Substack
📚Automata Learning
DSA Interview Questions: What Really Gets Asked (and How to Prepare Smart)
dsa-interview-questions.pages.dev·2d·
Discuss: Hacker News
🧩SAT Solvers
Turn Feedback into KPIs, Reports and Actionable Insights
reebaq.de·25m·
Discuss: Hacker News
🌐ActivityPub
joelparkerhenderson/queueing-theory: Queueing theory: an introduction for software development
github.com·5d·
Discuss: Hacker News
⚡Process Calculi
Porting an INT8 VHDL CNN from Intel Agilex 3 to Lattice Certus-NX
news.ycombinator.com·22m·
Discuss: Hacker News
🐫Embedded OCaml
Emv Helper Tools
emv.works·31m·
Discuss: Hacker News
💻CLI Tools
Data Overload in Fitness Tracking Technologies: A Multidimensional Framework for Understanding Challenges and Optimizing User Experience
zenodo.org·47m·
Discuss: Hacker News
🌐ActivityPub
Show HN: A segmentation model client-side via WASM
qtoolkit.dev·27m·
Discuss: Hacker News
🧩Separation Logic
ybubnov/metalchat: Llama inference for Apple Silicon
github.com·42m·
Discuss: Hacker News
💾Retro Computing
Human-like Search for Modern Applications
anvitra.ai·4d·
Discuss: Hacker News
📐Linear Algebra
The Other Markov’s Inequality
ethanepperly.com·4d·
Discuss: Hacker News
⏱️Computational Complexity

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