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

Alexa+ preview: An almost philosophical exercise
engadget.com·1d
🎯Recommendation Metrics
Debugging the Tradecraft Garden
rastamouse.me·1d
🔍RISC-V Debug
fossas/fossa-cli
github.com·1d
🔗Dependency Resolution
When Memcpy Betrays You: A Lesson in Overlapping Buffers and Ancient Toolchains
blog.mycal.net·13h·
Discuss: Hacker News
🧠Separation Logic
Open-Source RISC-V Peripheral Challenge
tinytapeout.com·1d·
Discuss: Hacker News
🔌Single Board PC
Hitting the Brakes on Claude Code
preslav.me·11h·
Discuss: Hacker News
🗜️LZW Variants
Software Ray Tracer in GO - Multi-threaded(Goroutines)
reddit.com·2d·
Discuss: r/golang
⟷Bidirectional Programming
C# Packages Find a New Home in .NET 8 - Godot Engine
hackernoon.com·11h
🔓Open Source Software
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
Show HN: LLMs suck at writing integration code… for now
github.com·2d·
Discuss: Hacker News
⚙️PL Implementation
Show HN: Blueboots – A retro themed Fedora OS built with one Containerfile
github.com·2d·
Discuss: Hacker News
🔌Operating system internals
Scaling AI Inference at the Edge With Distributed PostgreSQL
thenewstack.io·5d
🤝Distributed Consensus
arwen - cross-platform patching of the shared libraries ( patchelf && install_name_tool in rust)
reddit.com·19h·
Discuss: r/rust
🦀Rust Macros
Using a Decision Tree to Find the Tipping Point for Elite MLB Hitters
runningonnumbers.com·3d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
Inside AgentUp: The Architecture That Makes AI Agents Actually Work
dev.to·2d·
Discuss: DEV
🤖Network Automation
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·3d
✅Format Verification
Neural Corrective Machine Unranking
arxiv.org·2d
🧠Learned Indexing
Machine Learning Fundamentals: feature engineering
dev.to·4d·
Discuss: DEV
🌊Stream Processing
Loading...Loading more...
AboutBlogChangelogRoadmap