🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔮 Proof Search

Automated Reasoning, Tactic Languages, Resolution, Unification

Week 26, 2025
brajeshwar.com·1d
🎬WebCodecs API
What We’ve Learned from 5 Months of Hackbot Activity
hackerone.com·2d
🔓Hacking
abhisheksr01/spring-boot-microservice-best-practices
github.com·3d
🌊Streaming Systems
ODFM, an omics data resource from microorganisms associated with fermented foods
nature.com·13h·
Discuss: Hacker News
🏷️Metadata Standards
Hubert Dreyfus's views on artificial intelligence
en.wikipedia.org·1d·
Discuss: Hacker News
🧲Magnetic Philosophy
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·3d
📝Concrete Syntax
A case for courage, when speaking of AI danger
lesswrong.com·2d·
Discuss: Hacker News
🎯Threat Hunting
HackTheSite Basic 6
dev.to·19h·
Discuss: DEV
🔓Password Cracking
Sirius: A GPU-native SQL engine
github.com·15h·
Discuss: Hacker News
🗄️Database Internals
OptGM: An Optimized Gate Merging Method to Mitigate NBTI in Digital Circuits
arxiv.org·2d
⚙️Logic Synthesis
ProofBoard My Hackathon Journey with Bolt!
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Decoding the Human Language: An Introduction to Natural Language Processing (NLP) Fundamentals
dev.to·1d·
Discuss: DEV
📝Text Parsing
IDGraphs: Intrusion Detection and Analysis Using Stream Compositing
arxiv.org·2d
🦠Malware Analysis
Developing AI-Powered Applications with LLMs on Google Cloud
dev.to·1d·
Discuss: DEV
🎙️Whisper
Blackbox AI — For Real
dev.to·10h·
Discuss: DEV
🌐WASI
GCP Fundamentals: Data Labeling API
dev.to·1d·
Discuss: DEV
🤖Archive Automation
⚙️ Scalable and Ordered Queueable Execution from Triggers in Salesforce
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Show HN: 10x Kubernetes Cluster on Hetzner Cloud
github.com·1d·
Discuss: Hacker News
📦Container Security
ReCode: Updating Code API Knowledge with Reinforcement Learning
arxiv.org·3d
⚡Incremental Computation
COIN: Uncertainty-Guarding Selective Question Answering for Foundation Models with Provable Risk Guarantees
arxiv.org·3d
🧠Intelligence Compression
Loading...Loading more...
AboutBlogChangelogRoadmap