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

The Case for Case Insensitivity (2005)
blog.codinghorror.com·4d·
Discuss: Hacker News
💻Programming languages
Show HN: Understanding the Spatial Web Browser Engine
m-creativelab.github.io·5d·
Discuss: Hacker News, r/webdev
🎬WebCodecs
SuperSight: A graphical enhancement mod for Brøderbund's "Stunts"
marnetto.net·4d·
Discuss: Hacker News
🎮Game Decompilation
Book Review: The Math Academy Way
ijfen.substack.com·3d·
Discuss: Substack
📚Proof Pedagogy
Can a Green Cryptocurrency Replace Bitcoin?
hackernoon.com·1h
🔗Blockchain Archives
Remember floppy disks? This YouTuber set out to build his own from scratch - see how he got on
techradar.com·21h
🧪Cassette Hacks
Using lasers to bring crystal vibrations to their quantum ground state
phys.org·2d
⚛️Quantum Tape
Ask HN: Are foreign key constraints still useful?
news.ycombinator.com·4d·
Discuss: Hacker News
🗄️Database Internals
How I built an App in two weeks and what this means
vibe.forem.com·5d·
Discuss: DEV
🌀Brotli Internals
"I Want My Chart to Be Just for Me": Community-Engaged Design to Support Outpatient Healthcare for Resettled Communities
arxiv.org·2d
🌍Cultural Computing
Wondering if this Minecraft server and personal website setup makes sense
reddit.com·3d·
Discuss: r/homelab
🏠Homelab Federation
Tim Cook Highlights Apple’s Vision for Groundbreaking Technology Advancements
dev.to·13h·
Discuss: DEV
🍎Apple Computing
Layer-Wise Analysis of Self-Supervised Representations for Age and Gender Classification in Children's Speech
arxiv.org·2d
🎙️Whisper
🚀AI + Crypto: The Collision That Could Redefine the Internet
dev.to·2d·
Discuss: DEV
🔗Hash Chains
I'm Building an AI Agent to Write My Unit Tests
dev.to·3d·
Discuss: DEV
⚡Proof Automation
The Urgency of Open Source AI
dev.to·3d·
Discuss: DEV
🔓Open Source Software
Pareto Multi-Objective Alignment for Language Models
arxiv.org·5d
🔗Monadic Parsing
PROPS: Progressively Private Self-alignment of Large Language Models
arxiv.org·5d
💻Local LLMs
GS4Buildings: Prior-Guided Gaussian Splatting for 3D Building Reconstruction
arxiv.org·5d
🏺Computational Archaeology
Jumping into setting up a Homelab
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
Loading...Loading more...
AboutBlogChangelogRoadmap