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

Ramírez’s Decade With Org Mode
irreal.org·19h
🐧FOSS
Three HTTP versions later, forms are still a mess
yorickpeterse.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🌐Web Standards
A PoC using Burp Bambdas to show its simplicity for Quick Wins
blog.kulkan.com·1d·
Discuss: Hacker News
🧪CBOR Fuzzing
StackSafe: Taming Recursion in Rust Without Stack Overflow
fast.github.io·3d·
Discuss: Hacker News, Hacker News
🔒Type Safety
TrailTrace: Go-based GPMF parser compiled to WebAssembly to explore GoPro metadata in the browser
reddit.com·15h·
Discuss: r/golang
🕸️WebP Analysis
Optimize for Impact: How to Stay Ahead of Gen AI and Thrive as a Data Scientist
towardsdatascience.com·2d
🧪Data science
Maybe AI Isn't Going to Replace You at Work After All
charleshughsmith.substack.com·2d·
Discuss: Substack
⚡Proof Automation
SQL Optimization Practices Episode 3: Outer Join Optimization: Proven Performance Gains
dev.to·4d·
Discuss: DEV
🚀Query Optimization
Show HN: LLMs suck at writing integration code… for now
github.com·2d·
Discuss: Hacker News
⚙️PL Implementation
America's AI Action Plan Is Pretty Good
thezvi.substack.com·1d·
Discuss: Substack
🔐Systems Hardening
Show HN: Blueboots – A retro themed Fedora OS built with one Containerfile
github.com·2d·
Discuss: Hacker News
🔌Operating system internals
Smart Document Hub - Algolia MCP Server Challenge
dev.to·23h·
Discuss: DEV
🔗Hypermedia APIs
Vibe Coding: A New App Development Approach in the Making
dev.to·3h·
Discuss: DEV
🎙️Whisper
Maybe (personal finance app) v0.6.0, post-mortem
github.com·2d·
Discuss: Hacker News, Hacker News
🔍BitFunnel
🧠 AI-Powered Quote Finder – Discover the Wisdom of Your Favorite Characters
dev.to·20h·
Discuss: DEV
🏛Digital humanities
How I Accidentally Built a Full-Stack Portfolio While Completing a Google IT Certification Project
dev.to·3d·
Discuss: DEV
🦋Format Metamorphosis
🚀 Just discovered this evening productivity hack:
dev.to·2h·
Discuss: DEV
🧠Personal Knowledge Base
AI-Powered Website Generator with ChatGPT and Next.js 15: Building SEO-Optimized Pages from Scratch (v0 Blueprint)
dev.to·2d·
Discuss: DEV
🎬WebCodecs API
Expense Coding Errors Aren’t Random—They’re Rule-Based, New Study Finds
hackernoon.com·4d
✅Format Verification
Decoding Instructional Dialogue: Human-AI Collaborative Analysis of Teacher Use of AI Tool at Scale
arxiv.org·2d
🗺️Competency Maps
Loading...Loading more...
AboutBlogChangelogRoadmap