Feeds to Scour
SubscribedAll
Scoured 23152 posts in 863.6 ms
SCPI and Hardware Instrumentation for Reverse Engineers
voidstarsec.com·1d
🔌Single Board PC
QtWidgets to QtQuick, An Application Journey Part 2
qt.io·1d
🔌Interface Evolution
Boundary Issues
notes.billmill.org·1d
🔶Voronoi Diagrams
Less focused work with AI
flowingdata.com·1d
🤖AI Curation
The Secure Force: Building an End-to-End SDLC Without Breaking the Bank
hackernoon.com·1d
🔒WASM Capabilities
Function Calling & Tool Schemas
dev.to·3d·
Discuss: DEV
🦀Rust Macros
Production-Grade Cost Control Strategies for Generative AI Systems
dev.to·3d·
Discuss: DEV
⚡Incremental Computation
On the Optimal Reasoning Length for RL-Trained Language Models
arxiv.org·1d
💻Local LLMs
Toward Formalizing LLM-Based Agent Designs through Structural Context Modeling and Semantic Dynamics Analysis
arxiv.org·2d
✅Formal Methods
six thoughts on generating c
wingolog.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Bobby’s Rules for Brainstorming
bobbylox.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
Last30Days: A Recency-Aware Research API for X, Reddit, and the Web
lumify.ai·1d·
Discuss: Hacker News
📊Feed Optimization
LLMs Refuse High-Cost Attacks but Stay Vulnerable to Cheap, Real-World Harm
expectedharm.github.io·2d·
Discuss: Hacker News
🛡️WASM Sandboxing
To Be Determined
anekstein.com·3d·
Discuss: Hacker News
🧮Z3 Solver
Context-Driven Development Meets Team Agents: What Changed and What Didn't
themobileagent.substack.com·1d·
Discuss: Substack
⚙️TLA+
Mathematical Resolution of P vs NP through Informational Noise Subtraction and Linear O(n) Mapping
zenodo.org·4d·
Discuss: Hacker News
🎯Performance Proofs
Learning by hand is better than learning by AI
blog.engora.com·2d·
Discuss: Hacker News
⚡Proof Automation
Controlled Cot: A SystemLevel Design for LLM's Reliable Reasoning
sruthipoddutur.substack.com·5d·
Discuss: Substack
📏Linear Logic
A Language For Agents
lucumr.pocoo.org·3d·
Discuss: Lobsters, Hacker News, Hacker News
🗣️Domain-Specific Languages
Show HN: Multi-attribute decision frameworks for tech purchases
news.ycombinator.com·2d·
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