🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ¦€ Rust Verification

Memory Safety Proofs, Linear Types, Borrow Checker, Systems Verification

Politics and math, A Drama in Four Parts
pballew.blogspot.comΒ·2dΒ·
Discuss: www.blogger.com
πŸ”Soviet Cryptography
Helping data storage keep up with the AI revolution
news.mit.eduΒ·8h
🏠Homelab Archaeology
Under the Hood of AFD.sys Part 1: Investigating Undocumented Interfaces
leftarcode.comΒ·2dΒ·
Discuss: Hacker News
πŸ›‘οΈeBPF Security
Who Am I in the Eye of AI?
lightcapai.medium.comΒ·1dΒ·
Discuss: Hacker News
πŸ”²Cellular Automata
D-Wave's open-source toolkit integrates quantum computing into AI training
siliconangle.comΒ·18hΒ·
Discuss: Hacker News
πŸ•ΈοΈTensor Networks
Content-Aware Spaced Repetition
giacomoran.comΒ·1dΒ·
Discuss: Hacker News
πŸ“ΌTape Combinators
Cycode Delivers AI Agent to Assess How Exploitable Vulnerabilities Are
devops.comΒ·22h
πŸ“Code Metrics
WCH WebLink, a web based ESP32 programmer for CH32V003
github.comΒ·1dΒ·
Discuss: Hacker News
πŸ“»Homebrew Protocols
c/side CEO and Co-founder Simon Wijckmans on The Importance of Browser-side Security
hackernoon.comΒ·3h
πŸš€Indie Hacking
AVATAR: Reinforcement Learning to See, Hear, and Reason Over Video
arxiv.orgΒ·8h
🧠Learned Codecs
IKOD: Mitigating Visual Attention Degradation in Large Vision-Language Models
arxiv.orgΒ·8h
πŸ“ŠRate-Distortion Theory
Show HN: Empromptu.ai – No code, AI app builder with RAG, model, evals etc.
news.ycombinator.comΒ·17hΒ·
Discuss: Hacker News
πŸŒ€Brotli Internals
AI-Driven Cybersecurity Threat Detection: Building Resilient Defense Systems Using Predictive Analytics
arxiv.orgΒ·1d
🎯Threat Hunting
Likelihood Matching for Diffusion Models
arxiv.orgΒ·8h
🧠Machine Learning
Quantum Machine Learning-based Test Oracle for Autonomous Mobile Robots
arxiv.orgΒ·1d
πŸ”Concolic Testing
T-GRAG: A Dynamic GraphRAG Framework for Resolving Temporal Conflicts and Redundancy in Knowledge Retrieval
arxiv.orgΒ·1d
πŸ”Information Retrieval
Getting out of the Big-Muddy: Escalation of Commitment in LLMs
arxiv.orgΒ·1d
πŸ”²Cellular Automata
Refine-n-Judge: Curating High-Quality Preference Chains for LLM-Fine-Tuning
arxiv.orgΒ·1d
🎯Content Recommendation
Physics-Informed Data-Driven Control of Nonlinear Polynomial Systems with Noisy Data
arxiv.orgΒ·1d
πŸ›‘οΈError Boundaries
Show HN: A benchmark and latency SIM for LLM db queries: ClickHouse / Postgres
github.comΒ·12hΒ·
Discuss: Hacker News
πŸ“ŠPerformance Profiling
Loading...Loading more...
AboutBlogChangelogRoadmap