13 Jul 25

In which we try to bend the very fabric of music theory by making a sound in which the tritone is a consonant interval.

by kawcco 6 months ago


The National Zoning Atlas team follows 4 basic steps to make key information about zoning centralized, standardized, and accessible. They identify jurisdictions and districts, read texts, analyze and digitize maps, and then merge and publish!

by kawcco 6 months ago

12 Jul 25

An indexed collection of governance documents from Free and Open Source Software (FOSS) projects.

by kawcco 6 months ago

If you want to meet likeminded neighbors to be in solidarity with, and you think there are some of those in your neighborhood, you could drag a little folding table and folding/camp chair out to that spot this weekend, or tonight, with a paper sign. Mine was just on 1 sheet of printer paper.

by kawcco 6 months ago

An interactive, accessible and beautiful GPIO Pinout guide for the Raspberry Pi Pico 2

by kawcco 6 months ago

10 Jul 25

A scene of modern Britain played out on a rail replacement bus service in Newport yesterday. A woman wearing a niqab was chatting to her son in another language. After five minutes, a man suddenly snapped: ‘If you’re in the UK, you should speak English.’ At this, another passenger turned round and explained: ‘We’re in Wales. And she’s speaking Welsh.’

by kawcco 7 months ago

09 Jul 25

The Mathematical Functions Grimoire (Fungrim) is an open source library of formulas and data for special functions. Fungrim currently consists of 457 symbols (named mathematical objects), 3130 entries (definitions, formulas, tables, plots), and 82 topics (listings of entries).

by kawcco 7 months ago
Tags:


08 Jul 25

One of the many exciting new features in the upcoming Lean 4.22 release is a preview of the new verification infrastructure for proving properties of imperative programs. In this post, I’ll take a first look at this feature, show a simple example of what it can do, and compare it to similar tools.

Excellent stuff!

by kawcco 7 months ago


06 Jul 25

In men and women sexual arousal culminates in orgasm, with female orgasm solely from sexual intercourse often regarded as a unique feature of human sexuality. However, orgasm from sexual intercourse occurs more reliably in men than in women likely …

by kawcco 7 months ago


03 Jul 25


I live in a culture where none of the ‘slutty people are unhappy and failing at relationships” thing is true - or rather, not moreso than it is in non-slutty cultures. It seems like it’s hard for people to envision how a life might work where there’s a high contingent of happy, slutty people. So to help visualize, here’s some instances from the lives of myself and people I know.

by kawcco 7 months ago saved 2 times
Tags:

01 Jul 25


Why I Erased 10,000 Notes, 7 Years of Ideas, and Every Thought I Tried to Save

I can definitely understand the sentiment, but deletion in the year of our Lord seems a bit extreme. What we actually need is archiving combined with exponential backoff IMO.

by kawcco 7 months ago saved 3 times