🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔠 Type-Level Programming
Dependent Haskell, GADTs, Type Families, Kind System
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
The Open Source CubeSat Workshop Is Back
events.libre.space
·
1d
·
Discuss:
Hacker News
⎈
Kubernetes
Reversing a Fingerprint Reader Protocol (2021)
blog.th0m.as
·
19h
·
Discuss:
Hacker News
📦
Unikernel Systems
Exposing the Unseen: Mapping MCP Servers Across the Internet
knostic.ai
·
2d
·
Discuss:
Hacker News
🌐
NetworkProtocols
The end of leisure - What does it mean to 'feel productive'?
helenaaeberli.substack.com
·
1h
·
Discuss:
Substack
🖥️
Self-hosted Infrastructure
Scraping and vibe coding a schedule app for Open Sauce 2025 entirely on my phone
simonwillison.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
⚙️
PL Implementation
Managing EFI Boot Loaders for Linux: Controlling Secure Boot
rodsbooks.com
·
19h
·
Discuss:
Hacker News
📦
Unikernel Systems
Grafana and LLMs
opeonikute.dev
·
2d
·
Discuss:
Hacker News
👁️
System Observability
What Would a Real Friendship With A.I. Look Like? Maybe Like Hers.
nytimes.com
·
8h
·
Discuss:
Hacker News
💾
Retro Computing
Crawling a billion web pages in just over 24 hours, in 2025
andrewkchan.dev
·
4d
·
Discuss:
Hacker News
,
r/programming
🖥️
Self-hosted Infrastructure
RNNoise: Learning Noise Suppression
jmvalin.ca
·
2d
·
Discuss:
Hacker News
🐫
Embedded OCaml
The FIPS 140-3 Go Cryptographic Module
go.dev
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
r/golang
,
r/programming
🛡️
seL4
Make Your AI SaaS in a Weekend with ShipThing Boilerplate
shipthing.com
·
2d
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
The AI Application Land Grab
frontierai.substack.com
·
2d
·
Discuss:
Substack
✓
Automated Theorem Proving
Kubernetes Observability with OpenTelemetry Helm Charts | A Complete Setup Guide
signoz.io
·
2d
·
Discuss:
Hacker News
,
r/programming
⎈
Kubernetes
On METR's AI Coding RCT
thezvi.substack.com
·
2d
·
Discuss:
Substack
👁️
System Observability
Evaluating Reinforcement Learning Algorithms for Navigation in Simulated Robotic Quadrupeds: A Comparative Study Inspired by Guide Dog Behaviour
arxiv.org
·
2d
🐫
OCaml
The State of Post-Quantum Cryptography in Kubernetes
kubernetes.dev
·
2d
·
Discuss:
Hacker News
🌐
NetworkProtocols
Temperature and Persona Shape LLM Agent Consensus With Minimal Accuracy Gains in Qualitative Coding
arxiv.org
·
4d
✓
Automated Theorem Proving
Source code analysis of Amazon Kiro
ghuntley.com
·
5d
·
Discuss:
Hacker News
❄️
Nixified Development
Warm Starts Accelerate Generative Modelling
arxiv.org
·
5d
🎮
Verification Games
Loading...
Loading more...
« Page 29
•
Page 31 »