šŸæļø 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

Odors drive feeding through gustatory receptor neurons in <i>Drosophila</i>
elifesciences.orgĀ·22h
šŸ¦€Rust
The Mismanaged Heart
reallifemag.comĀ·3h
šŸ”§functional programming languages
Hello World: I’m Learning HTML, CSS, and JavaScript
linkedin.comĀ·1dĀ·
Discuss: DEV
šŸ’»programming
The Observability of Observability
oreilly.comĀ·11h
šŸ¦€Rust
Neural population-based approaches have opened new windows into neural computations and behavior
thetransmitter.orgĀ·18h
šŸ¦€Rust
Building Testable Telegram Bots with Zustand
zwit.linkĀ·22hĀ·
Discuss: Hacker News
šŸ¦€Rust
Your weekly reading (and more) from Web Directions
webdirections.orgĀ·22h
šŸ’»programming
AI models simulate human subjects to aid social science research, but limits remain
techxplore.comĀ·8h
šŸ”§functional programming languages
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Ā·7hĀ·
Discuss: Hacker News
šŸ”„Async Rust
Simulated Society of 10k AI Agents
theunwindai.comĀ·6hĀ·
Discuss: Hacker News
šŸ¦€Rust
Let's hax0r a GC… (eventually)
h4x0r.orgĀ·7hĀ·
Discuss: Lobsters, Hacker News
šŸ¦€Rust
Show HN: List of Clojure-Like projects
github.comĀ·3dĀ·
Discuss: Hacker News
🐪ocaml
Self Teaching 2025 w/ Learning Python 6th Edition
reddit.comĀ·17hĀ·
Discuss: r/AskProgramming
šŸ¦€Rust
Evaluating COVID 19 Feature Contributions to Bitcoin Return Forecasting: Methodology Based on LightGBM and Genetic Optimization
arxiv.orgĀ·18h
šŸ¦€Rust
LeetCode 1: Two Sum (C#)
dev.toĀ·23hĀ·
Discuss: DEV
āš ļøError Handling
AI in a vat: Fundamental limits of efficient world modelling for safe agent sandboxing
lesswrong.comĀ·3d
šŸ¦€Rust
Kruskal Algorithm C++: Story
dev.toĀ·1dĀ·
Discuss: DEV
šŸ¦€Rust
Research Areas in Interpretability (The Alignment Project by UK AISI)
lesswrong.comĀ·3d
šŸ”§functional programming languages
OmniUnet: A Multimodal Network for Unstructured Terrain Segmentation on Planetary Rovers Using RGB, Depth, and Thermal Imagery
arxiv.orgĀ·18h
🐪ocaml
Loading...Loading more...
AboutBlogChangelogRoadmap