Stories by leonry

Theorema: A System for Computer Supported Mathematical Theorem Proving

Have you spotted vandalism on openstreetmap.org?

Diminuendo Lagrimoso: Tracing the decline of big opera voices (2023) [pdf]

Tick: Statistical learning library for time dependent systems

ReviewForest: Plant trees in exchange for customer reviews

Software Heritage Archive

Mathematics in Movies

SearchOnMath – search engine for mathematical formulas with LaTeX support

The Play Kits by Lovevery: Montessori Toy Subscription Ages 0-5

Learning to Be Me [pdf]

'Baby Bust': Why Fewer Young People Expect to Become Parents (2013)

Strobe Audio – Open-Source Multiroom Music System

WalletScrutiny – Know your wallet like you built it

OmegaT – The Free Translation Memory Tool

Bisq – A decentralized Bitcoin exchange network

On the Pleb Filter

2
3
4
5
6
7
8
9
10
11