🐿️ 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

The vibe vulnerability
aardvark.co.nz·21h
🔓Hacking
Why MIT switched from Scheme to Python (2009) | Hacker News
news.ycombinator.com·2d·
Discuss: Hacker News
💻CS
Accelerating on-device ML on Meta’s family of apps with ExecuTorch
engineering.fb.com·17h
🌀Brotli Internals
Architecture, Community, and the Spirit of Plan 9
news.ycombinator.com·8h·
Discuss: Hacker News
🌐Edge Preservation
RoD-TAL: A Benchmark for Answering Questions in Romanian Driving License Exams
arxiv.org·10h
🤖Automated Parsing
Show HN: I made a full Ethereum account-proof circuit in Circom
github.com·3d·
Discuss: Hacker News
🌳Archive Merkle Trees
Methodology for intelligent injection point location based on geometric algorithms and discrete topologies for virtual digital twin environments
arxiv.org·10h
📊Computational Geometry
A Gold Standard Dataset and Evaluation Framework for Depression Detection and Explanation in Social Media using LLMs
arxiv.org·10h
🔍Information Retrieval
AnimalClue: Recognizing Animals by their Traces
arxiv.org·10h
🕳️Persistent Homology
Machine Learning Fundamentals: k-means example
dev.to·23h·
Discuss: DEV
👁️Observatory Systems
Which Backend Is Better for Speed? We Ran 1 Million Tests to Find Out
hackernoon.com·1d
🎬WebCodecs
Towards Explainable Deep Clustering for Time Series Data
arxiv.org·10h
📈Time Series
SmartPNT-MSF: A Multi-Sensor Fusion Dataset for Positioning and Navigation Research
arxiv.org·1d
🌀Differential Geometry
Ultra-Low-Latency Edge Inference for Distributed Sensing
arxiv.org·10h
⧗Information Bottleneck
Attributed Graph Clustering with Multi-Scale Weight-Based Pairwise Coarsening and Contrastive Learning
arxiv.org·10h
🌊Spectral Clustering
Customize Multi-modal RAI Guardrails with Precedent-based predictions
arxiv.org·10h
📊Learned Metrics
Counterfactual Explanations in Medical Imaging: Exploring SPN-Guided Latent Space Manipulation
arxiv.org·1d
🧠Machine Learning
Can Small-Scale Data Poisoning Exacerbate Dialect-Linked Biases in Large Language Models?
arxiv.org·1d
🧠Intelligence Compression
Polar Coding and Linear Decoding
arxiv.org·10h
ℹ️Information Theory
New Programming Language
news.ycombinator.com·1d·
Discuss: Hacker News
💻Programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap