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

Can You Meet Me at the Mall?
thefiddler.substack.com·1d·
Discuss: Substack
🎯Interactive Provers
OCC 2025 - Protoweb and Browservice web proxies
82mhz.net·19h
🕸️WASM Archives
Some Early Tests and Notes on ChatGPT Agent
macstories.net·2h
🎙️Whisper
Why you should choose HTMX for your next web-based side project (2024)
hamy.xyz·4h·
Discuss: Hacker News
🕸️WebAssembly
Show HN: Souko.ai – Web scraping, search and extraction APIs for AI workflows
souko.ai·1d·
Discuss: Hacker News
📥Feed Aggregation
Billions of Edges per Second with Postgres
onesparse.com·4d·
Discuss: Hacker News
🗜️Graph Compression
OrioleDB fastpath search (faster random key lookups for PostgreSQL)
orioledb.com·1d·
Discuss: Hacker News
🗃️Database Storage
Super Performance
cpj.fyi·13h·
Discuss: Hacker News
🔗Data Provenance
The great misunderstanding of the DRY principle
pmatteo.com·5d·
Discuss: Hacker News
💧Liquid Types
Day 33/100: Counter, defaultdict, and OrderedDict in Python
dev.to·5h·
Discuss: DEV
📝Concrete Syntax
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·2d
🔲Cellular Automata
Toxicity-Aware Few-Shot Prompting for Low-Resource Singlish Translation
arxiv.org·2d
🎙️Whisper
[D] What are the knowledge background and skills needed to develop and contribute to projects like Unsloth?
reddit.com·1d·
Discuss: r/MachineLearning
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Mapping Emotions in the Brain: A Bi-Hemispheric Neural Model with Explainable Deep Learning
arxiv.org·1d
🧠Neural Codecs
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·3d·
Discuss: DEV
📝Concrete Syntax
[P] XPINN Toolkit
reddit.com·2d·
Discuss: r/MachineLearning
📻Homebrew Protocols
[$] How to write Rust in the kernel: part 3
lwn.net·1d
🔩Systems Programming
5 Essential Python Design Patterns for Scalable and Efficient Code
dev.to·1d·
Discuss: DEV
🧩WASM Components
Creating an AI Study Buddy Assistant with Google AI Studio
dev.to·1d·
Discuss: DEV
⚡Proof Automation
An Epistemic and Aleatoric Decomposition of Arbitrariness to Constrain the Set of Good Models
arxiv.org·4d
🔲Proof Irrelevance
Loading...Loading more...
AboutBlogChangelogRoadmap