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

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Supercharge your Git workflows
about.gitlab.comยท23h
๐Ÿ“ฆGit LFS
Leveraging Copilot to rapidly refactor test automation
blog.scottlogic.comยท23h
๐Ÿ”„Language Evolution
Clojure's Solutions to the Expression Problem
infoq.comยท3dยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
The Scam Called "You Don't Have to Remember Anything"
zettelkasten.deยท9hยท
Discuss: Hacker News
๐Ÿง Personal Knowledge Base
Researchers capture new antibiotic resistance mechanisms with trace amounts of DNA
phys.orgยท10h
๐ŸงฌCopy Number Variants
Inside the Man vs. Machine Hackathon
wired.comยท1d
๐Ÿš€Indie Hacking
AI code is creating more Ops incidents โ€“ who should own fixing them?
medium.comยท5hยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
Eat Your Vegetables Before AI Dessert
writings.alethia.newsยท1dยท
Discuss: Hacker News
โš™๏ธProof Engineering
Ask HN: What did you obtain from learning compilers?
news.ycombinator.comยท3dยท
Discuss: Hacker News
๐Ÿ”จCompilers
1.0 release of the Google Cloud client libraries for Rust
github.comยท23hยท
Discuss: Hacker News, r/rust
๐Ÿฆ€Rust Verification
Mistral AI raises 1.7Bโ‚ฌ, enters strategic partnership with ASML
dev.toยท1dยท
Discuss: DEV
๐ŸงฉWASM Components
๐Ÿšจ Why Most AI Strategies Fail Before Audit Day โ€” And the Six Roles That Can Save You ๐Ÿšจ
dev.toยท12hยท
Discuss: DEV
๐ŸŽฏThreat Hunting
Automated Semantic Parsing & Feature Extraction for ์„ ๋ฐ• ์ค‘์•™ ํšก๋‹จ๋ฉด๋„ Design Optimization
dev.toยท3dยท
Discuss: DEV
๐Ÿง Intelligence Compression
The LLM Has Left The Chat: Evidence of Bail Preferences in Large Language Models
arxiv.orgยท2dยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
Code Review Without Borders: Evaluating Synthetic vs. Real Data for Review Recommendation
arxiv.orgยท2d
๐Ÿ“Code Metrics
DeepTRACE: Auditing Deep Research AI Systems for Tracking Reliability Across Citations and Evidence
arxiv.orgยท2d
๐Ÿ”Vector Forensics
Greener Deep Reinforcement Learning: Analysis of Energy and Carbon Efficiency Across Atari Benchmarks
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
Benchmarking Gender and Political Bias in Large Language Models
arxiv.orgยท1d
๐Ÿš€SIMD Text Processing
Rethinking LLM Parametric Knowledge as Post-retrieval Confidence for Dynamic Retrieval and Reranking
arxiv.orgยท1d
๐Ÿ”Information Retrieval
Enhanced Microfluidic Heat Sink Design via Graph Neural Network Optimization of Channel Geometries
dev.toยท1dยท
Discuss: DEV
โšกCPU Microarchitecture
Loading...Loading more...
AboutBlogChangelogRoadmap