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

Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory

Navigating Wikipedia’s Knowledge Discrepancies
diff.wikimedia.org·1d
📰Content Curation
Moan-routine: LO's Predicate Signatures
lmika.org·6d
🔗Functional Compilers
Computer-vision, Pi3 and losing hackathons
mtende.blog·1d·
Discuss: Hacker News, r/programming
🖥Retro Computing
Perennial Task Just Got More Flexible
arthurdick.com·22h·
Discuss: Hacker News
🦋Format Metamorphosis
I Got into Deep Learning
vikas.sh·1d·
Discuss: Hacker News
🧠Machine Learning
Spent the week at one of the top AI research conferences
aol.com·2h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
HKGAI-V1: Towards Regional Sovereign Large Language Model for Hong Kong
arxiv.org·1d
🎙️Whisper
Deep Generative Methods and Tire Architecture Design
arxiv.org·18h
🌀Riemannian Computing
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·18h
🔲Cellular Automata
Comparing Spoken Languages using Paninian System of Sounds and Finite State Machines
arxiv.org·3d
💾Binary Linguistics
Machine Learning Fundamentals: data preprocessing with python
dev.to·3d·
Discuss: DEV
⚙️Batch Processing
Te Ahorr\'e Un Click: A Revised Definition of Clickbait and Detection in Spanish News
arxiv.org·2d
⚖️Feed Ranking
EV-STLLM: Electric vehicle charging forecasting based on spatio-temporal large language models with multi-frequency and multi-scale information fusion
arxiv.org·2d
🧠Machine Learning
Posture-Driven Action Intent Inference for Playing style and Fatigue Assessment
arxiv.org·18h
📊Learned Metrics
CytoSAE: Interpretable Cell Embeddings for Hematology
arxiv.org·18h
🧠Machine Learning
Developing Visual Augmented Q&A System using Scalable Vision Embedding Retrieval & Late Interaction Re-ranker
arxiv.org·18h
🧮Vector Embeddings
Unveiling the Visual Rhetoric of Persuasive Cartography: A Case Study of the Design of Octopus Maps
arxiv.org·18h
📄PostScript
RegCL: Continual Adaptation of Segment Anything Model via Model Merging
arxiv.org·18h
✨Effect Handlers
Stop Failing at Environment Setup. A Complete Guide to GitHub Codespaces for Non-Engineers
dev.to·12h·
Discuss: DEV
🦋Format Metamorphosis
CoCre-Sam (Kokkuri-san): Modeling Ouija Board as Collective Langevin Dynamics Sampling from Fused Language Models
arxiv.org·18h
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap