🐿️ 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

AI software used by city council to target short-stay rentals without permits
abc.net.au·1d
🌀Brotli Internals
Journal let authors make undisclosed changes that masked stolen content in paper
retractionwatch.com·5h
💧Manuscript Watermarks
Yes, it's a slow coup
netmeister.org·11h
🔲Cellular Automata
The Natural Endpoint of Trump’s Falsehoods
theatlantic.com·3h
📰RSS Reading Practices
Bicyclopedia
lemoing.ca·2d
⚙️Cassette Mechanics
Show HN: The Smoital System – A method of timekeeping on Mars based on UTC
benjoffe.com·19h·
Discuss: Hacker News, r/programming
⏱️SMPTE Timecode
Nevada Governor's Office says state offices 'will likely be closed' Tuesday
carsonnow.org·13h·
Discuss: Hacker News
🛡Cybersecurity
OmniFocus 4.7 supports Planned Dates
omnigroup.com·7h·
Discuss: Hacker News
🌀Brotli Internals
filesql - A Go SQL Driver for CSV/TSV/LTSV Files
reddit.com·2d·
Discuss: r/golang
💾SQLite
Zero main character energy for children with disabilities in Australian picture books
phys.org·11h
📄OCR
The Shady School
hackaday.com·23h
📐Mathematical Art
FFmpeg 8.0 Released
ffmpeg.org·3d·
Discuss: Hacker News
🎬AV1 Encoding
Beyond Verification: Building Bridges Between Minds
dev.to·2d·
Discuss: DEV
⚛️Quantum LDPC
Show HN: I made AI Agent App that literally uses your phone
github.com·11h·
Discuss: Hacker News
🎙️Whisper
Getting Started with Quectel EC200U 4G LTE Cat 1 IoT board using the QNavigator and the QuecOpen SDK
cnx-software.com·2d
📺VT100 Emulation
A deep reinforcement learning agent trained for interval timing exhibits similarities to biological systems
arxiv.org·1d
🔲Cellular Automata
Guessatron
hackster.io·5d
⚡Circuit Archaeology
Memento: A Survival Guide for Building Real Software with a Forgetful Genius
dev.to·5d·
Discuss: DEV
🧠Memory Forensics
Multimodal Medical Endoscopic Image Analysis via Progressive Disentangle-aware Contrastive Learning
arxiv.org·21h
🧠Machine Learning
Predicting brain tumour enhancement from non-contrast MR imaging with artificial intelligence
arxiv.org·21h
🔍Vector Forensics
Loading...Loading more...
AboutBlogChangelogRoadmap