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

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

Review: The Dragon's Banker
eyrie.org·34m
🔲Cellular Automata
IPC channel multiplexing: next steps
underlap.org·12h
📼Cassette Protocols
daily cover story
forbes.com·1d
🔍BitFunnel
We've pumped so much groundwater that we've nudged the Earth's spin
news.agu.org·8h·
Discuss: Hacker News
📰RSS Archaeology
Show HN: A code editor that integrates into the browser
tachicode.dev·2d·
Discuss: Hacker News
📺Terminal UI
Scavenger Malware Distributed via ESLint-Config-Prettier NPM Package Hack
invokere.com·5d·
Discuss: Hacker News
📦Container Security
Claude Code Tips and Tricks
vinh.dev·1d·
Discuss: Hacker News
🌳Incremental Parsing
Toad – a universal UI for agentic coding in the terminal
willmcgugan.github.io·3d·
Discuss: Hacker News
🖥️Modern Terminals
software-mansion/react-native-reanimated
github.com·1d
🎮Game Decompilation
FoundationDB: A Distributed Database That Can’t Be Killed
thenewstack.io·1d
🛡️Byzantine Fault Tolerance
ProactiveVA: Proactive Visual Analytics with LLM-Based UI Agent
arxiv.org·2d
🌍Cultural Algorithms
Why Every Fintech Should Partner with an Agentic AI Company
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Fast And Scalable FFT-Based GPU-Accelerated Algorithms for Block-Triangular Toeplitz Matrices With Application to Linear Inverse Problems Governed by Autonomous...
arxiv.org·2d
🌈Spectral Methods
Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints
news.ycombinator.com·4d·
Discuss: Hacker News
🔗Concatenative Programming
GhostUMAP2: Measuring and Analyzing (r,d)-Stability of UMAP
arxiv.org·3d
🌀Differential Geometry
Python 3.14.0rc1
python.org·4d·
Discuss: Hacker News
📚Lempel-Ziv
Understanding Prompt Programming Tasks and Questions
arxiv.org·3d
🔗Concatenative Programming
MuseAir hashing algorithm v0.4 released (currently Rust only)
github.com·2d·
Discuss: Hacker News
🔍MinHash Variants
I created a motivational AI life coach with Character.ai – here’s what happened
techradar.com·12h
🎙️Whisper
🚀 Just discovered this evening productivity hack:
dev.to·5h·
Discuss: DEV
⛏️File Carving
Loading...Loading more...
AboutBlogChangelogRoadmap