๐Ÿฟ๏ธ 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

Code highlighting with Cursor AI for $500,000
securelist.comยท1d
๐Ÿš€Indie Hacking
The Author and the Assistant
zmj.devยท1dยท
Discuss: Hacker News
๐Ÿ“Proof Assistants
Mastra is now Apache 2.0 licensed
mastra.aiยท1dยท
Discuss: Hacker News, Hacker News
๐Ÿ”“Open Source Software
An Interactive Introduction to Probabilistic Data Linkage/Deduplication
robinlinacre.comยท3dยท
Discuss: Hacker News
๐ŸŒธBloom Variants
A.I. Can See You in Ways You Can't See Yourself
nytimes.comยท10hยท
Discuss: Hacker News
๐Ÿค–AI Paleography
A non-anthropomorphized view of LLMs
addxorrol.blogspot.comยท5dยท
Discuss: www.blogger.com
๐Ÿ”ฒCellular Automata
Filesystem Backed by an LLM
healeycodes.comยท5dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
CodeSOD: The XML Dating Service
thedailywtf.comยท2d
โœ…Format Validation
MitM Flaw in Bitchat: Identity Is a Bitchat Challenge
supernetworks.orgยท3dยท
Discuss: Hacker News
๐ŸงชProtocol Fuzzing
Epistemological Primes
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿง Personal Knowledge Base
Why Hire AI/ML Developers in Vancouver to Future-Proof Your Business?
dev.toยท18hยท
Discuss: DEV
๐ŸŽ™๏ธWhisper
EU Parliament moves to ban AI-generated child sexual abuse material as its spread accelerates
the-decoder.comยท1d
๐ŸŽ™๏ธWhisper
AI Tooling, Evolution and the Promiscuity of Modern Developers
redmonk.comยท1dยท
Discuss: Hacker News
๐Ÿ”„Language Evolution
Choosing Best Tech Stack For Building A Real Estate Listing Platform
dev.toยท3dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Enhancing Text-Based Hierarchical Multilabel Classification for Mobile Applications via Contrastive Learning
arxiv.orgยท3d
๐Ÿง Machine Learning
Gaussian Process-Based Active Exploration Strategies in Vision and Touch
arxiv.orgยท2d
๐ŸŒ€Differential Geometry
Large Language Models Predict Human Well-being -- But Not Equally Everywhere
arxiv.orgยท2d
๐ŸŽ™๏ธWhisper
AI-Powered Web Automation with Playwright MCP Server: Everything You Need to Know
dev.toยท2dยท
Discuss: DEV
๐Ÿค–Network Automation
Distribution-free inference for LightGBM and GLM with Tweedie loss
arxiv.orgยท1d
๐Ÿ“ŠLearned Metrics
OpenAgentSafety: A Comprehensive Framework for Evaluating Real-World AI Agent Safety
arxiv.orgยท2d
๐ŸŽฏThreat Hunting
Loading...Loading more...
AboutBlogChangelogRoadmap