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

I ban users from my repositories
willmcgugan.github.io·1d·
Discuss: Hacker News
📰RSS Reading Practices
Intravert, extravert, otrovert? There's a new personality type in town
newscientist.com·1d
⬜Minimalism
I finally finished my Homelab! Built in a Rackmate T1
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Re:Verse -- Can Your VLM Read a Manga?
arxiv.org·1d
📄Document Streaming
Automated Prognostics & Health Management for Starship Service Module Thermal Control System via Bayesian Dynamic Networks
dev.to·14h·
Discuss: DEV
🛡️Error Boundaries
Exploiting Krylov Subspace Methods for Real-Time Sparse Linear Systems in High-Dimensional Signal Processing
dev.to·3d·
Discuss: DEV
⚡SIMD Vectorization
AI-Driven Predictive Modeling of TCR-T Cell Exhaustion Resistance via Multi-Modal Data Integration
dev.to·3d·
Discuss: DEV
✨Effect Handlers
Show HN: Enter your domain and my open-source agent will hack it
github.com·3d·
Discuss: Hacker News, r/SoftwareEngineering
🎫Kerberos Exploitation
Pushdown Reward Machines for Reinforcement Learning
arxiv.org·2d
🔲Cellular Automata
The Equality Delete Problem in Apache Iceberg
blog.dataengineerthings.org·2d·
Discuss: Hacker News
🗄️PostgreSQL WAL
Fine-Tuning ResNet-18 with TensorFlow Model Garden for CIFAR-10 Classification
hackernoon.com·2d
🧠Neural Codecs
Building a Production-Ready Weather MCP Server with Clean Architecture, Redis Cache, and SOLID Principles | Complete Guide
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
How We're Building a Decentralized App Store for AI Agents on Web3
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
A Dark Mirror Universe May Be Hiding Right Next Door, Scientists Say
popularmechanics.com·1d
⏰Time Crystals
6 Impossible Puzzles With Surprising Solutions
mindyourdecisions.com·4d
🔲Cellular Automata
Pragmatics beyond humans: meaning, communication, and LLMs
arxiv.org·3d
🎭Cultural Informatics
Building a Neural Network is Easy. The Hard Part is Making It Think
dev.to·3d·
Discuss: DEV
🎧Learned Audio
Med-GRIM: Enhanced Zero-Shot Medical VQA using prompt-embedded Multimodal Graph RAG
arxiv.org·2d
🔍Information Retrieval
Goal Discovery with Causal Capacity for Efficient Reinforcement Learning
arxiv.org·22h
🔲Cellular Automata
Bringing agentic Retrieval Augmented Generation to Amazon Q Business
aws.amazon.com·8h
🌊Streaming Systems
Loading...Loading more...
AboutBlogChangelogRoadmap