🐿️ 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
Why Doesn't the US Use 220V Like Everyone Else in the World? (2021)
kathylovesphysics.com
·
12h
·
Discuss:
Hacker News
🍎
Apple
The Planets Today
theplanetstoday.com
·
8h
·
Discuss:
Hacker News
🍎
Apple
The AGI Final Frontier: The CLJ-AGI Benchmark
raspasov.posthaven.com
·
6d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Web Guide: An experimental AI-organized search results page
blog.google
·
1d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Breakneck: China's Quest to Engineer the Future
danwang.co
·
16h
·
Discuss:
Hacker News
🍎
Apple
Show HN: I just published my practical guide to building a database server
leanpub.com
·
5d
·
Discuss:
Hacker News
🔄
Reproducible Builds
FeelFish – AI Novel Writing Assistant
feelfish.com
·
1d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
AI coding agents in CI/CD pipelines create new attack vectors
stepsecurity.io
·
2d
·
Discuss:
Hacker News
🔄
Reproducible Builds
It's time for modern CSS to kill the SPA – Jono Alderson
jonoalderson.com
·
9h
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
Display Next Hackfest 2025
zamundaaa.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/linux
⚙️
Operating System Design
Anthropic researchers discover the weird AI problem: Why thinking longer makes models dumber
venturebeat.com
·
3d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
The evolution of code review practices in the world of AI
packagemain.tech
·
3d
·
Discuss:
Hacker News
,
r/webdev
👁️
System Observability
Integration testing for Go applications using Testcontainers
devblogs.microsoft.com
·
3d
·
Discuss:
Hacker News
📦
Unikernel Systems
AI as Profoundly Abnormal Technology
blog.ai-futures.org
·
2d
·
Discuss:
Hacker News
🔄
Finite State Machines
Benchmarking of Deep Learning Methods for Generic MRI Multi-OrganAbdominal Segmentation
arxiv.org
·
1d
➡️
Category Theory
Ask HN: Built a new aggregated search engine for shopping
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Why Startups Are Betting Everything on Apache DataFusion
thenewstack.io
·
3d
🧱
Immutable Infrastructure
GASPnet: Global Agreement to Synchronize Phases
arxiv.org
·
3d
📡
Network Protocol Design
For Now, AI Helps IBM’s Bottom Line More Than Its Top Line
nextplatform.com
·
1d
·
Discuss:
Hacker News
💾
Retro Computing
Home Server
reddit.com
·
19h
·
Discuss:
r/homelab
🏠
HomeLab
Loading...
Loading more...
« Page 42
•
Page 44 »