🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🎯 Interactive Provers

Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification

Bazel and action (non-) determinism
blogsystem5.substack.comΒ·1dΒ·
Discuss: Substack
πŸ”„Reproducible Builds
How Apps and Your Phone Can Expose Your Life Without Permission
paloaltonetworks.comΒ·21h
πŸ›‘Cybersecurity
Last Week in AI #316
skynettoday.comΒ·2d
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
Gren 25S: Easier interop, concurrent tasks and zero-install packages
gren-lang.orgΒ·1dΒ·
Discuss: Lobsters, Hacker News
🐚Nordic Shell
Unleashing new AI capabilities for popular frameworks in Firebase Studio
developers.googleblog.comΒ·4h
πŸŒ€Brotli Internals
Show HN: Ubik Studio – Cursor for Research
ubik.studioΒ·17hΒ·
Discuss: Hacker News
πŸŽ™οΈWhisper
This makes code run MUCH faster | JIT Compilers
youtube.comΒ·5h
πŸš€JIT Compilation
Show HN: I built a tool that automates cold DMs on Twitter
dmpro.aiΒ·10hΒ·
Discuss: Hacker News
πŸ“‘RSS Automation
To MCP or not to MCP?
blog.pamelafox.orgΒ·1dΒ·
Discuss: www.blogger.com, Hacker News
πŸ”—Constraint Handling
Billions of Tokens Later: Scaling LLM Fuzzing in Practice
gusarich.comΒ·4dΒ·
Discuss: Hacker News
πŸ§ͺProtocol Fuzzing
Automating Away Claude's Bad Habits with Hooks | Write-Ahead (b)Log
writeaheadblogg.ingΒ·1dΒ·
Discuss: Lobsters, Hacker News
✨Effect Handlers
Show HN: Easy Python Time Parsing
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ“Concrete Syntax
VTarbel: Targeted Label Attack with Minimal Knowledge on Detector-enhanced Vertical Federated Learning
arxiv.orgΒ·1d
🀐Secure Multiparty
Building an RPG Character Generator with Google AI Studio
dev.toΒ·4hΒ·
Discuss: DEV
πŸ“ŸTerminal Physics
Temporal Basis Function Models for Closed-Loop Neural Stimulation
arxiv.orgΒ·1d
⚑Effectful Programming
The Future of AI in Software Engineering: Transforming Development from Code Creation to Intelligent Orchestration
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”„Reproducible Builds
Aging and the Narrowing of Scientific Innovation
arxiv.orgΒ·6h
πŸ“ŠCitation Graphs
Aligned Manifold Property and Topology Point Clouds for Learning Molecular Properties
arxiv.orgΒ·6h
πŸ•ΈοΈAlgebraic Topology
MCP: The Magic Connector Making AI Smarter for You
dev.toΒ·14hΒ·
Discuss: DEV
πŸ”ŒInterface Evolution
Spatial 3D-LLM: Exploring Spatial Awareness in 3D Vision-Language Models
arxiv.orgΒ·6h
πŸ“Projective Geometry
Loading...Loading more...
AboutBlogChangelogRoadmap