🐿️ 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

The Open Source CubeSat Workshop Is Back
events.libre.space·1d·
Discuss: Hacker News
⎈Kubernetes
What's Missing in the Debate on Online Freedom of Expression in US, Brazil
techpolicy.press·14h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Apple Intelligence Foundation Language Models Tech Report 2025
machinelearning.apple.com·3d·
Discuss: Hacker News
🍎Apple
Managing EFI Boot Loaders for Linux: Controlling Secure Boot
rodsbooks.com·12h·
Discuss: Hacker News
📦Unikernel Systems
The cost of selfishness
morrick.me·16h·
Discuss: Hacker News
🍎Apple
Grafana and LLMs
opeonikute.dev·2d·
Discuss: Hacker News
👁️System Observability
Caches and Abstractions
parallelprogrammer.substack.com·3d·
Discuss: Substack, r/programming
⚙️Operating System Design
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
Loading...Loading more...
AboutBlogChangelogRoadmap