Feeds to Scour
SubscribedAll
Scoured 23678 posts in 788.5 ms
(a → a) → a
kivikakk.ee·4d
🌳Context free grammars
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·4d
✅CDDL Validation
Adaptive Neuro-Symbolic Planning for smart agriculture microgrid orchestration in hybrid quantum-classical pipelines
dev.to·4d·
Discuss: DEV
⚡Incremental Computation
Claude 4.6 Opus: Advanced Reasoning or a New Monitoring Nightmare?
dev.to·4d·
Discuss: DEV
✨Effect Handlers
Building a Dynamic Multilanguage System Without Rebuilds
kuldeepmodi.vercel.app·4d·
Discuss: DEV
🔄Language Evolution
FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
arxiv.org·1d
🔗Concatenative Programming
A Weakest Precondition Calculus for Programs and Linear Temporal Specifications
arxiv.org·17h
⚖️Verification Calculi
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·6d·
Discuss: Hacker News
💻Programming languages
Lightweight and extensible compatibility layer between dataframe libraries
narwhals-dev.github.io·4d·
Discuss: Hacker News
🌳B-tree Archaeology
Turn any codebase into interactive, multi-level documentation
revibe.codes·3d·
Discuss: Hacker News
⚡Proof Automation
I Let AI Agents Train Their Own Models. Here's What Actually Happened.
hamzamostafa.com·3d·
Discuss: Hacker News
⚡Proof Automation
Opus 4.5 really changed things
kylerush.org·3d·
Discuss: Hacker News
📚MARC Evolution
CCC (Claude's C Compiler) on Compiler Explorer
godbolt.org·4d·
Discuss: Hacker News
🏗️Compiler Archaeology
Software Factories and the Agentic Moment
factory.strongdm.ai·5d·
Discuss: Hacker News
🔐Capability Systems
The Future of Software Engineering
poberezkin.com·4d·
Discuss: Hacker News
💻Programming languages
File based project management for AI agents
markdownprojects.com·3d·
Discuss: Hacker News
🤖Archive Automation
EU AI Act Compliance for Enterprise AI Systems: What Your Engineering Team Needs to Build
medium.com·3d·
Discuss: Hacker News
⚖️Legal Compliance
Oatmeal - Constraint propagation for fun
eli.li·4d·
Discuss: Lobsters, Hacker News
🧮Z3 Solver
The control layer for AI
blog.dottxt.ai·5d·
Discuss: Hacker News
🔒WASM Capabilities
Experiments in building bespoke tools with AI
knlb.dev·3d·
Discuss: Hacker News
⚡Incremental Computation

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