Feeds to Scour
SubscribedAll
Scoured 17891 posts in 422.9 ms
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·18h
🐚Shell Combinators
How Does a Capability Come to Life? by The API Evangelist
apievangelist.com·5d
🔐Capability Security
Which cybersecurity terms your management might be misinterpreting
kaspersky.com·1d
🛡Cybersecurity
Boost LLM Security: automated Red Teaming at Scale with Promptfoo
blog.nviso.eu·5d
⚡Proof Automation
Fragments: February 9
martinfowler.com·23h
🗣️Domain-Specific Languages
Software Testing at the Network Layer: Automated HTTP API Quality Assessment and Security Analysis of Production Web Applications
arxiv.org·13h
🧪Protocol Fuzzing
Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4
arxiv.org·13h
✅Formal Methods
The barrier to identity theft is crumbling
s-jac.github.io·20h·
Discuss: Hacker News
🛡Cybersecurity
New microkernel OS in 10 days: From zero to Google Compute Engine
seiya.me·1d·
Discuss: Hacker News
⚙️Operating System Design
Show HN: Find automation ideas and creators by sharing your business problem
humation.ai·17h·
Discuss: Hacker News
📡RSS Automation
Why "just prompt better" doesn't work
bicameral-ai.com·15h·
Discuss: Hacker News
📏Code Metrics
Same Surface, Different Weight
robpanico.com·3d·
Discuss: Hacker News
🎯Gradual Typing
Learnings from Creating a GUI Library
blog.s-schoener.com·1d·
Discuss: Lobsters, Hacker News
📟CLI Design
I don't like imports
kevincox.ca·1d·
Discuss: Hacker News
🦀Rust Macros
The Joy of Programming
deanclatworthy.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Agentic Coding Is Draining Your Moat
slwip.com·22h·
Discuss: Hacker News
⚡Proof Automation
Designing MCP tool schemas that LLMs understand
news.ycombinator.com·1d·
Discuss: Hacker News
🔗Constraint Handling
what a software factory can teach creatives about working with AI
codeforcreatives.com·1d·
Discuss: Hacker News
📏Code Metrics
Show HN: Multi-attribute decision frameworks for tech purchases
news.ycombinator.com·13h·
Discuss: Hacker News
⚡Proof Automation
pavelsukhachev/hybrid-orchestrator: Hybrid AI orchestration framework for reliable financial services automation. Design patterns for coordinating human workers and AI agents.
github.com·18h·
Discuss: Hacker News
🏠Homelab Orchestration

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