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

The new macOS Tahoe Evening, Morning, and Night wallpapers
lowendmac.com·15h
🍎Apple Archive
AWS's sudden removal of a 10-year account and all of its data: lessons learned
suramya.com·1d·
Discuss: Hacker News
🌐Edge Preservation
Genius, Rejected: Emergent Ventures Versus the System
marginalrevolution.com·5d·
Discuss: Hacker News
🏗️Constructive Analysis
Show HN: AI Tool Writes Your Stories 10x Faster
aistoryspark.online·1d·
Discuss: Hacker News
📰Feed Readers
Hacking Diffusion into Qwen3 for the Arc Challenge
matthewnewton.com·4d·
Discuss: Hacker News
⚡Incremental Computation
A Bilingual Benchmark Dataset and Evaluation Framework
thedailypimp.blogspot.com·2d·
Discuss: Hacker News
🎙️Whisper
Just built a tool that turns any app into a windows service - fully managed alternative to NSSM
github.com·17h
🔄Sync Engine
How Can Math Protect Our Data?
quantamagazine.org·2d·
Discuss: Hacker News
⚛️Quantum Error Correction
Red Teams Jailbreak GPT-5 with Ease, Warn It's 'Nearly Unusable' for Enterprise
securityweek.com·1d·
Discuss: Hacker News
🔓Hacking
Dynamic PL/SQL Procedures: What They Are and How to Use Them
dev.to·1d·
Discuss: DEV
🧩SQLite Extensions
AI: Do or Don’t Believe the Hype
devops.com·1d
⚙️Proof Engineering
Open Sourced: ML Interview Questions and Job List (Ranked by Comp and Culture)
github.com·4d·
Discuss: Hacker News
🧠Machine Learning
Show HN: Blueprint, a desktop app to guard against rogue LLMs
github.com·2d·
Discuss: Hacker News
🔌Interface Evolution
Decoupled Contrastive Learning for Federated Learning
arxiv.org·2d
🧠Machine Learning
Hugging Face AI Sheets, open-source tool to vibe test models on your datasets
github.com·1d·
Discuss: Hacker News
🔌Archive APIs
Scalable Graph Neural Network Prediction of Polymer Self-Assembly Morphology
dev.to·2d·
Discuss: DEV
🕸️Algebraic Topology
LLMs - Embeddings 01
dev.to·5d·
Discuss: DEV
🧮Vector Embeddings
Breaking New Ground in Software Defect Prediction: Introducing Practical and Actionable Metrics with Superior Predictive Power for Enhanced Decision-Making
arxiv.org·2d
📏Code Metrics
Path-LLM: A Shortest-Path-based LLM Learning for Unified Graph Representation
arxiv.org·4d
🕸️Graph Embeddings
Balancing Optimality and Diversity: Human-Centered Decision Making through Generative Curation
arxiv.org·3d
🤖AI Curation
Loading...Loading more...
AboutBlogChangelogRoadmap