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

Squash Types, Proposition Equality, Setoid Model, Type Theory

NIST Finalizes 'Lightweight Cryptography' Standard to Protect Small Devices
nist.gov·1d·
Discuss: Hacker News, r/embedded
🔐Soviet Cryptography
CAP is not the full picure: PACELC comes to rescue
en.wikipedia.org·1d·
Discuss: Hacker News
🤝Distributed Consensus
A Backend for Frontend: Watt for Node.js Simplifies Operations
thenewstack.io·15h
🌊Streaming Systems
Scaling Interpretability
anthropic.com·3d·
Discuss: Hacker News
📊Quantization
Critical FortiSIEM flaw under active exploitation, Fortinet warns
securityaffairs.com·1d
🛡Cybersecurity
From Genes to Neural Networks: Understanding and Building NEAT (Neuro-Evolution of Augmenting Topologies) from Scratch
towardsdatascience.com·3d
🔗Topological Sorting
Understanding reinforcement learning for model training from scratch
medium.com·4d·
Discuss: Hacker News
🤖Grammar Induction
derive_hash_fast: Over 2x faster hashing than #[derive(Hash)]
reddit.com·2d·
Discuss: r/rust
🦀Rust Borrowing
Dynamic Transfer Policies for Parallel Queues
arxiv.org·2d
🎯Performance Proofs
ReQuestNet: A Foundational Learning model for Channel Estimation
arxiv.org·2d
🧠Machine Learning
Dolthub/go-MySQL-server: A MySQL-compatible database, in pure Go
github.com·1d·
Discuss: Hacker News
🦀Rusty Databases
Generative Artificial Intelligence in Medical Imaging: Foundations, Progress, and Clinical Translation
arxiv.org·1d
🤖Advanced OCR
Gradient-Direction-Aware Density Control for 3D Gaussian Splatting
arxiv.org·1d
🌈Color Science
Scalable intelligent document processing using Amazon Bedrock Data Automation
aws.amazon.com·10h
🤖Archive Automation
Automated Knowledge Synthesis Network for Dynamic Scientific Discovery (AKS-DSD)
dev.to·2d·
Discuss: DEV
🏺Computational Archaeology
I'm Building an AI Agent to Write My Unit Tests
dev.to·11h·
Discuss: DEV
⚡Proof Automation
AR-VRM: Imitating Human Motions for Visual Robot Manipulation with Analogical Reasoning
arxiv.org·3d
📐Projective Geometry
TAR-TVG: Enhancing VLMs with Timestamp Anchor-Constrained Reasoning for Temporal Video Grounding
arxiv.org·3d
⏱️SMPTE Timecode
Zero-Shot Cellular Trajectory Map Matching
arxiv.org·3d
🔶Voronoi Diagrams
GS4Buildings: Prior-Guided Gaussian Splatting for 3D Building Reconstruction
arxiv.org·3d
🏺Computational Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap