🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Type Theory

Dependent Types, Linear Types, Effect Systems, Hindley-Milner

The Economist’s finance and economics internship
economist.com·14h
💻programming
Archaeological Fiction and a Scientist’s Dilemma
sapiens.org·18h
🔄Async Rust
Show HN: AI-powered video analysis tool that generates 800 word content prompts
video2prompt.org·2h·
Discuss: Hacker News
💻programming
7 Mindful Quotes for Those Moments When You’re Taking Things Personally
marcandangel.com·2h
💻programming
Boggle Roundup: My Fifteen Minutes of Fame
danvk.org·2d
🦀Rust
The Words Humans Use to Describe Nature Are Vanishing, Study Finds
sciencealert.com·2d
🐪ocaml
Muhammad Azeez - The Agent Builder's Reading List: What Actually Matters
mazeez.dev·2d·
Discuss: Hacker News, r/programming
🦀Rust
Looking for DSP/embedded dev advice on real-time pitch stabilization (Teensy/STM32 level, not VST)
i.redd.it·2h·
Discuss: r/embedded
🦀Rust
AI code editors and assistants for 2025
lexingtonthemes.com·20h·
Discuss: r/javascript
💻programming
OpenAI, Anthropic Test Each Other’s AI Models
nordot.app·10h
🦀Rust
New ByteDance Seed reasoning RL paper, relating RL to self-supervised learning.
threadreaderapp.com·5d
🔧functional programming languages
How LLMs Learn to Solve Complex Math
hackernoon.com·4d
🐪ocaml
Real-Time AR Gesture Recognition for Remote Expert-Assisted Repair
dev.to·2h·
Discuss: DEV
💻programming
Washington Journal Lisel Petis : CSPAN : August 27, 2025 7:37pm-7:47pm EDT
archive.org·4h
🦀Rust
How AI is exposing the BS economy
fastcompany.com·18h
💻programming
ipfs/kubo v0.37.0
github.com·8h
🦀Rust
Finished Python — not sure if I should go into ML, Web Dev, or Cybersecurity next
reddit.com·3d·
Discuss: r/AskProgramming
🦀Rust
TanStack Start: light, dark, and system theme without flickers
dev.to·2d·
Discuss: DEV
🦀Rust
AI as IA: The use and abuse of artificial intelligence (AI) for human enhancement through intellectual augmentation (IA)
arxiv.org·2d
💻programming
AI Made Simple: Understanding LLMs, RAG, and MCP Servers 🤖
dev.to·20h·
Discuss: DEV
🦀Rust
Loading...Loading more...
AboutBlogChangelogRoadmap