🐿️ 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
Reticular Thalamic Activity and Autism Spectrum Disorders
science.org
·
1d
·
Discuss:
Hacker News
➡️
Category Theory
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
·
1d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Using Claude Code to modernize a forgotten Linux kernel driver
dmitrybrant.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🔧
Unikernel Development
How to (actually) become an expert in .NET
mijailovic.net
·
2d
·
Discuss:
r/AskProgramming
,
r/programming
🔄
Reproducible Builds
Get Started Using Generative AI for Content Creation With ComfyUI and NVIDIA RTX AI PCs
blogs.nvidia.com
·
16h
·
Discuss:
Hacker News
💾
Retro Computing
I don’t want AI agents controlling my laptop
sophiebits.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🖥
Self-Hosting
I built diff2ai — a CLI that turns Git diffs into AI-ready code review prompts (local & repo-safe)
reddit.com
·
9h
·
Discuss:
r/programming
🔄
Reproducible Builds
Eating the Future: The Metabolic Logic of AI Slop
e-flux.com
·
18h
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Show HN: DevSwarm, run multiple AI coding assistants in parallel
devswarm.ai
·
1d
·
Discuss:
Hacker News
⚙️
PL Implementation
Adventures in "Continuous AI"
elite-ai-assisted-coding.dev
·
14h
·
Discuss:
Hacker News
🤖
Program Synthesis
AI Agents and Their Life Cycle: What You Should Know
thenewstack.io
·
14h
🩹
Self-Healing Systems
Underdetermined Fourier Extensions for Surface Partial Differential Equations
arxiv.org
·
2d
🐫
OCaml
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
·
20h
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
ADL-CLI – Generate enterprise-grade AI agents from a YAML spec
github.com
·
7h
·
Discuss:
Hacker News
⚙️
PL Implementation
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz
·
4d
·
Discuss:
Hacker News
💎
Refinement Types
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
·
2d
📚
Automata Learning
Loading...
Loading more...
« Page 16
•
Page 18 »