šŸæļø 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Ā·7h
šŸ’»programming
Odors drive feeding through gustatory receptor neurons in <i>Drosophila</i>
elifesciences.orgĀ·19h
šŸ¦€Rust
The Mismanaged Heart
reallifemag.comĀ·34m
šŸ”§functional programming languages
Hello World: I’m Learning HTML, CSS, and JavaScript
linkedin.comĀ·1dĀ·
Discuss: DEV
šŸ’»programming
The Observability of Observability
oreilly.comĀ·8h
šŸ¦€Rust
Neural population-based approaches have opened new windows into neural computations and behavior
thetransmitter.orgĀ·15h
šŸ¦€Rust
Hands-On with Agents SDK: Multi-Agent Collaboration
towardsdatascience.comĀ·3h
šŸ’»programming
What’s the ā€œpointsā€ of agile, anyway?
spin.atomicobject.comĀ·7h
šŸ¦€Rust
Your weekly reading (and more) from Web Directions
webdirections.orgĀ·19h
šŸ’»programming
AI models simulate human subjects to aid social science research, but limits remain
techxplore.comĀ·5h
šŸ”§functional programming languages
New Educational App Lets Users Explore the Human Side of AI Alignment
simulateai.ioĀ·23hĀ·
Discuss: Hacker News
šŸ’»programming
A Histogram Is a Generative Model
jonathandinu.comĀ·4hĀ·
Discuss: Hacker News
šŸ”„Async Rust
Active IRS-Enabled Integrated Sensing and Communications with Extended Targets
arxiv.orgĀ·15h
šŸ”„Async Rust
Let's hax0r a GC… (eventually)
h4x0r.orgĀ·4hĀ·
Discuss: Lobsters, Hacker News
šŸ¦€Rust
Evaluating COVID 19 Feature Contributions to Bitcoin Return Forecasting: Methodology Based on LightGBM and Genetic Optimization
arxiv.orgĀ·15h
šŸ¦€Rust
AI in a vat: Fundamental limits of efficient world modelling for safe agent sandboxing
lesswrong.comĀ·3d
šŸ¦€Rust
Simulated Society of 10k AI Agents
theunwindai.comĀ·4hĀ·
Discuss: Hacker News
šŸ¦€Rust
LeetCode 1: Two Sum (C#)
dev.toĀ·21hĀ·
Discuss: DEV
āš ļøError Handling
Kruskal Algorithm C++: Story
dev.toĀ·1dĀ·
Discuss: DEV
šŸ¦€Rust
OmniUnet: A Multimodal Network for Unstructured Terrain Segmentation on Planetary Rovers Using RGB, Depth, and Thermal Imagery
arxiv.orgĀ·15h
🐪ocaml
Loading...Loading more...
AboutBlogChangelogRoadmap