🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🧩 Separation Logic
Spatial Reasoning, Memory Safety, Program Verification, Infer
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Stop Using CPU Limits on Kubernetes (2022)
home.robusta.dev
·
4h
·
Discuss:
Lobsters
⎈
Kubernetes
7 Best Practices for API Design 🔥
newsletter.systemdesign.one
·
2d
·
Discuss:
r/programming
👁️
System Observability
Show HN: Miniatur AI – Transform character images into figurine renders with AI
miniatur-ai.online
·
20h
·
Discuss:
Hacker News
✓
Automated Theorem Proving
How to Avoid Knowledge Stagnation
marlonribunal.com
·
1d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Oops, No Victims: The Largest Supply Chain Attack Stole 5 Cents
securityalliance.org
·
1d
·
Discuss:
Hacker News
🔧
Unikernel Development
I don’t want AI agents controlling my laptop
sophiebits.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🖥
Self-Hosting
Get Started Using Generative AI for Content Creation With ComfyUI and NVIDIA RTX AI PCs
blogs.nvidia.com
·
11h
·
Discuss:
Hacker News
💾
Retro Computing
Show HN: DevSwarm, run multiple AI coding assistants in parallel
devswarm.ai
·
1d
·
Discuss:
Hacker News
⚙️
PL Implementation
I built diff2ai — a CLI that turns Git diffs into AI-ready code review prompts (local & repo-safe)
reddit.com
·
4h
·
Discuss:
r/programming
🔄
Reproducible Builds
We Ship ML Algorithms to Prod Without Rewrites (Or ML Engineers)
shlep.ai
·
2d
·
Discuss:
Hacker News
💎
Refinement Types
Run Any MCP as Agent
blog.inxm.ai
·
1d
·
Discuss:
Hacker News
🐳
Containerization
Don't Build an RL Environment Startup
benanderson.work
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Show HN: Kaset — Embed Coding Agents Directly in Your Web App
medium.com
·
14h
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
AI Agents and Their Life Cycle: What You Should Know
thenewstack.io
·
9h
🩹
Self-Healing Systems
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz
·
4d
·
Discuss:
Hacker News
💎
Refinement Types
Underdetermined Fourier Extensions for Surface Partial Differential Equations
arxiv.org
·
1d
🐫
OCaml
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com
·
2h
·
Discuss:
Hacker News
⚙️
PL Implementation
Promptware Attacks Against LLM-Powered Assistants in Production
sites.google.com
·
2d
·
Discuss:
Hacker News
🛡️
seL4
MCANet: A Multi-Scale Class-Specific Attention Network for Multi-Label Post-Hurricane Damage Assessment using UAV Imagery
arxiv.org
·
1d
📚
Automata Learning
The Ethical Compass of the Machine: Evaluating Large Language Models for Decision Support in Construction Project Management
arxiv.org
·
1d
🧠
Automated Reasoning
Loading...
Loading more...
« Page 15
•
Page 17 »