🐿️ 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 Problem With Learning From Podcasts, According to Neuroscience
inc.comΒ·2h
πŸ”§Tooling
【FIXPO Challenge CUPιΉΏε…ε³Άε€§δΌšγ€‘εˆεΏƒθ€…ε‘γ‘γƒ•γ‚£γƒƒγƒˆγƒγ‚Ήγ‚€γƒ™γƒ³γƒˆγ€ŒFIXPO Challenge CUP」を開催
news.jpΒ·34m
πŸͺocaml
## 🧠 Solving LeetCode Until I Become Top 1% β€” Day `62`
leetcode.comΒ·3dΒ·
Discuss: DEV
πŸ’»programming
$1T Agent Interoperability in Plain Sight
news.ycombinator.comΒ·2dΒ·
Discuss: Hacker News
πŸ”„Async Rust
Developing a Custom Query Language with ANTLR and Elasticsearch
blog.scottlogic.comΒ·2d
πŸ”§functional programming languages
The Great Refactor
ifp.orgΒ·2dΒ·
Discuss: Hacker News
πŸ¦€Rust
Universal quantum computation using Ising anyons from a non-semisimple topological quantum field theory
nature.comΒ·5d
πŸ”„Async Rust
I’m Conflicted About My Love for β€œThe Secret Lives of Mormon Wives”
electricliterature.comΒ·2h
πŸͺocaml
Type-safe query keys in React Query
reddit.comΒ·3dΒ·
Discuss: r/reactjs
⚠️Error Handling
Route-based time-dependent life cycle greenhouse gas and NOβ‚“ emissions analysis of heavy-duty trucks
sciencedirect.comΒ·1d
πŸ¦€Rust
Paradigm Shifters – The Geniuses of the Information Revolution Who Rewrote the World
dev.toΒ·2dΒ·
Discuss: DEV
πŸ’»programming
Masculinity Isn’t the Problem: Rigid Expectations Are
psychologytoday.comΒ·1d
πŸ”§functional programming languages
AI Agents Are Finally Delivering on the Semantic Web’s Promise
thenewstack.ioΒ·3d
πŸ”§functional programming languages
HBAR entropy in causal diamond geometry: A near-horizon perspective
arxiv.orgΒ·2d
πŸ¦€Rust
Epistemic advantages of working as a moderate
lesswrong.comΒ·1d
πŸ”„Async Rust
A kernel compression method for distributed-order fractional partial differential equations
arxiv.orgΒ·2d
πŸ”„Async Rust
I tried to get 600 dollars "deep think" for local models by making them argue with each other for hours. It's slow, but it's interesting
reddit.comΒ·2dΒ·
Discuss: r/LocalLLaMA
πŸ¦€Rust
MOON: Generative MLLM-based Multimodal Representation Learning for E-commerce Product Understanding
arxiv.orgΒ·3d
πŸ”§functional programming languages
CALYPSO: Forecasting and Analyzing MRSA Infection Patterns with Community and Healthcare Transmission Dynamics
arxiv.orgΒ·2d
πŸ¦€Rust
Automated Logical Proof Verification via Hybrid Symbolic-Numerical Analysis
dev.toΒ·3dΒ·
Discuss: DEV
πŸ¦€Rust
Loading...Loading more...
AboutBlogChangelogRoadmap