๐Ÿฟ๏ธ 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
Mastra is now Apache 2.0 licensed
mastra.aiยท1dยท
Discuss: Hacker News, Hacker News
๐Ÿ”“Open Source Software
A non-anthropomorphized view of LLMs
addxorrol.blogspot.comยท5dยท
Discuss: www.blogger.com
๐Ÿ”ฒCellular Automata
Filesystem Backed by an LLM
healeycodes.comยท4dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
A chemical language model for molecular taste prediction
nature.comยท2dยท
Discuss: Hacker News
๐ŸงฎKolmogorov Complexity
Linux Foundation adopts A2A to help solve one of AI's most pressing challenges
zdnet.comยท3dยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Is `return err` after an error check really an anti-pattern?
reddit.comยท2dยท
Discuss: r/golang
โœ…Format Verification
Epistemological Primes
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿง Personal Knowledge Base
Wallets as Universal Access Devices
arxiv.orgยท1d
๐ŸŒIPFS
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
GraphBrep: Learning B-Rep in Graph Structure for Efficient CAD Generation
arxiv.orgยท3d
๐Ÿ”—Graph Isomorphism
โšกHow to Supercharge Your Workflow with Jira MCP and Supabase MCP Using Composio๐Ÿฆพ
dev.toยท17hยท
Discuss: DEV
๐Ÿ”„Sync Engine
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
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
Build real-time conversational AI experiences using Amazon Nova Sonic and LiveKit
aws.amazon.comยท1d
๐ŸŽ™๏ธWhisper
๐Ÿš€ Deploy LLMs Without Gas Pain? Hereโ€™s How We Do It on haveto.com
dev.toยท4dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap