🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ’§ Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Thank You For the Supercomputers Google Predictions for the Next Phase of AI at Hot Chips 2025
servethehome.comΒ·1d
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
6 ways to use NotebookLM to master any subject
blog.googleΒ·7h
🌱Personal Wikis
Make a Web Font Subset
ratfactor.comΒ·1d
πŸ”€Font Archaeology
I Solved PyTorch's Cross-Platform Nightmare
svana.nameΒ·19hΒ·
Discuss: Hacker News
πŸ”—Topological Sorting
Show HN: I built a finance app for couples after 9 years of Google Sheets
craig.banach.devΒ·2hΒ·
Discuss: Hacker News
πŸ”ŒOffline-first Apps
95% of AI Pilots Fail
selector.aiΒ·8hΒ·
Discuss: Hacker News
πŸ›‘οΈError Boundaries
I Rewrote the cd command in Go with path resolving!
reddit.comΒ·6hΒ·
Discuss: r/golang
πŸ’£ZIP Vulnerabilities
Thoughts on Evals
raindrop.aiΒ·2dΒ·
Discuss: Hacker News
πŸ”Concolic Testing
UNAUTHORIZED WINDOWS/386
virtuallyfun.comΒ·2dΒ·
Discuss: Hacker News
πŸ•ΈοΈWASM Archives
Deep Learning-Enhanced for Amine Emission Monitoring and Performance Analysis in Industrial Carbon Capture Plants
arxiv.orgΒ·20h
🧠Machine Learning
πŸš€ Day 10 of My Python Learning Journey
dev.toΒ·8hΒ·
Discuss: DEV
πŸ“ŠAPL Heritage
Build and scale adoption of AI agents for education with Strands Agents, Amazon Bedrock AgentCore, and LibreChat
aws.amazon.comΒ·5h
🌊Streaming Systems
Carbon Language: An experimental successor to C++
github.comΒ·3dΒ·
Discuss: Hacker News
πŸ”©Systems Programming
Automated Anomaly Detection in 3D Confocal Microscopy Stacks via Hyperdimensional Vector Analysis
dev.toΒ·2dΒ·
Discuss: DEV
πŸš€SIMD Text Processing
Glyph.Flow Devlog #4 – Import/Export, Config Overhaul, and the Road to 0.1.0
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”„Language Evolution
Why Software Dev in 2026 Will Shock You
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”„Language Evolution
This One Python Trick Will Make Your Code Look Like a Pro’s
dev.toΒ·3dΒ·
Discuss: DEV
πŸ“Concrete Syntax
Funding, growth, and the next frontier of AI coding agents
cognition.aiΒ·7hΒ·
Discuss: Hacker News
πŸŒ€Brotli Internals
Automated ESG Report Validation via Hyperdimensional Semantic Alignment and Causal Inference
dev.toΒ·1dΒ·
Discuss: DEV
πŸ“‹Document Grammar
Weekly Challenge: Oddly small
dev.toΒ·1dΒ·
Discuss: DEV
🌳Incremental Parsing
Loading...Loading more...
AboutBlogChangelogRoadmap