🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Dependent Types

Type-level Programming, Proof-carrying Code, Agda, Type Safety

How to Run Smart Experiments When You Just Don’t Know
commoncog.com·1d
🔍Concolic Testing
Golang Concurrency: How to use Mutexes
cookie.engineer·5d
👑Dependent Haskell
"Things are a bit bumpy right now" – FreeBSD:15 pkg repo is essentially down
lists.freebsd.org·2d·
Discuss: Hacker News
❄️Nix Flakes
An AI-Powered MTG Set Generator
wingedsheep.com·3d·
Discuss: Hacker News
⚡Homebrew CPUs
Herdling is a surprisingly well-rounded atmospheric adventure that belies its short play time – and it's right at home on the Switch 2
techradar.com·2h
📺Retrogaming
Where to define return structs for the ‘accept interfaces, return structs’ idiom
reddit.com·5d·
Discuss: r/golang
🌐Protocol Synthesis
How to share pointers between different address spaces
medium.com·3d·
Discuss: Hacker News
💾Memory Mapping
Can AI Agents Fix The Internet’s Trust Problem?
hackernoon.com·1d
🤝Distributed Consensus
Attackers patch 10.0 Apache ActiveMQ bug after gaining access to Linux systems
scworld.com·8h·
Discuss: Hacker News
🔓Hacking
5 Best Crypto Presales of 2025: Why BlockchainFX Is Set to Outshine Them All
hackernoon.com·1d
🔗Hash Chains
The Growing Need of Online Tools in 2025
dev.to·20h·
Discuss: DEV
📰RSS Archaeology
SafeConstellations: Steering LLM Safety to Reduce Over-Refusals Through Task-Specific Trajectory
arxiv.org·3d
✨Effect Handlers
Spot the BlindSpots: Systematic Identification and Quantification of Fine-Grained LLM Biases in Contact Center Summaries
arxiv.org·2d
🧮Kolmogorov Bounds
Belief-Conditioned One-Step Diffusion: Real-Time Trajectory Planning with Just-Enough Sensing
arxiv.org·2d
🌀Riemannian Computing
The Course Difficulty Analysis Cookbook
arxiv.org·1d
🧠Intelligence Compression
SecureGuard: DIY Arduino Keypad-PIR Alarm with LCD Feedback
hackster.io·2d
🏠Home Automation
Would AI Lie to You?
cacm.acm.org·1d
⚙️TLA+
Urban AI Governance Must Embed Legal Reasonableness for Democratic and Sustainable Cities
arxiv.org·2d
🔲Cellular Automata
AUSF: The Must-Have Three-Factor ETF
seekingalpha.com·11h
🔍BitFunnel
Accelerate enterprise AI implementations with Amazon Q Business
aws.amazon.com·7h
🏠Homelab Orchestration
Loading...Loading more...
AboutBlogChangelogRoadmap