๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
โš™๏ธ Operational Semantics

Small-step Semantics, Reduction Relations, Programming Language Theory, Formal Methods

How ChatGPT Claude interprets my blog
thomasrigby.comยท4d
๐Ÿ Personal Archives
Small world: The revitalization of small AI models for cybersecurity
news.sophos.comยท4d
๐Ÿ’ปLocal LLMs
Capturing the Invisible Art of Scientific Practice
blog.cultivarium.orgยท2dยท
Discuss: Hacker News
๐Ÿ”„Archival Workflows
Interfaces That Augment or Replace?
zehfernandes.comยท3dยท
Discuss: Hacker News
๐Ÿ“ŸCLI Design
Your name is still on it
sanitarium.seยท2dยท
Discuss: Hacker News
โšกProof Automation
EFeru/hoverboard-firmware-hack-FOC
github.comยท8h
โš™๏ธTape Mechanics
Clarifying "AI First" โ€“ What It Means for Rsyslog
rsyslog.comยท2dยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
TrailTrace: Go-based GPMF parser compiled to WebAssembly to explore GoPro metadata in the browser
reddit.comยท15hยท
Discuss: r/golang
๐Ÿ•ธ๏ธWebP Analysis
[P] Sub-millisecond GPU Task Queue: Optimized CUDA Kernels for Small-Batch ML Inference on GTX 1650.
reddit.comยท19hยท
Discuss: r/MachineLearning
๐Ÿ“ŠPerformance Profiling
How to Make Docker Builds Faster with Layer Caching
hackernoon.comยท2d
๐ŸšShell Optimization
Event-Driven Architecture: Building Flexible and Scalable Systems day 12 of learning system design
dev.toยท2dยท
Discuss: DEV
๐ŸŒŠStreaming Systems
Tackling the AI-Fueled API Explosion With Visibility
devops.comยท1d
๐Ÿ”ŒInterface Evolution
Local Dev Environment Is a Product. Treat It Like One
medium.comยท3dยท
Discuss: Hacker News
๐ŸšNordic Shell
MCP Servers That I Use as a Technical Founder
dev.toยท18hยท
Discuss: DEV
๐Ÿ”ฉSystems Programming
RAG Chatbot - MoviesGPT
dev.toยท2dยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Removing Box-Free Watermarks for Image-to-Image Models via Query-Based Reverse Engineering
arxiv.orgยท2d
๐Ÿ‘๏ธPerceptual Hashing
Understood: Real-Time Communication Support for Adults with ADHD Using Mixed Reality
arxiv.orgยท2d
๐Ÿ›Digital humanities
โš–๏ธ Chapter 4: Merits & Demerits โ€” The Duality of Intelligence
dev.toยท5hยท
Discuss: DEV
๐ŸŒCultural Algorithms
SV3.3B: A Sports Video Understanding Model for Action Recognition
arxiv.orgยท2d
๐Ÿ‘๏ธPerceptual Hashing
LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
arxiv.orgยท3d
๐Ÿค–Lisp Machines
Loading...Loading more...
AboutBlogChangelogRoadmap