🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚙️ PL Implementation
Compilers, Runtime Systems, JIT, Interpreter Design
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
How To Host A Meetup
functionalsoftware.se
·
4d
·
Discuss:
r/programming
🎮
Verification Games
Show HN: AI Trust Proof – Help AI Trust You with Blockchain-Verifiable Signals
aitrustproof.com
·
7h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Shutdown System, Reboot Join CCC for 39C3: Power Cycles
ccc.de
·
2d
·
Discuss:
Hacker News
💾
Retro Computing
Replacing brain immune cells in mice slows neurodegeneration in Stanford study
med.stanford.edu
·
1d
·
Discuss:
Hacker News
💾
Retro Computing
The actual core of the AI debate
thepsmiths.com
·
1d
·
Discuss:
Hacker News
➡️
Category Theory
Highlights from the Comments on Liberalism and Communities
astralcodexten.com
·
15h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Buttercup is now open-source!
blog.trailofbits.com
·
4d
·
Discuss:
Hacker News
📦
Unikernel Systems
Most MCP servers won't last and that's okay
00f.net
·
5d
·
Discuss:
Hacker News
,
r/programming
🛡️
seL4
Algorithmic Collusion of Pricing and Advertising on E-Commerce Platforms
papers.ssrn.com
·
5d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Real-World Success Stories Where GraphRAG Beats Standard RAG
memgraph.com
·
5d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Just built a tool that turns any app into a windows service - fully managed alternative to NSSM
reddit.com
·
3d
·
Discuss:
r/programming
👁️
System Observability
A New Lens on Homelessness: Daily Tent Monitoring with 311 Calls and Street Images
arxiv.org
·
1d
🧱
Immutable Infrastructure
Old, busted phone into a NAS with HDDs?
reddit.com
·
7h
·
Discuss:
r/homelab
🏠
HomeLab
Stepwise Fine and Gray: Subject-Specific Variable Selection Shows When Hemodynamic Data Improves Prognostication of Comatose Post-Cardiac Arrest Patients
arxiv.org
·
1d
🔄
Finite State Machines
Learning AI Auditing: A Case Study of Teenagers Auditing a Generative AI Model
arxiv.org
·
4d
🎮
Verification Games
All-in on Omarchy at 37signals
world.hey.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
💾
Retro Computing
Vector Search Is Reaching Its Limit. Here’s What Comes Next
thenewstack.io
·
4d
·
Discuss:
Hacker News
🏹
Effect Systems
DiffCap: Diffusion-based Real-time Human Motion Capture using Sparse IMUs and a Monocular Camera
arxiv.org
·
1d
💻
CS
My Homelab just got a 2025 refresh!
reddit.com
·
4d
·
Discuss:
r/homelab
🏠
HomeLab
Federated Learning for Epileptic Seizure Prediction Across Heterogeneous EEG Datasets
arxiv.org
·
23h
🖥️
Self-hosted Infrastructure
Loading...
Loading more...
« Page 73
•
Page 75 »