Feeds to Scour
SubscribedAll
Scoured 8126 posts in 59.5 ms
holland202/Sovereign-Suite-Manifest: "A meta-cognitive architecture for recursive agentic orchestration and deterministic AI synthesis."
github.com·10h·
Discuss: Hacker News
🧠Automated Reasoning
models have some pretty funny attractor states
lesswrong.com·14h
🐫OCaml
SceneSmith: Agentic Generation of Simulation-Ready Indoor Scenes
arxiv.org·2d
📚Automata Learning
Is it AI slop, or AI soup?
skillsoup.dev·17h·
Discuss: Hacker News
🌐ActivityPub
Breaking the Tractability Barrier: A Generic Low-Level Solver for NP-Hard Instances (N=63) on Commodity 64-Bit Silicon
zenodo.org·5h·
Discuss: r/programming
🧮SMT Solvers
Dyad 2.0: What Agentic AI means for the Future of Computer Languages - Blog
juliahub.com·17h·
Discuss: Hacker News
🤖Program Synthesis
Implementing 3D Graphics Basics
hackaday.com·1d
⚙️Compiler Design
Collective Agents and Where to Find Them
lesswrong.com·1h
🕸️Graph Theory
Protecting Context and Prompts: Deterministic Security for Non-Deterministic AI
arxiv.org·1d
🛡️seL4
Forge: Scalable Agent RL Framework and Algorithm
minimax.io·3h·
Discuss: Hacker News
⏳LTL
Show HN: Artificials – Why AI will create the next human civilization
news.ycombinator.com·22h·
Discuss: Hacker News
🩹Self-Healing Systems
The prehistory of generative grammar and Chomsky’s debt to Emil Post
benjamins.com·15h·
Discuss: Hacker News
🔁Fixed-Point Theory
The Curator's Guide to Agentic Coding
oscarswanros.com·15h·
Discuss: Hacker News
🤖Program Synthesis
Scaleway & OpenClaw: The agility of the Mac mini M4 in service of your AI agents
scaleway.com·2h·
Discuss: Hacker News
💻Apple Virtualization
Accelerating Mathematical and Scientific Discovery with Gemini Deep Think
deepmind.google·1d·
Discuss: Hacker News
🧠Automated Reasoning
The Fourth Wave of Computing
lucibrowser.com·2h·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: A deterministic adversarial puzzle system
hashclue.com·18h·
Discuss: Hacker News
🔗Curry-Howard
Create cinematic AI videos from text and images
seedance20.site·3h·
Discuss: Hacker News
🔤Language Design
Diffusion Models for ARC-AGI: A Retrospective
christopherhwood.com·1d·
Discuss: Hacker News
🎯Hindley-Milner
Mindless Thought Experiments (A Critique of Machine Intelligence)
jaronlanier.com·10h·
Discuss: Hacker News
🧠Automated Reasoning

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