๐Ÿฟ๏ธ 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

A real PowerBook: the Macintosh Application Environment on a PA-RISC laptop
oldvcr.blogspot.comยท11hยท
Discuss: oldvcr.blogspot.com
๐Ÿ–ฅ๏ธVintage Macintosh
Changing of the guard: Anthropic new AI market leader among US companies
heise.deยท1d
๐Ÿ”„Language Evolution
China - Threat Profile (Activity covering May through July, 2025)
cstromblad.comยท21h
๐Ÿ‡จ๐Ÿ‡ณChinese Computing
Dining across the divide: โ€˜Wait a minute, you vote Reform and you read the Guardian?โ€™
theguardian.comยท7h
๐Ÿ“ABNF Parsing
Perfect Graph Modification Problems: An Integer Programming Approach
arxiv.orgยท4d
๐Ÿ”—Graph Isomorphism
crossfire-v2.0.14: it's 2x faster than v2.0.0 (with benchmark against Kanal)
reddit.comยท23hยท
Discuss: r/rust
๐Ÿ–ฅ๏ธGame Emulation
The whole AI hype thing, just something Iโ€™ve been thinking about
reddit.comยท1dยท
Discuss: r/kubernetes
๐Ÿ“ŸVintage Protocols
Introducing 'spec` โ€” A Lightweight, Framework-Agnostic OpenAPI 3.x Generator for Go
reddit.comยท1dยท
Discuss: r/golang
๐ŸŒWeb Standards
T-Detect: Tail-Aware Statistical Normalization for Robust Detection of Adversarial Machine-Generated Text
arxiv.orgยท2d
๐Ÿ”Character Forensics
Python Push to List: append, extend, insert Explained
dev.toยท23hยท
Discuss: DEV
๐Ÿ”—Concatenative Programming
Adversarial-Guided Diffusion for Multimodal LLM Attacks
arxiv.orgยท2d
๐Ÿ•ต๏ธVector Smuggling
Top 10 Python Libraries Every DevOps Engineer Should Master (With Use Cases & Code)
dev.toยท1dยท
Discuss: DEV
๐Ÿ Homelab Orchestration
Automatic Classification of User Requirements from Online Feedback -- A Replication Study
arxiv.orgยท4d
๐Ÿ“ŠFeed Optimization
Teaching Language Models To Gather Information Proactively
arxiv.orgยท4d
๐ŸŽ™๏ธWhisper
Deciphering interventional dynamical causality from non-intervention complex systems
arxiv.orgยท2d
โœจEffect Handlers
Automated Catamorphism Synthesis for Solving Constrained Horn Clauses over Algebraic Data Types
arxiv.orgยท5d
๐ŸงฎSMT Solvers
What kind of motherboards do you like?
forums.anandtech.comยท2d
๐Ÿ”ŒOperating system internals
Python Fundamentals: concurrency
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStream Processing
The Problem with Safety Classification is not just the Models
arxiv.orgยท4d
๐Ÿ“ABNF Parsing
How OpenRouter Unlocked Our Workshop Strategy
dev.toยท4dยท
Discuss: DEV
๐Ÿ”“Open Source Software
Loading...Loading more...
AboutBlogChangelogRoadmap