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

The PDF Association’s New Research Portal
pdfa.org·2d
📄PDF Archaeology
One word at a time
rhollick.wordpress.com·1d
📼Cassette Linguistics
Can You Canoodle at the Coldplay Concert?
thefiddler.substack.com·1d·
Discuss: Substack
📐Interval Arithmetic
SessionS in CGrateS
nickvsnetworking.com·1d
🌊Streaming Systems
DNS at IETF 123
potaroo.net·3d
🌐DNS Security
Show HN: Text Cleanse – Free Online Text Cleaner and Case Converter
textcleanse.com·1d·
Discuss: Hacker News
📝Text Compression
OpenAI intros two open-weight language models that can run on consumer GPUs — optimized to run on devices with just 16GB of memory.
tomshardware.com·2d
💻Local LLMs
RFK Jr. wants a wearable on every American — that future’s not as healthy as he thinks
theverge.com·8h
⚖️Lossy Compression Ethics
Get traffic to EKS through Lattice ? or maybe not ?
reddit.com·22h·
Discuss: r/kubernetes
📞WebRTC
Programmable soft material bends, bounces and absorbs energy on demand
phys.org·2d
🧲Magnetic Domains
Get Verified Bitmark Account – Secure & Instant Crypto Access
dev.to·6h·
Discuss: DEV
🔒Hardware Attestation
How to Go From Thesis Statement to Fully Developed Sections, Guided by AI
dev.to·14h·
Discuss: DEV
⚡Proof Automation
Tech With Tim: How I Vibe Coded 3 Apps in 20 Minutes - DeepAgent Demo
dev.to·1d·
Discuss: DEV
🚀Indie Hacking
The Truth About AI's Impact on New Developers
dev.to·21h·
Discuss: DEV
🔄Language Evolution
Minimize AI hallucinations and deliver up to 99% verification accuracy with Automated Reasoning checks: Now available
aws.amazon.com·3d·
Discuss: Hacker News
⚡Proof Automation
Point2Act: Efficient 3D Distillation of Multimodal LLMs for Zero-Shot Context-Aware Grasping
arxiv.org·3d
📐Projective Geometry
You Can Build Whatever You Want With AI These Days, But… It’s Not Fun Anymore
dev.to·3h·
Discuss: DEV
🚀Indie Hacking
Quark’s Outlines: Python Long Integers
dev.to·5d·
Discuss: DEV
✅Format Verification
Streamlining Admission with LOR Insights: AI-Based Leadership Assessment in Online Master's Program
arxiv.org·1d
🧠Intelligence Compression
Beyond Auto-Complete: Supercharge Your Workflow with AWS's Newest AI, Amazon Q
dev.to·3d·
Discuss: DEV
⚙️TLA+
Loading...Loading more...
AboutBlogChangelogRoadmap