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

Synthetic or artificial?
rhollick.wordpress.com·1d
🔲Cellular Automata
Benchmarking MicroPython
blog.miguelgrinberg.com·4h
🎯Emulator Accuracy
Interfaces for representing uncertainty
digitalseams.com·4d·
Discuss: Hacker News
🧪Binary Fuzzing
Compromised Donor Emails: A post-mortem
pi-hole.net·20h·
Discuss: Hacker News
🛡Cybersecurity
Rao Reading Algorithm
raohacker.com·2d·
Discuss: Hacker News
🎯Content Recommendation
Model Context Protocol, Product Demos, and the New App Store
wjgilmore.com·15m·
Discuss: Hacker News
🖥️Modern Terminals
Online Software for an Interstellar Civilization
gatlin.io·21h·
Discuss: Hacker News
⏰Time Crystals
Nova: A New Web Framework for Erlang
news.ycombinator.com·6h·
Discuss: Hacker News
🌐Protocol Synthesis
Subliminal Learning: Language models transmit behavioral traits via hidden
arxiviq.substack.com·2d·
Discuss: Substack
🤖Grammar Induction
Voxtral: The Open Source Speech Recognition We've Been Waiting For
dev.to·1d·
Discuss: DEV
🎙️Whisper
Understanding Go's Type System: A Complete Guide to Interfaces, Structs, and Composition [2025]
dev.to·3d·
Discuss: DEV
🔤Type Theory
A Study on Variants of Conventional, Fuzzy, and Nullspace-Based Independence Criteria for Improving Supervised and Unsupervised Learning
arxiv.org·1d
🧠Machine Learning
React Libraries for Building AI-Powered Apps
dev.to·8h·
Discuss: DEV
🎙️Whisper
High-Performance Go: Mastering Memory Mapping and Direct I/O for Terabyte-Scale Data Processing
dev.to·1d·
Discuss: DEV
🌊Stream Processing
LVM-GP: Uncertainty-Aware PDE Solver via coupling latent variable model and Gaussian process
arxiv.org·15h
🧠Machine Learning
Spec-VLA: Speculative Decoding for Vision-Language-Action Models with Relaxed Acceptance
arxiv.org·15h
💻Local LLMs
Collaborative State Machines: A Better Programming Model for the Cloud-Edge-IoT Continuum
arxiv.org·1d
🌊Streaming Systems
Structured Parsing Is the Key to Making LLMs Work on Large Codebases
hackernoon.com·2d
🌳Incremental Parsing
Why I'm Porting GNU Coreutils to Python (And How You Can Help!)
dev.to·1d·
Discuss: DEV
🐚Nordic Shell
A Dual-Feature Extractor Framework for Accurate Back Depth and Spine Morphology Estimation from Monocular RGB Images
arxiv.org·15h
🤖Advanced OCR
Loading...Loading more...
AboutBlogChangelogRoadmap