🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧮 Programming Language Theory

Type Systems, Lambda Calculus, Semantics, Monads

Former Nebraska high school stars on NCAA Division I volleyball rosters
omaha.com·4h
🎲Probabilistic Programming
Snag this standalone Apple Watch puck with USB-C and Lightning ports while it’s $11.50 Prime shipped
9to5toys.com·51m
📦WebAssembly
I Found the Best Automation Tool That’s Free, Open Source, and Can Be Self-Hosted
maketecheasier.com·2h
🔌Network Programming
Students who cheat are more likely to use generative AI tools for academic work, study finds
the-decoder.com·1d
🧭SMT Solvers
ChatGPT Is Everywhere, But What Can It Do and How Does It Work?
pcmag.com·3d
🤖Sci-Fi
AI Agents: Why the Hype Feels Wrong to an Old Programmer
nimishg.substack.com·2d·
Discuss: Substack
🧩Theorem Proving
twin brides
reddit.com·2h·
Discuss: r/creepypasta
🧫Cellular Automata
You Suck at "Vibe Coding" Because You Suck at Coding
news.ycombinator.com·1d·
Discuss: Hacker News
🔗Parser Combinators
SPL Lightweight Multisource Mixed Computation Practices
github.com·5d·
Discuss: Hacker News, r/programming
🌍Distributed Systems
Gaslamp Fantasy, Jodi Taylor, & More
smartbitchestrashybooks.com·2h
🔄Category Theory
GeoAI.js: tiny models for Satellite and Drone data
github.com·58m·
Discuss: Hacker News
🦀Rust
Computer Networks Graduation Project
reddit.com·1d·
Discuss: r/rust
🔌Network Programming
I’m building a TUI framework in Go inspired by React/Flutter. Looking for feedback
github.com·2d·
Discuss: r/golang
⚙Functional Programming
Show HN: Open-Source Agentic AI for Company Research
github.com·4h·
Discuss: Hacker News
🎲Probabilistic Programming
🚀 I Created OctaneDB – The Lightning-Fast Python Vector Database!
dev.to·2d·
Discuss: DEV
🗄️Database Theory
DEPTH: Hallucination-Free Relation Extraction via Dependency-Aware Sentence Simplification and Two-tiered Hierarchical Refinement
arxiv.org·4d
🔗Parser Combinators
Is Prompt Engineering Just Hype for Now?
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
SLM4Offer: Personalized Marketing Offer Generation Using Contrastive Learning Based Fine-Tuning
arxiv.org·3d
🎲Probabilistic Programming
From Logic to Linear Algebra: How AI is Rewiring the Computer
dev.to·1d·
Discuss: DEV
🏗Computer Architecture
Copilot - VSCode
reddit.com·2d·
Discuss: r/roguelikedev
🦀Rust
Loading...Loading more...
AboutBlogChangelogRoadmap