🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔬 Refinement Types
Liquid Haskell, Contract Programming, SMT Integration, Type Safety
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Space hurricanes are real — and they wreak more havoc than we thought
space.com
·
9h
🌡️
Preservation Physics
Analysis: At a pivotal place, an urgent problem goes unaddressed by the PM
abc.net.au
·
22h
🌍
Cultural Computing
Galileo by NASA – open-source multimodal model to process earth observations
nasaharvest.org
·
5h
·
Discuss:
Hacker News
🧊
Arctic Storage
Reflections on a Failed Career
ordinatio.substack.com
·
1d
·
Discuss:
Substack
🔓
Hacking
Kaizen (YC X25) Is Hiring Engineers to Build Browser Agents That Work
ycombinator.com
·
4d
·
Discuss:
Hacker News
🇯🇵
Japanese Computing
Turning VS Code into a Product Framework: Progrium.xyz
progrium.xyz
·
4d
·
Discuss:
Hacker News
🔓
Open Source Software
Fermat's Last Theorem in Lean – Imperial College London
github.com
·
4d
·
Discuss:
Hacker News
⚔️
Lean Theorem
#2 FC – Video Editing with FCP, Claude APIs, Bluetooth Messaging, AI Crawl Wars
furrycircuits.io
·
6d
·
Discuss:
Hacker News
🚀
Indie Hacking
AppArmor For Linux 6.17 Set To Introduce AF_UNIX Mediation, Other Improvements
phoronix.com
·
9h
🔌
Operating system internals
Turning ChatGPT Codex Into A ZombAI Agent
embracethered.com
·
2d
🎫
Kerberos Exploitation
Agentic AI vs Generative AI: Software Development Revolution
dumb.dev.to
·
2d
·
Discuss:
DEV
🔄
Language Evolution
Data Bias in Human Mobility is a Universal Phenomenon but is Highly Location-specific
arxiv.org
·
18h
🧪
Data science
Show HN: Tab'd – Track and share AI and clipboard operations within your IDE
github.com
·
19m
·
Discuss:
Hacker News
👁️
System Observability
How to Uppercase the First Letter in Python
dev.to
·
2d
·
Discuss:
DEV
🔤
Unicode Normalization
Novia AI: Your AI-Powered Education Revolution
dev.to
·
5h
·
Discuss:
DEV
🏛
Digital humanities
Mastering Gradient Boosting: XGBoost vs LightGBM vs CatBoost Explained Simply
dev.to
·
1d
·
Discuss:
DEV
🎛️
Feed Filtering
MCP server to manage reusable prompts with Go text/template
reddit.com
·
4d
·
Discuss:
r/golang
🧩
Shell Metaprogramming
🚀 RS Calculator v0.2.0: Safer, Smarter, and Now Supports Full Math Expressions!
dev.to
·
3d
·
Discuss:
DEV
🧪
Binary Fuzzing
Our Communication No Longer Belongs to Us, Thoughts on How AI Could Create an Alternative to WhatsApp
dev.to
·
1d
·
Discuss:
DEV
🎛️
Feed Filtering
DevOps Pioneer: Vibe Coding 100x Bigger Than DevOps Revolution
thenewstack.io
·
2d
⚔️
Lean Tactics
Loading...
Loading more...
« Page 50
•
Page 52 »