🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🐫 OCaml
MirageOS, dune, functional
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Seeing the unseen: Trinity team builds game-changing particle impact machine
tcd.ie
·
4d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Call of Duty Admits the Install Size Is Too Damn High
kotaku.com
·
2d
·
Discuss:
Hacker News
💾
Retro Computing
Learn, Reflect, Apply, Prepare: The Four Daily Practices That Changed How I Live
opuslabs.substack.com
·
5d
·
Discuss:
Substack
🎮
Verification Games
Is Meta Scraping the Fediverse for AI?
wedistribute.org
·
4d
·
Discuss:
Hacker News
📦
Unikernel Systems
What Are Outcomes?
leadinginproduct.com
·
4d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Allow me to introduce the two-sentence journal
alexanderbjoy.com
·
5d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Fighting with YouTube to show a preview image
shaneosullivan.wordpress.com
·
5d
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
LLMs Are Interesting, but Physical AI Is About to Reshape Our World
automation.com
·
5d
·
Discuss:
Hacker News
🤖
Program Synthesis
ToolsConfig Specification: A directory to store your tools' configuration
github.com
·
4d
·
Discuss:
Hacker News
🤖
Program Synthesis
Designing With AI, Not Around It: Practical Advanced Techniques For Product Design Use Cases
smashingmagazine.com
·
6d
·
Discuss:
Hacker News
🤖
Program Synthesis
The Productivity Paradox: Why AI Tools Haven't Decreased Developer Performance
cydia.space
·
6d
·
Discuss:
r/programming
👁️
System Observability
Headscale and Name Resolution
reddit.com
·
3d
·
Discuss:
r/homelab
📦
Unikernel Systems
How to make a Win 11 24H2 + Kali golden image on 1 NVMe (with apps + Nvidia drivers)?
reddit.com
·
2d
·
Discuss:
r/homelab
💾
Retro Computing
Even ChatGPT 5 Can’t Handle This Simple Prompt That Human Can
medium.com
·
4d
·
Discuss:
r/programming
🎮
Verification Games
Ask HN: Why don't LLMs replace bosses instead of engineers?
news.ycombinator.com
·
5d
·
Discuss:
Hacker News
🛡️
seL4
Abacus: Open source software for the Dutch Elections (WHY2025)
cdn.media.ccc.de
·
4d
🔬
Unikernels
EmoAugNet: A Signal-Augmented Hybrid CNN-LSTM Framework for Speech Emotion Recognition
arxiv.org
·
6d
🐫
Embedded OCaml
Noise-Aware Generative Microscopic Traffic Simulation
arxiv.org
·
5d
⚙️
Operating System Design
Homelab Hardware Advice
reddit.com
·
5d
·
Discuss:
r/homelab
🏠
HomeLab
AI Nurturing Framework–Developing AI through guidance instead of control
github.com
·
6d
·
Discuss:
Hacker News
🤖
Program Synthesis
Loading...
Loading more...
« Page 85
•
Page 87 »