🐿️ 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
·
20h
·
Discuss:
Hacker News
⎈
Kubernetes
The current technology is not ready for proper blending
blog.pkh.me
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔬
Unikernels
Reversing a Fingerprint Reader Protocol (2021)
blog.th0m.as
·
7h
·
Discuss:
Hacker News
📦
Unikernel Systems
Exposing the Unseen: Mapping MCP Servers Across the Internet
knostic.ai
·
1d
·
Discuss:
Hacker News
🌐
NetworkProtocols
Grafana and LLMs
opeonikute.dev
·
2d
·
Discuss:
Hacker News
👁️
System Observability
Crawling a billion web pages in just over 24 hours, in 2025
andrewkchan.dev
·
3d
·
Discuss:
Hacker News
,
r/programming
🖥️
Self-hosted Infrastructure
AI That Thinks Offline, Skia Animations, and a Glimpse of the Future
thereactnativerewind.com
·
3d
·
Discuss:
Hacker News
🔬
Unikernels
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
·
1d
·
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
·
1d
·
Discuss:
Hacker News
,
r/programming
⎈
Kubernetes
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
·
1d
·
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
My Participation in the METR AI Productivity Study
domenic.me
·
4d
·
Discuss:
Hacker News
👁️
System Observability
Exploiting Jailbreaking Vulnerabilities in Generative AI to Bypass Ethical Safeguards for Facilitating Phishing Attacks
arxiv.org
·
3d
🔬
Unikernels
Genius, stupid, or well duh....? My setup:
reddit.com
·
5h
·
Discuss:
r/homelab
🏠
HomeLab
Data Fusion and Aggregation Methods to Develop Composite Indexes for a Sustainable Future
arxiv.org
·
5d
📡
Network Protocol Design
Loading...
Loading more...
« Page 26
•
Page 28 »