🐿️ 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
Adding OCR support to the local translator
blog.davidv.dev·59m
⟷Bidirectional Programming
Some Early Tests and Notes on ChatGPT Agent
macstories.net·6h
🎙️Whisper
Why you should choose HTMX for your next web-based side project (2024)
hamy.xyz·8h·
Discuss: Lobsters, Hacker News
🕸️WebAssembly
First-Hand:The AT&T Bellmac-32 Microprocessor Development
ethw.org·2h·
Discuss: Hacker News
⚡Circuit Archaeology
Reinforcement Learning with Nvidia NeMo-RL
nvidia-nemo.github.io·3h·
Discuss: Hacker News
📊Quantization
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
The great misunderstanding of the DRY principle
pmatteo.com·5d·
Discuss: Hacker News
💧Liquid Types
[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
Day 33/100: Counter, defaultdict, and OrderedDict in Python
dev.to·9h·
Discuss: DEV
📝Concrete Syntax
Show HN: DOMTranslator package to translate text nodes in DOM
github.com·5h·
Discuss: Hacker News
📝Text Compression
[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
5 Essential Python Design Patterns for Scalable and Efficient Code
dev.to·1d·
Discuss: DEV
🧩WASM Components
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·3d·
Discuss: DEV
📝Concrete Syntax
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
Ask HN: Where is Git for my Claude Code conversations?
news.ycombinator.com·1h·
Discuss: Hacker News
🏗️Compiler Archaeology
MediaMind AI - Intelligent Content Discovery Platform with Algolia MCP Server
dev.to·3d·
Discuss: DEV
🧭Content Discovery
Loading...Loading more...
AboutBlogChangelogRoadmap