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

Intuitionistic Logic, Bishop Analysis, Computable Reals, Proof Relevance

OCC 2025 - Protoweb and Browservice web proxies
82mhz.net·15h
🕸️WASM Archives
This “smart coach” helps LLMs switch between text and code
news.mit.edu·2d
💻Local LLMs
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·2d·
Discuss: Hacker News
✨Algebraic Effects
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·2d·
Discuss: Hacker News
🏛Digital humanities
Show HN: Souko.ai – Web scraping, search and extraction APIs for AI workflows
souko.ai·21h·
Discuss: Hacker News
📥Feed Aggregation
Book Notes: The Dark Art of Linear Algebra by Seth Braver — Chapter 1 Review
ruslanspivak.com·4d
📐Mathematical Art
MUPAX: Multidimensional Problem Agnostic eXplainable AI
arxiv.org·1d
🧠Machine Learning
How Kiro Supercharged My NLP Project 🚀 kiro
dev.to·5h·
Discuss: DEV
🌀Brotli Internals
Machine Learning Fundamentals: dropout project
dev.to·22h·
Discuss: DEV
🌊Stream Processing
Creating an AI Study Buddy Assistant with Google AI Studio
dev.to·1d·
Discuss: DEV
⚡Proof Automation
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·2d
🗂️Vector Databases
Life Finds A Way: Emergence of Cooperative Structures in Adaptive Threshold Networks
arxiv.org·1d
🔲Cellular Automata
Early Detection of Furniture-Infesting Wood-Boring Beetles Using CNN-LSTM Networks and MFCC-Based Acoustic Features
arxiv.org·1d
🎧Learned Audio
From Novelty to Imitation: Self-Distilled Rewards for Offline Reinforcement Learning
arxiv.org·1d
📊Learned Metrics
LanePerf: a Performance Estimation Framework for Lane Detection
arxiv.org·1d
🧠Machine Learning
[D] Signal/Info Processing Vs. ML Specializations in Master-Level Programs
reddit.com·1d·
Discuss: r/MachineLearning
🧠Machine Learning
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·3d
✨Effect Handlers
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·3d
🌳Context free grammars
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·1d·
Discuss: Hacker News
🔐Quantum Security
Context Engineering for AI Agents: Key Lessons from Manus
dev.to·5h·
Discuss: DEV
🏗️Compiler Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap