๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โš”๏ธ Lean Tactics

Interactive Proving, Tactic Composition, Proof Automation, Mathlib

RcppArmadillo 15.0.2-1 on CRAN: New Upstream, Some Changes
dirk.eddelbuettel.comยท1d
๐Ÿ“ฆPackage Managers
'MostereRAT' Malware Blends In, Blocks Security Tools
darkreading.comยท1d
๐Ÿ”“Hacking
Show HN: Briced โ€“ AI Native CRM
briced.comยท16hยท
Discuss: Hacker News
๐Ÿ”„Sync Engine
The Center for Human-Compatible Artificial Intelligence Is Hiring
humancompatible.aiยท23hยท
Discuss: Hacker News
๐Ÿ’ปCS
Go Is the Language of Vibe Coding
sinwoobang.notion.siteยท2dยท
Discuss: Hacker News
๐Ÿ“œProof Carrying Code
Does the world need another distributed queue?
techblog.cloudkitchens.comยท13hยท
Discuss: r/programming
๐ŸŒŠStreaming Systems
CBconvert is a Comic Book converter
github.comยท1d
๐Ÿ“ธTIFF Evolution
I used an AI triage bot to close 85 GitHub issues in a weekend
bagerbach.comยท4dยท
Discuss: Hacker News
๐Ÿ“Code Metrics
Show HN: Modular, LLM-optimized OpenAPI docs โ€“ deterministic URLs
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐ŸงฉWASM Modules
Attention and Risk-Aware Decision Framework for Safe Autonomous Driving
arxiv.orgยท1h
๐ŸŒ€Riemannian Computing
Code Review Without Borders: Evaluating Synthetic vs. Real Data for Review Recommendation
arxiv.orgยท2d
๐Ÿ“Code Metrics
CodeAnt AI vs Panto AI: A Fair AI Review Showdown
dev.toยท1dยท
Discuss: DEV
๐Ÿ“Code Metrics
Hyperbolic Large Language Models
arxiv.orgยท1d
๐ŸŒ€Hyperbolic Geometry
On the Same Wavelength? Evaluating Pragmatic Reasoning in Language Models across Broad Concepts
arxiv.orgยท1d
๐Ÿ“ABNF Extensions
What Is MCPโ€”and How FinderBee Is Unlocking Agentic AI
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
AI Revolutionizing Kids' Education Today
dev.toยท5hยท
Discuss: DEV
๐Ÿค–AI Curation
๐Ÿš€ Introducing Toolbit.ai: Your Ultimate Gateway to 10,000+ AI Tools (No More Tool Discovery Headaches!)
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Beyond Code: How to Use AI to Modernize Software Architecture
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ŒInterface Evolution
The Expression Problem and its solutions
eli.thegreenplace.netยท2dยท
Discuss: Lobsters, Hacker News, Hacker News, r/programming
๐Ÿ’ปProgramming languages
Quantum Variational Solver Optimization via Adaptive Kernel Ridge Regression
dev.toยท2hยท
Discuss: DEV
โš›๏ธQuantum Algorithms
Loading...Loading more...
AboutBlogChangelogRoadmap