๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โœ… Formal Methods

TLA+, Model Checking, Coq, Theorem Proving, Specification Languages

Introducing the Application Attack Matrix for Modern App Security | Oligo Security
oligo.securityยท1d
๐Ÿ”’WASM Capabilities
How we built it: Jurisdiction resolution for Stripe Tax
stripe.comยท19hยท
Discuss: Hacker News
๐ŸŒDistributed Hash Tables
capstone-engine/capstone
github.comยท2d
๐Ÿ”ฌBinary Analysis
Are the Busy Beaver numbers independent of mathematics?
risingentropy.comยท4dยท
Discuss: Hacker News
๐Ÿ”ฒProof Irrelevance
Parsing 1 Billion Rows in Bun/TypeScript Under 10s
taekim.devยท5hยท
Discuss: Hacker News, r/node, r/programming, r/typescript
๐ŸŒŠStreaming Compression
The Engineering Behind Fast Analytics: Columnar Storage Explained
outofdesk.netlify.appยท2dยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธDatabase Storage
What's //go:nosplit for?
mcyoung.xyzยท3dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿฆ€Rust Macros
'It's astonishing to watch the usage patterns' on Alexa+ - Amazon's Panos Panay
techradar.comยท3h
๐Ÿ—‚๏ธOptical Jukebox
What does a good cyber security Incident Response plan look like?
techradar.comยท5h
๐ŸšจIncident Response
From "Vibe Coding" to Artisanal Production Engineering
dominiek.substack.comยท2dยท
Discuss: Substack
๐Ÿ”„Language Evolution
How Blockchain Can Help Us Trust What We Read and See
hackernoon.comยท2d
๐Ÿ”—Hash Chains
eegFloss: A Python package for refining sleep EEG recordings using machine learning models
arxiv.orgยท15h
๐Ÿง Machine Learning
A Developerโ€™s Guide to Choosing an AI Coding Assistant That Boosts Productivity Without Overwhelming Your Workflow
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
Injecting Socratic Intelligence into Your Workflow
dev.toยท1dยท
Discuss: DEV
โšกProof Automation
FedDifRC: Unlocking the Potential of Text-to-Image Diffusion Models in Heterogeneous Federated Learning
arxiv.orgยท15h
๐ŸŒ€Riemannian Computing
Exploring Public Perceptions of Generative AI in Libraries: A Social Media Analysis of X Discussions
arxiv.orgยท15h
๐Ÿ›Digital humanities
Development of an Improved Capsule-Yolo Network for Automatic Tomato Plant Disease Early Detection and Diagnosis
arxiv.orgยท2d
๐Ÿค–Advanced OCR
๐Ÿงผ Python Context Managers โ€” Why with Is Smarter Than You Think
dev.toยท2dยท
Discuss: DEV
๐Ÿ’งLiquid Types
Donโ€™t Build Chatbots โ€” Build Agents With Jobs
thenewstack.ioยท3d
๐Ÿ”—Constraint Handling
Do We Really Need Specialization? Evaluating Generalist Text Embeddings for Zero-Shot Recommendation and Search
arxiv.orgยท2d
๐ŸงฎVector Embeddings
Loading...Loading more...
AboutBlogChangelogRoadmap