🐿️ 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
Google pulls plug on planned data center in Germany
datacenterdynamics.com
·
4h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org
·
6d
·
Discuss:
Hacker News
🛡️
seL4
Green Tea GC: How Go Stopped Wasting 35% of Your CPU Cycles
siddharthav.medium.com
·
1d
·
Discuss:
Hacker News
👁️
System Observability
Billions of Edges per Second with Postgres
onesparse.com
·
2d
·
Discuss:
Hacker News
➡️
Category Theory
Fortinet FortiWeb Flaw Exploited in the Wild After PoC Publication
securityweek.com
·
2h
·
Discuss:
Hacker News
🛡️
seL4
Links? Links!
infrequently.org
·
2d
·
Discuss:
Hacker News
👁️
System Observability
Intel is laying off thousands of US workers in AI restructuring — CEO Lip-Bu Tan says it's "too late" to catch up with the competition
windowscentral.com
·
1d
·
Discuss:
Hacker News
💾
Retro Computing
Underwriting Superintelligence
underwriting-superintelligence.com
·
2d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Over 30 AI models have been trained at 10^25 FLOP or greater
epoch.ai
·
1d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Shipping Linear Drafts
mufeezamjad.com
·
5d
·
Discuss:
Hacker News
❄️
Nixified Development
The Agentic Resistance: Why Critics Are Missing the Paradigm Shift
decodingdiscontinuity.com
·
2d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Show HN: Timep – a next-gen profiler and flamegraph-generator for bash code
github.com
·
3d
·
Discuss:
Lobsters
,
Hacker News
👁️
System Observability
Show HN: Decision-layer – your refund logic doesn't belong in Slack
github.com
·
4d
·
Discuss:
Hacker News
🧪
Property-Based Testing
Assessing the economic benefits of space weather mitigation investment decisions: Evidence from Aotearoa New Zealand
arxiv.org
·
9h
📦
Unikernel Systems
Dual LiDAR-Based Traffic Movement Count Estimation at a Signalized Intersection: Deployment, Data Collection, and Preliminary Analysis
arxiv.org
·
9h
🔄
Finite State Machines
Discovering Governing Equations in the Presence of Uncertainty
arxiv.org
·
3d
🏹
Effect Systems
🔧 Building a Home Lab (Beyond Just Laptop) for Cloud Support Engineer Learning – Need Guidance
reddit.com
·
1d
·
Discuss:
r/homelab
🏠
HomeLab
Multiplicative Modular Nim (MuM)
arxiv.org
·
3d
🐫
OCaml
Efficient Adaptation of Pre-trained Vision Transformer underpinned by Approximately Orthogonal Fine-Tuning Strategy
arxiv.org
·
9h
➡️
Category Theory
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com
·
5d
·
Discuss:
Hacker News
🐫
OCaml
Loading...
Loading more...
« Page 30
•
Page 32 »