๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŽฏ Dependent Parsing

Context-sensitive Grammars, Type-dependent Syntax, Proof-carrying Parsers, Verified Parsing

WordStar for DOS 7.0 Archive
sfwriter.comยท9hยท
Discuss: Hacker News
๐Ÿ” Terminal Fonts
60% faster substring search with SIMD in Zig
aarol.devยท3dยท
Discuss: Lobsters, Hacker News, r/Zig, r/programming
๐Ÿš€SIMD Text Processing
Test
hnhiring.comยท1dยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Null empathy
nature.comยท7h
๐Ÿ Home Automation
Ask HN: Are foreign key constraints still useful?
news.ycombinator.comยท21hยท
Discuss: Hacker News
๐Ÿ—„๏ธDatabase Internals
Things I said as a manager part 4: Always be pitching
reactiverobot.comยท3hยท
Discuss: Hacker News
โš”๏ธLean Tactics
Lenovo's Clearance Deals are a total goldmine for cheap business laptops - but I learned the hard way that stock really, really doesn't last long
techradar.comยท5h
๐Ÿ‡ณ๐Ÿ‡ฑDutch Computing
GitHub - tomohiron907/Strecs3D
github.comยท1d
๐Ÿ“„Document Digitization
My brief overview of Cangjie Programming Language by Huawei
codeabbey.comยท6dยท
Discuss: Hacker News, r/programming
๐Ÿ”—Concatenative Programming
BlackBerry Limited (BB) Management presents at Canaccord Genuity 45th Annual Growth Conference (Transcript)
seekingalpha.comยท1h
๐Ÿ”ŒInterface Evolution
Why do we even need SIMD instructions ?
lemire.meยท3dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿš€SIMD Text Processing
How to Use GPT-5โ€™s new parameters and tools: A Practical Guide
dev.toยท2dยท
Discuss: DEV
โšกProof Automation
Quantized Neural Network Pruning via Adaptive Stochastic Gradient Descent
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ŠQuantization
You can now give Claude access to memories of previous conversations, but only if you want to
techradar.comยท18h
๐ŸŽ™๏ธWhisper
Optimized Recycled Aggregate Grading via Multi-Objective Genetic Algorithm
dev.toยท20mยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Building a production MCP server (and, incidentally, $45M/mo in ad spend)
dev.toยท5hยท
Discuss: DEV
๐Ÿ“ŠFeed Optimization
Generative AI Skills Every Data Scientist Needs in 2025
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
Automated Anomaly Detection and Predictive Maintenance in Cryogenic Pump Systems via Dynamic Bayesian Networks
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
Beyond Automation: The Role of AI and Gen AI in Modern Software Testing
dev.toยท23hยท
Discuss: DEV
๐Ÿ”Concolic Testing
How to Tame Your AI Agents: From $900 in 18 Days to Coding Smarter
dev.toยท21hยท
Discuss: DEV
๐Ÿ“Code Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap