Feeds to Scour
SubscribedAll
Scoured 191 posts in 21.7 ms
CSLibPremiseBench: Structure-Guided Premise Retrieval and Label Robustness for Lean 4 Computer-Science Theorems  ⚔️Lean Tactics
arxiv.org·6d
Dell Tech World 2026: It’s All About Sovereign and On-Premises AI  🏠Homelab Orchestration
servethehome.com·2d
Universal Print: A Modern Cloud Printing Solution for Enterprises  📄Document Digitization
princetonits.com·15h
Google wants Search to work while you sleep, and its new information agents are the plan  🤖AI Curation
thenextweb.com·1d
Superintelligence: The Idea That Eats Smart People [2016]  🔲Cellular Automata
idlewords.com·6d·Hacker News
Announcing Claude Managed Agents on Cloudflare  🏠Homelab Orchestration
blog.cloudflare.com·1d·Hacker News
Red Hat Delivers On-Premises Cost Telemetry to Meet Data Sovereignty Demands  📊Homelab Monitoring
cloudnativenow.com·5d·Hacker News
SimplAI at AI & Big Data Expo North America 2026  🏠Homelab Orchestration
simplai.ai·6d·Hacker News
Selected Fanfictions  ⭐Awesome lists
sunclipse.org·3d
OpenIQ - Building a product engineering muscle in the age of agents  🔓Open Source Software
abhirame.github.io·6d·Hacker News
Microsoft warns of Exchange zero-day flaw exploited in attacks  🔓Hacking
bleepingcomputer.com·5d·Hacker News, Hacker News, r/technology
If Books Could Kill podcast  🔍Cassette Forensics
statmodeling.stat.columbia.edu·3d
Causal Evidence for Attention Head Imbalance in Modality Conflict Hallucination  👁️Perceptual Coding
arxiv.org·1d
Philippines authorities investigating reports lawmaker wanted by ICC has fled after taking refuge in senate  🗃archives
theguardian.com·6d
Exploited Exchange Server flaw turns OWA inboxes into script launchpads  🔓Hacking
theregister.com·5d
NetApp Expands OpenShift Data Management With Faster VM Backup, DR, and Cloud Scale Support  💿Proxmox HA
storagereview.com·5d
LLMEval-Logic: A Solver-Verified Chinese Benchmark for Logical Reasoning of LLMs with Adversarial Hardening  🧮SMT Solvers
arxiv.org·1d
Wasserstein Equilibrium Decoding for Reliable Medical Visual Question Answering  ⧗Information Bottleneck
arxiv.org·2d
Contextualized Dynamic Explanations: A Vision  🤖AI Curation
arxiv.org·2d
Grounded Continuation: A Linear-Time Runtime Verifier for LLM Conversations  📏Linear Logic
arxiv.org·6d

No more posts from matmat's subscribed feeds.

Scour all 24660 feedsLearn more about Feeds

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