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

Quiz: Python Namespace Packages
realpython.com·15h
💻programming
Today’s Wordle #1508 Hints And Answer For Tuesday, August 5th
forbes.com·1h
🐪ocaml
Odors drive feeding through gustatory receptor neurons in <i>Drosophila</i>
elifesciences.org·1d
🦀Rust
I Co-Wrote a Modern Prophetic Trilogy with GPT-4: Here's What Emerged
scribd.com·6h·
Discuss: Hacker News
🐪ocaml
Neural population-based approaches have opened new windows into neural computations and behavior
thetransmitter.org·23h
🦀Rust
When vibe coding, isn't the source code the prompt?
boston.conman.org·47m·
Discuss: Lobsters, Hacker News
💻programming
The Mismanaged Heart
reallifemag.com·8h
🔧functional programming languages
Hands-On with Agents SDK: Multi-Agent Collaboration
towardsdatascience.com·11h
💻programming
What’s the “points” of agile, anyway?
spin.atomicobject.com·15h
🦀Rust
Your weekly reading (and more) from Web Directions
webdirections.org·1d
💻programming
New Educational App Lets Users Explore the Human Side of AI Alignment
simulateai.io·1d·
Discuss: Hacker News
💻programming
A Histogram Is a Generative Model
jonathandinu.com·12h·
Discuss: Hacker News
🔄Async Rust
Active IRS-Enabled Integrated Sensing and Communications with Extended Targets
arxiv.org·23h
🔄Async Rust
Simulated Society of 10k AI Agents
theunwindai.com·12h·
Discuss: Hacker News
🦀Rust
Hyperproperty-Constrained Secure Reinforcement Learning
arxiv.org·23h
🦀Rust
Regime-Aware Conditional Neural Processes with Multi-Criteria Decision Support for Operational Electricity Price Forecasting
arxiv.org·23h
🐪ocaml
The Observer Effect for belief measurement
lesswrong.com·2d
⚠️Error Handling
Stonks or not stonks. Checking Lean trading engine source code
dev.to·15h·
Discuss: DEV
⚠️Error Handling
A Conditional GAN for Tabular Data Generation with Probabilistic Sampling of Latent Subspaces
arxiv.org·23h
🐪ocaml
RapiTapir: Type-Safe HTTP APIs for Ruby
github.com·6h·
Discuss: Hacker News
🦀Rust
Loading...Loading more...
AboutBlogChangelogRoadmap