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

Remembering the Life and Work of Richard Streit Hamilton: Memorial on 9/28/25
math.columbia.edu·18h
📚Archive Mathematics
Show HN: Eternal Vault, E2EE Estate Platform Using Shamir's Secret Sharing
eternalvault.app·1d·
Discuss: Hacker News
🏠Personal Archiving
Claude Code turned a 3-week project into a 2-day task — but nearly broke it
businessinsider.com·16h
🌳Incremental Parsing
Forgotten AI Research Solved The Problem Photoshop Never Could!
youtube.com·1d
⟷Bidirectional Programming
Evaluating LLMs Playing Text Adventures
entropicthoughts.com·3d·
Discuss: Lobsters, Hacker News
🎯Emulator Accuracy
Show HN: Generative Graphics LLM Benchmark
ggbench.com·4d·
Discuss: Hacker News
🖥️Terminal Emulators
DM-PCACHE Poised For Linux 6.18 As High Throughput, Low Latency DAX Cache
phoronix.com·20h
⚡Cache Coherence
Apatite: The mineral with bite and insight
phys.org·16h
🦴Database Paleontology
I used GPT-5 to code a Fantasy Premier League program, and I might actually stand a chance of winning my draft this year thanks to ChatGPT
techradar.com·1d
⚡Proof Automation
Show HN: Wrote a small tool that turns PDFs and docs into fine-tuning datasets
github.com·1d·
Discuss: Hacker News
🤖Archive Automation
AWS IAM Permission Limit Management: Another Often Forgotten Layer of Security
hackernoon.com·2d
🔒WASM Capabilities
The Breach You Didn’t See Coming: How Invisible Combinations of Risk Are Exposing Your Organization
tenable.com·3d
🔓Hacking
Microsoft and the Rise of the Full-Stack Builder
thenewstack.io·1d
🔌Interface Evolution
Crafting Aspedan: Our Vision, Development Journey, and Ambitions
dev.to·20h·
Discuss: DEV
⚡gRPC
Design Review: LattePanda Mu NAS Carrier
hackaday.com·3d
⚡Circuit Archaeology
Estimating carbon pools in the shelf sea environment: reanalysis or model-informed machine learning?
arxiv.org·1d
🧠Machine Learning
TAB:- The Assistant Bot
dev.to·1d·
Discuss: DEV
⚡Proof Automation
From black box to glass box
dev.to·2d·
Discuss: DEV
👁️System Observability
KIRETT: Knowledge-Graph-Based Smart Treatment Assistant for Intelligent Rescue Operations
arxiv.org·4d
🗂️Information Architecture
source-foundry/Hack
github.com·6h
🔠Terminal Fonts
Loading...Loading more...
AboutBlogChangelogRoadmap