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

Freeing up 1132 printer components - part 5
rescue1130.blogspot.comยท21hยท
Discuss: rescue1130.blogspot.com
๐Ÿ“„Document Digitization
Reference Contra Dance Sound System 2025
jefftk.comยท2d
๐Ÿ’ฟFLAC Archaeology
A New Era of Transparency for CVE Data Quality
jerrygamblin.comยท17h
๐Ÿ”CBOR
MadeYouReset: Turning HTTP/2 Server Against Itself
imperva.comยท17hยท
Discuss: Lobsters, r/programming
๐ŸŒDNS Security
OpenAI Designed GPT-5 to Be Safer. It Still Outputs Gay Slurs
wired.comยท19hยท
Discuss: r/technews
๐ŸŽ™๏ธWhisper
Mastering the Open File
lichess.orgยท1dยท
Discuss: Hacker News
๐Ÿ”Soviet Cryptography
Computing infrastructure challenges in AI workloads
datasciencecentral.comยท2d
๐ŸŒŠStream Processing
Ask HN: Are foreign key constraints still useful?
news.ycombinator.comยท1dยท
Discuss: Hacker News
๐Ÿ—„๏ธDatabase Internals
How to Remediate Risk to Critical OT/IoT Systems without Disrupting Operations
tenable.comยท1d
๐Ÿ”Capability Security
My Lethal Trifecta talk at the Bay Area AI Security Meetup
simonwillison.netยท5dยท
Discuss: Hacker News
๐Ÿ”“Hacking
Old Stats, New Tricks: How PCIC Builds on Decades of Recommendation Research
hackernoon.comยท3d
๐ŸŽฏContent Recommendation
Creating good content with AI still needs good amount of iteration if you CARE
news.ycombinator.comยท3dยท
Discuss: Hacker News
๐ŸŽฏContent Recommendation
Advanced Redox Flow Battery Stack Optimization via Dynamic Bayesian Network Control
dev.toยท12hยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Compact build โ€” which would you choose?
reddit.comยท10hยท
Discuss: r/homelab
๐ŸงฒRISC-V Archaeology
Risky Bulletin: Crypto-thieves turn their sights to Open VSX
news.risky.bizยท1d
๐Ÿ”“Hacking
Why MCP Uses JSON-RPC Instead of REST or gRPC
dev.toยท9hยท
Discuss: DEV
โšกgRPC
Shape Completion and Real-Time Visualization in Robotic Ultrasound Spine Acquisitions
arxiv.orgยท1d
๐Ÿค–Advanced OCR
Exploring Causal Effect of Social Bias on Faithfulness Hallucinations in Large Language Models
arxiv.orgยท2d
๐Ÿ’ปProgramming languages
Fusion-Based Brain Tumor Classification Using Deep Learning and Explainable AI, and Rule-Based Reasoning
arxiv.orgยท2d
๐Ÿง Machine Learning
PROPS: Progressively Private Self-alignment of Large Language Models
arxiv.orgยท2d
๐Ÿ’ปLocal LLMs
Loading...Loading more...
AboutBlogChangelogRoadmap