🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔄 Reproducible Builds
Build Systems, Software Supply Chain, Deterministic Compilation, Verification
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Why Textile Brands Need Supply Chain Traceability
everycred.com
·
3d
·
Discuss:
Hacker News
👁️
System Observability
Meet Socket at Black Hat and DEF CON 2025 in Las Vegas
socket.dev
·
2d
·
Discuss:
Hacker News
🛡️
seL4
eSIM Hack Allows for Cloning, Spying
securityweek.com
·
9h
·
Discuss:
Hacker News
🐫
Embedded OCaml
Stigmergy
en.wikipedia.org
·
1d
·
Discuss:
Hacker News
🎮
Verification Games
How to use git worktree effectively with Python projects
andreagrandi.it
·
1d
·
Discuss:
Hacker News
📦
Unikernel Systems
Multiplying vectors: An introduction to geometric algebra
niklasbuschmann.github.io
·
1d
·
Discuss:
Hacker News
➡️
Category Theory
Semaphore Enterprise Edition is free for small teams
semaphore.io
·
4d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Power consumption and datacenters
blocksandfiles.com
·
7h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Replicant status and report of the 37C3 and FOSDEM 2024 conferences
lists.osuosl.org
·
5d
·
Discuss:
Hacker News
🔬
Unikernels
How to bring data centre-like connectivity to your home with IPTTTH
daryllswer.com
·
10h
·
Discuss:
Lobsters
,
Hacker News
📡
Network Protocol Design
As an app developer, how can you generate passive income?
news.ycombinator.com
·
15h
·
Discuss:
Hacker News
🍎
Apple
RVISmith: Fuzzing Compilers for RVV Intrinsics
arxiv.org
·
6d
·
Discuss:
Hacker News
🔬
Unikernels
Show HN: Sigtrap – log integrity checker in C, no dependencies
github.com
·
5h
·
Discuss:
Hacker News
🔬
Static Analysis
I ride AI-hype train
blog-doe.pages.dev
·
5d
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org
·
3d
🔍
Formal Verification
Graph Convolutional Branch and Bound
arxiv.org
·
13h
➡️
Category Theory
Wordle-GRPO – A $100 Agent
github.com
·
6h
·
Discuss:
Hacker News
🎮
Verification Games
Better Together: Quantifying the Benefits of AI-Assisted Recruitment
arxiv.org
·
13h
💻
CS
My First Long-Term Homelab Build: 9U Rack, 3-Node K3s Cluster, Ubiquiti & GitOps
reddit.com
·
3d
·
Discuss:
r/homelab
🏠
HomeLab
Generalizable 7T T1-map Synthesis from 1.5T and 3T T1 MRI with an Efficient Transformer Model
arxiv.org
·
13h
🐫
OCaml
Loading...
Loading more...
« Page 18
•
Page 20 »