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

Argentina make history with first home win against New Zealand in Rugby Championship
theguardian.comΒ·8h
πŸ‡ΈπŸ‡ͺSwedish Cryptanalysis
In a tough job market for new workers, networking and adaptability can make a difference
the-independent.comΒ·2d
πŸ—ΊοΈCompetency Maps
Everton’s new stadium makes Premier League bow, Forest turmoil and more – matchday live
theguardian.comΒ·2h
πŸ‘‘Isabelle
Your Connection, Their Cash: Threat Actors Misuse SDKs to Sell Your Bandwidth
unit42.paloaltonetworks.comΒ·2d
🌐DNS Security
The Fallacies of Management – The Network Is Reliable
xangelo.medium.comΒ·4dΒ·
Discuss: Hacker News
🀝Distributed Consensus
Notes require regular gardening
hamatti.orgΒ·4d
🌱Personal Wikis
Ruben Amorim faces more pressure despite reasons for optimism for United | Jonathan Wilson
theguardian.comΒ·14h
πŸ”Systems Hardening
Julia Schell scores six tries as Canada thrash Fiji in Women’s Rugby World Cup
theguardian.comΒ·14h
πŸ‡ΈSweden
College Student & Course Management System
dev.toΒ·3dΒ·
Discuss: DEV
πŸ’ΎDatabase Formats
Our approach to energy innovation and AI’s environmental footprint
blog.googleΒ·2dΒ·
Discuss: Hacker News
πŸ€–AI Curation
LM Agents May Fail to Act on Their Own Risk Knowledge
arxiv.orgΒ·4d
🎯Threat Hunting
I am the CTO of Ordnance Survey and this is how this 230 year old organization is embracing AI
techradar.comΒ·3d
🏴󠁧󠁒󠁳󠁣󠁴󠁿Scottish Computing
The Unseen Battleground: An Architect’s Retro on Streaming 1 Billion Minutes of Live Sports
hackernoon.comΒ·4d
🌊Streaming Systems
Automated Formulation Optimization for Enhanced Contact Lens Solution Biofilm Control via Predictive Modeling
dev.toΒ·2dΒ·
Discuss: DEV
πŸ“„Document Digitization
The Secret Behind RAG AI Agents and How to Build in n8n
dev.toΒ·1dΒ·
Discuss: DEV
πŸŒ€Brotli Internals
Dynamic Organizational Resilience Assessment via Multi-Modal Data Fusion & HyperScore Evaluation
dev.toΒ·5dΒ·
Discuss: DEV
🎯Recommendation Metrics
LLM Siri: The Complete Guide to Apple's AI Assistant Overhaul Coming in 2026
macrumors.comΒ·1d
πŸ”„Language Evolution
Tommy Fleetwood takes a share of the lead at Tour Championship in Atlanta
the-independent.comΒ·1d
βœ…Format Verification
Automated Assessment of Aesthetic Outcomes in Facial Plastic Surgery
arxiv.orgΒ·4d
πŸŒ€Differential Geometry
TinyTim: A Family of Language Models for Divergent Generation
arxiv.orgΒ·6d
πŸŒ€Brotli Internals
Loading...Loading more...
AboutBlogChangelogRoadmap