🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📏 Linear Logic

Resource Awareness, Session Types, Proof Nets, Substructural Logic

Name Matching in Sanctions Screening
senzing.com·23h·
Discuss: Hacker News
🔤Unicode Normalization
Reducing Optimization Risk through Portfolio Methods
win-vector.com·2d·
Discuss: Hacker News
📈Linear programming
Wyoming and South Dakota Age Verification Laws Could Include Huge Parts of the Internet
404media.co·9h
🛡Cybersecurity
Iceberg Table Corruption and Data Loss in Production
ryft.io·1d·
Discuss: Hacker News
🔧KAITAI
Scientists May Soon Find a Missing Piece That Could Fracture String Theory
popularmechanics.com·5h
🧮Theoretical Computer Science
derive_hash_fast: Over 2x faster hashing than #[derive(Hash)]
reddit.com·1d·
Discuss: r/rust
🦀Rust Borrowing
Is GPT-OSS Really Open? Inside OpenAI’s Most Transparent Model Yet
hackernoon.com·1d
🔓Open Source Software
Sapien Brings Millions Of Minds Onchain To Train AI
hackernoon.com·5h
🏠Homelab Federation
Distributed compiler jobs in Kubernetes?
reddit.com·1d·
Discuss: r/kubernetes
🔩Systems Programming
How Conversational Structure and Style Shape Online Community Experiences
arxiv.org·19h
🎯Recommendation Metrics
SOFA: Deep Learning Framework for Simulating and Optimizing Atrial Fibrillation Ablation
arxiv.org·1d
🧠Neural Codecs
Harmonic balance-automatic differentiation method: an out-of-the-box and efficient solver for general nonlinear dynamics simulation
arxiv.org·1d
📐Interval Arithmetic
Understanding Satoshi
hackernoon.com·17h
🌳Archive Merkle Trees
GPT-6 or GTA 6 - Which Will Arrive First?
dev.to·1d·
Discuss: DEV
🖥️Terminal Renaissance
Fine-Tuning ResNet-18 with TensorFlow Model Garden for CIFAR-10 Classification
hackernoon.com·1d
🧠Neural Codecs
Artificial Intelligence Software Structured to Simulate Human Working Memory, Mental Imagery, and Mental Continuity
arxiv.org·19h
🔲Cellular Automata
More than coders: developers as business enablers
techradar.com·17h
🔄Language Evolution
Adaptive Bio-Integrated Pod Suspension Systems via Multi-Objective Reinforcement Learning
dev.to·11h·
Discuss: DEV
🛡️Error Boundaries
How LLMs Transform Language into Vectors: The Power of Embeddings
dev.to·4d·
Discuss: DEV
🗂️Vector Search
MDK12-Bench: A Comprehensive Evaluation of Multimodal Large Language Models on Multidisciplinary Exams
arxiv.org·1d
🧠Intelligence Compression
Loading...Loading more...
AboutBlogChangelogRoadmap