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

Resource Awareness, Session Types, Proof Nets, Substructural Logic

NixOS PostgreSQL Major Version Upgrade
kevincox.ca·1d
🧬PostgreSQL Forensics
DEF CON 33: Field Notes on AI Security, AI Red Teaming, and the Road Ahead
hackerone.com·4d
⚔️Lean Tactics
Cozette
github.com·1d
🔠Terminal Fonts
“Pity the Poor Reader”
dailynous.com·17h
🏛Digital humanities
A Better Way to Think About AI
theatlantic.com·1d·
Discuss: Hacker News, Hacker News
🔲Cellular Automata
Ancestry used to need 9 months to scan census records and make connections for users. AI cut it to under 9 days.
businessinsider.com·1d
📜Family History Data
Elon Musk and xAI are suing Apple and OpenAI because Grok isn't topping the app charts
engadget.com·11h
🍎XNU Internals
NVIDIA Jetson AGX Thor Developer Kit Hands-on Blackwell for Robotics
servethehome.com·13h·
Discuss: Hacker News
🖥️Modern Terminals
What is ASPM? Everything You Need to Know
boostsecurity.io·1d
🛡️CLI Security
Light At The End Of The AI Bottleneck: Pre-Commercial Poet Technologies Stock Is Buyable
seekingalpha.com·1d
🖥️Modern Terminals
Bridging My Wikimania Knowledge: From 2024 to 2025
diff.wikimedia.org·1d
📇Dublin Core
I Built a Tool to Stop Explaining My Codebase to AI Every Single Time
dev.to·5d·
Discuss: DEV
⚡Proof Automation
AeroDuo: Aerial Duo for UAV-based Vision and Language Navigation
arxiv.org·4d
🤖Advanced OCR
How Python Software Enhances Post Construction Cleaning
dev.to·10h·
Discuss: DEV
🔄Document Workflows
Peeking Under the Hood of Claude Code
medium.com·5d·
Discuss: Hacker News
🌳Incremental Parsing
TASER: Table Agents for Schema-guided Extraction and Recommendation
arxiv.org·6d
🔍Information Retrieval
A Fuzzy-Enhanced Explainable AI Framework for Flight Continuous Descent Operations Classification
arxiv.org·5d
🧠Machine Learning
A Cost-Effective Framework for Predicting Parking Availability Using Geospatial Data and Machine Learning
arxiv.org·5d
🧠Machine Learning
Automated Aesthetic Valuation via Multi-Modal Hypergraph Analysis & Dynamic Market Simulation
dev.to·4d·
Discuss: DEV
🤖AI Curation
HebID: Detecting Social Identities in Hebrew-language Political Text
arxiv.org·4d
📋Document Grammar
Loading...Loading more...
AboutBlogChangelogRoadmap