Feeds to Scour
SubscribedAll
Scoured 23841 posts in 756.3 ms
Oneview Healthcare PLC (ONVVF) Q4 2025 Earnings Call Transcript
seekingalpha.com·20m
🔗Data Provenance
Automating busy work
thomasrigby.com·4d
🤖Archive Automation
Automatic WS2812 Characterization
cpldcpu.com·4d
👁️System Observability
A minimalistic Go library for assertion, error handling, and resource management utilities.
pkg.go.dev·5d·
Discuss: r/golang
⚖️Verification Calculi
Peloton Interactive Stock: This Is Still A Show-Me Story (NASDAQ:PTON)
seekingalpha.com
·11m
⚡HTMX
**Pulse‑Sequence Tuning for Fault‑Tolerant Exponentiation in Shor’s Algorithm on Transmon Qubits**
dev.to·4d·
Discuss: DEV
⚛️Quantum Error Correction
[AWS] Parallel execution of tasks using Kiro's custom subagents [Kiro]
dev.to·4d·
Discuss: DEV
🌊Stream Processing
Focus Session: LLM4PQC -- An Agentic Framework for Accurate and Efficient Synthesis of PQC Cores
arxiv.org·21h
🔧Hardware Verification
Craig Interpolation in Program Verification
arxiv.org·1d
⚖️Verification Calculi
What I haven't figured out
macwright.com·4d·
Discuss: Hacker News
🔓Reverse engineering
ahead-of-time wasm gc in wastrel
wingolog.org·5d·
Discuss: Lobsters, Hacker News
⚙️WASM Runtime
Narrative-Driven Development: BDD + TDD + Living Documentation in One Workflow
test2doc.com·6d·
Discuss: Hacker News
🔍Concolic Testing
The Future of Systems
novlabs.ai·4d·
Discuss: Hacker News
⚙️TLA+
Style tips for less experienced developers coding with AI
honnibal.dev·5d·
Discuss: Hacker News
🎯Gradual Typing
First Proof | Research-Level Math for AI Evaluation
1stproof.org·5d·
Discuss: Hacker News
🎯Performance Proofs
tmilovan/composite-machine: Composite Machine: Automatic Calculus via Dimensional Arithmetic
github.com·2d·
Discuss: Hacker News
🧮SMT Solvers
Testing 80 LLMs on spatial reasoning on grids
mihai.page·3d·
Discuss: Hacker News
🧮Prolog Parsing
The Problem With LLMs
deobald.ca·1d·
Discuss: Lobsters, Hacker News
💻Local LLMs
From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI
news.ycombinator.com·3d·
Discuss: Hacker News
⚖️Hoare Logic
How to Prove the Correctness of AI-Generated Code Using Formal Methods
adacore.com·1d·
Discuss: Hacker News
⚡Proof Automation

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