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

Type-safe Archives, Verified Storage, Format Correctness, Proof Assistants

How Randomness Improves Algorithms?
quantamagazine.org·18h·
Discuss: Hacker News
🌳Trie Structures
Compare: Bash Elvish NuShell Murex es-shell fish xonsh PowerShell Oil Ion
gist.github.com·2d·
Discuss: Hacker News
🐚Nordic Shell
MLS: The Naked King of End-to-End Encryption
poberezkin.com·2d·
Discuss: Hacker News
🔐Archive Encryption
Vibe Coding Awareness Month
hellotonic.com·1d·
Discuss: Hacker News
🔄Language Evolution
Show HN: An open-source,security first,local-first memory tool for AI assistants
news.ycombinator.com·1d·
Discuss: Hacker News
🌐WASI
Which one Performs Better? Wav2Vec or Whisper? Applying both in Badini Kurdish Speech to Text (BKSTT)
arxiv.org·1d
🎙️Whisper
Show HN: Wrote a small tool that turns PDFs and docs into fine-tuning datasets
github.com·17h·
Discuss: Hacker News
🤖Archive Automation
DeBackdoor: A Deductive Framework for Detecting Backdoor Attacks on Deep Models with Limited Data
usenix.org·1d
🔍Vector Forensics
Graph Neural Network and Transformer Integration for Unsupervised System Anomaly Discovery
arxiv.org·1d
👁️Observatory Systems
ParallelSearch: Train your LLMs to Decompose Query and Search Sub-queries in Parallel with Reinforcement Learning
arxiv.org·1d
🔍Information Retrieval
Automated Semantic Validation & Refinement of Scientific Literature using Dynamic Graph Neural Networks
dev.to·19h·
Discuss: DEV
🕸️Graph Embeddings
Liveness analysis with Datalog
bernsteinbear.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Ethical Medical Image Synthesis
arxiv.org·1d
⚖️Emulation Ethics
An Unsupervised Deep XAI Framework for Localization of Concurrent Replay Attacks in Nuclear Reactor Signals
arxiv.org·1d
🔍Vector Forensics
Automated Ethical Review of Genomic Editing Clinical Trials via Multi-Modal Reasoning
dev.to·1d·
Discuss: DEV
⚡Proof Automation
OpenAI’s GPT-5 vs Claude Opus 4.1: A coding comparison
dev.to·12h·
Discuss: DEV
📏Code Metrics
Debiasing Multimodal Large Language Models via Penalization of Language Priors
arxiv.org·34m
⧗Information Bottleneck
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
arxiv.org·3d
🎯Performance Proofs
# Why I Built MCP Client Generator (And Why You Should Care)
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
CRISP: Contrastive Residual Injection and Semantic Prompting for Continual Video Instance Segmentation
arxiv.org·34m
📊Learned Metrics
Loading...Loading more...
AboutBlogChangelogRoadmap