🐿️ 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
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...
« Page 27
•
Page 29 »