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

Complexity Analysis, Algorithm Verification, Formal Bounds, Optimization Theory

What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·1d
🧮Kolmogorov Bounds
Quality Precision
lesswrong.com·23h·
Discuss: Hacker News
✅FLAC Verification
Securing Kubernetes Layer by Layer: An OSI Approach
reddit.com·20h·
Discuss: r/kubernetes
📦Container Security
WeakC4, or Distilling an Emergent Object
2swap.github.io·3d·
Discuss: Hacker News
🔲Cellular Automata
Reloading classes in python and shared borders
andrewpwheeler.com·7h·
Discuss: Hacker News
🦀Rust Macros
Visual AI flow manager for Genkit – Looking for early testers
flowshapr.ai·3h·
Discuss: Hacker News
⚡Proof Automation
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·3d·
Discuss: Hacker News
📼Tape Combinators
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·5h
🎯Gradual Typing
[P] aligning non-linear features with your data distribution
reddit.com·1d·
Discuss: r/MachineLearning
🧠Machine Learning
Adaptive DDoS Mitigation via Hyper-Dimensional Signature Correlation & Dynamic Recursion
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
An experimental approach: The graph of graphs
arxiv.org·13h
🌈Spectral Methods
Propose and Rectify: A Forensics-Driven MLLM Framework for Image Manipulation Localization
arxiv.org·13h
🖼️JPEG Forensics
L-XAIDS: A LIME-based eXplainable AI framework for Intrusion Detection Systems
arxiv.org·13h
🔍Vector Forensics
RoMedQA: The First Benchmark for Romanian Medical Question Answering
arxiv.org·1d
🌀Brotli Internals
Thermodynamically Consistent Hybrid and Permutation-Invariant Neural Yield Functions for Anisotropic Plasticity
arxiv.org·1d
🌀Differential Geometry
School of Reward Hacks: Hacking harmless tasks generalizes to misaligned behavior in LLMs
arxiv.org·13h
🔲Cellular Automata
Stability Optimization and Analysis of Energy Flow Networks versus Different Centrality Measurement
arxiv.org·13h
🤝Consensus Algorithms
Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·1d
💾Binary Linguistics
Proximal Supervised Fine-Tuning
arxiv.org·13h
💻Local LLMs
M^3-GloDets: Multi-Region and Multi-Scale Analysis of Fine-Grained Diseased Glomerular Detection
arxiv.org·13h
🕳️Persistent Homology
Loading...Loading more...
AboutBlogChangelogRoadmap