๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ—๏ธ Constructive Logic

Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory

G 1/24 in the spotlight: Description definitions do not override clear claim language (T 1999/23)
ipkitten.blogspot.comยท1dยท
Discuss: ipkitten.blogspot.com
๐Ÿ“‹Swedish Patents
Fascinating Discoveries are Waiting Just Below the Surface: A Journey into Geocoding with Sabrina Templeton
blogs.loc.govยท2d
๐Ÿ“šMARC Records
Shaped vs. Algolia: The Definitive Guide for Engineering & Product Teams
shaped.aiยท2d
๐ŸŒ€Brotli Internals
The WebSocket Protocol Explained
sachin9996.github.ioยท1dยท
Discuss: Hacker News
๐ŸŒWebSocket Framing
Understanding Error Handling with Defer in Go: A Deep Dive
zerotohero.devยท1dยท
Discuss: Hacker News
โš–๏ธHoare Logic
Total Body Disruption
en.wikipedia.orgยท3hยท
Discuss: Hacker News
๐ŸŒก๏ธArchive Thermodynamics
Holy Shit. I built the X post generator
twyg.vercel.appยท1dยท
Discuss: Hacker News
๐Ÿ›Digital humanities
Building a Game Engine Solo โ€“ Lessons Learned, Bad Decisions, and Surprising Wins
coffeecupentertainment.comยท1dยท
Discuss: Hacker News, r/programming
๐Ÿ–ฅ๏ธTerminal Renaissance
Ever been jolted awake at 3 AM by a PagerDuty alert, only to fix something you knew couldโ€™ve been automated?
reddit.comยท1dยท
Discuss: r/kubernetes
๐Ÿ Home Automation
Clarifying "AI First" โ€“ What It Means for Rsyslog
rsyslog.comยท15hยท
Discuss: Hacker News
๐Ÿ‘๏ธSystem Observability
The unique, mathematical shortcuts language models use to predict dynamic scenarios
news.mit.eduยท4d
๐ŸŒฒParse Trees
@thedrlambda8148 on How to Improve your Approach to Developing
youtube.comยท2d
๐Ÿฆ€Rust Macros
From Listings to Intelligence: How MLS Platforms Are Evolving with the Help of AI
dev.toยท15hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
DARE: Diverse Visual Question Answering with Robustness Evaluation
arxiv.orgยท3d
๐Ÿ›Digital humanities
Glitches in Decision Tree Ensemble Models
arxiv.orgยท3d
๐ŸŒธBloom Variants
Radiological and Biological Dictionary of Radiomics Features: Addressing Understandable AI Issues in Personalized Breast Cancer; Dictionary Version BM1.0
arxiv.orgยท2d
๐Ÿง Machine Learning
Post-Disaster Affected Area Segmentation with a Vision Transformer (ViT)-based EVAP Model using Sentinel-2 and Formosat-5 Imagery
arxiv.orgยท1d
๐Ÿค–Advanced OCR
HumanMaterial: Human Material Estimation from a Single Image via Progressive Training
arxiv.orgยท20h
๐Ÿ“ŠLearned Metrics
Efficient Computer's Electron E1 CPU
morethanmoore.substack.comยท1dยท
Discuss: Substack
๐Ÿ–ฅ๏ธHardware Architecture
A Simple "Try Again" Can Elicit Multi-Turn LLM Reasoning
arxiv.orgยท3d
๐Ÿ”ฒCellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap