🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔠 Type-Level Programming

Dependent Haskell, GADTs, Type Families, Kind System

Reversing a Fingerprint Reader Protocol (2021)
blog.th0m.as·15h·
Discuss: Hacker News
📦Unikernel Systems
What's Missing in the Debate on Online Freedom of Expression in US, Brazil
techpolicy.press·18h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
The cost of selfishness
morrick.me·20h·
Discuss: Hacker News
🍎Apple
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·4d·
Discuss: Hacker News
🔬Unikernels
The FIPS 140-3 Go Cryptographic Module
go.dev·5d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🛡️seL4
Sandcastles Made of Bits
jsfour.substack.com·4d·
Discuss: Substack
🧱Immutable Infrastructure
The AI Application Land Grab
frontierai.substack.com·2d·
Discuss: Substack
✓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
Data Fusion and Aggregation Methods to Develop Composite Indexes for a Sustainable Future
arxiv.org·5d
📡Network Protocol Design
Leveraging Pre-Trained Visual Models for AI-Generated Video Detection
arxiv.org·2d
🎮Verification Games
Machine Learning for Evolutionary Graph Theory
arxiv.org·6d
➡️Category Theory
BioAnalyst: A Foundation Model for Biodiversity
arxiv.org·5d
➡️Category Theory
PU-Lie: Lightweight Deception Detection in Imbalanced Diplomatic Dialogues via Positive-Unlabeled Learning
arxiv.org·5d
🌐NetworkProtocols
Using AI to replicate human experimental results: a motion study
arxiv.org·5d
✓Automated Theorem Proving
I Built and Shipped Dognames.vip in 24 Hours with ClaudeCode
news.ycombinator.com·5d·
Discuss: Hacker News
💾Retro Computing
Loading...Loading more...
AboutBlogChangelogRoadmap