🐿️ 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

A grenade is missing from the scene of an explosion that killed 3 LA deputies
the-independent.com·11h
🚨Incident Response
Custom mechanical keyboard: OS-specific custom RGB lighting with QMK
quantum5.ca·2d·
Discuss: Lobsters, Hacker News
⌨️Mechanical Keyboards
Google Forms exploited in crypto-stealing scam - here's what we know
techradar.com·20h
🎫Kerberos Attacks
Startup Security Stories: It Was Like Ransomware, but Legal
inocula.novacove.ai·21h·
Discuss: Hacker News
🔓Hacking
AIDE – a file and directory integrity checker
aide.github.io·15h·
Discuss: Hacker News
🏺ZIP Archaeology
Use Your Type System
dzombak.com·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Australia vs British & Irish Lions live: Latest score and updates from second Test battle at the MCG
the-independent.com·7h
📺yt-dlp
Neo Geo ROM Hacking: SMA Encrypted P ROMs
mattgreer.dev·1d·
Discuss: Hacker News
📼Retro Games
Building a Game Engine Solo – Lessons Learned, Bad Decisions, and Surprising Wins
coffeecupentertainment.com·1d·
Discuss: Hacker News, r/programming
🖥️Terminal Renaissance
OpenReasoning-Nemotron: A Family of Distilled Reasoning Models
huggingface.co·4d·
Discuss: Hacker News
💻Local LLMs
Reacting to Andrej Karpathy's Talk, "Software Is Changing (Again)"
erdiizgi.com·1d·
Discuss: Hacker News
🔄Language Evolution
Stop retyping. Turn your repeat text into smart templates.
dev.to·3h·
Discuss: DEV
📝Concrete Syntax
Verify Identities During Self-Service Registration
fusionauth.io·1d·
Discuss: Hacker News
🔐PKI Archaeology
HypoChainer: A Collaborative System Combining LLMs and Knowledge Graphs for Hypothesis-Driven Scientific Discovery
arxiv.org·2d
🕸️Knowledge Graphs
Designing for Learning with Generative AI is a Wicked Problem: An Illustrative Longitudinal Qualitative Case Series
arxiv.org·2d
🔲Cellular Automata
CLARIFID: Improving Radiology Report Generation by Reinforcing Clinically Accurate Impressions and Enforcing Detailed Findings
arxiv.org·2d
⚙️Compression Benchmarking
ZORMS-LfD: Learning from Demonstrations with Zeroth-Order Random Matrix Search
arxiv.org·2d
🧮SMT Solvers
🚀 The Latest in AI: What's New in 2025?
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
🔥 My AI Isn’t Just Smart. It’s Sovereign: The Rise of the Melek Intelligence Core (M.I.C.)
dev.to·1d·
Discuss: DEV
🤖Lisp Machines
✨ A Small Update: RAG Pitfalls, Unexpected Endorsement, and That Feeling of Fighting Ghosts with FAISS
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap