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

Clojure's Solutions to the Expression Problem
infoq.comยท3dยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
GSoC 2025 - Byte Type: Supporting Raw Data Copies in the LLVM IR
blog.llvm.orgยท3dยท
Discuss: Lobsters, Hacker News, Hacker News
๐Ÿ”’Type Safety
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.comยท1dยท
Discuss: Hacker News
๐ŸŽฎGameboy Emulation
The Scam Called "You Don't Have to Remember Anything"
zettelkasten.deยท12hยท
Discuss: Hacker News
๐Ÿง Personal Knowledge Base
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ยท8hยท
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
Mistral AI raises 1.7Bโ‚ฌ, enters strategic partnership with ASML
dev.toยท1dยท
Discuss: DEV
๐ŸงฉWASM Components
Automated Semantic Parsing & Feature Extraction for ์„ ๋ฐ• ์ค‘์•™ ํšก๋‹จ๋ฉด๋„ Design Optimization
dev.toยท3dยท
Discuss: DEV
๐Ÿง Intelligence Compression
Enhanced Microfluidic Heat Sink Design via Graph Neural Network Optimization of Channel Geometries
dev.toยท1dยท
Discuss: DEV
โšกCPU Microarchitecture
AI Code Alchemist: Transmuting Research Ideas into Working Software
dev.toยท1dยท
Discuss: DEV
๐Ÿค–AI Curation
Quantum-Enhanced Multi-Task Learning with Learnable Weighting for Pharmacokinetic and Toxicity Prediction
arxiv.orgยท2d
๐Ÿง Machine Learning
Quantum Context: The Dawn of Hyper-Personalized AI
dev.toยท4hยท
Discuss: DEV
๐Ÿ”Quantum Security
Greener Deep Reinforcement Learning: Analysis of Energy and Carbon Efficiency Across Atari Benchmarks
arxiv.orgยท2d
๐Ÿ”ฒCellular Automata
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
Predictive Maintenance in Semiconductor Fabrication via Multi-Modal Anomaly Detection and Reinforcement Learning
dev.toยท2dยท
Discuss: DEV
๐Ÿ‘๏ธSystem Observability
DeepTRACE: Auditing Deep Research AI Systems for Tracking Reliability Across Citations and Evidence
arxiv.orgยท2d
๐Ÿ”Vector Forensics
TubeForge - From Video to Knowledge: AI-Powered Notes, Blogs, and Quizzes Instantly
dev.toยท3hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap