mindtrizzle

🤯

thank you alice!

currently listening to this

haskell.foundation/podcast/62/

such a cool perspective on language design - Conal Elliott shares his journey from lisp to ML to haskell to agda and category theory in a lifetime dive toward the fundamentals of expression

formal verification: working with agda

informal verification: playing with agda in trackpants on the wkend because totality is beautiful

Tipper and Friends, The Gorge Amphitheatre 060725 tracklist:
 Sora - Line
 Real Intelligence - Intel. Inside Squarepusher - Sarcacid Part 2 Brain Rays & Quiet - Emeralds Icarus - Gandalf Speedway Roedelius - Fraudentanz LFO - Them Yimino - Bumpy Luc

gorgeous set by badun, so many gems

soundcloud.com/badun/tipper...

gorgeous ✨

crates.io: Rust Package Registry

the higher order pattern representation behind tidal has been inspiring me non-stop over the past few years... such a beautiful insight.

it inspired me to write a rust impl[1], and I plan to explore it plenty more visually in gantz[2]

1: crates.io/crates/cycles
2: github.com/nannou-org/g...

it's so wicked to hear @slab.org nerd out about the haskell guts underlying tidalcycles a bit 💙

haskell.foundation/podcast/67/

only came across pavel for the first time recently and have had enthropic vision and project mirrors on heavy rotation 💙

my god 😍 wish I was there!

been rinsing everything I can find of yours since you reposted this, thanks for sharing !

this made me think of you @jerthorp.bsky.social !

YouTube video by Lucio Arese Autechre - plyPhon (2020 4K version)

so much gold in Lucio's work - this one's an all-time fav

youtu.be/vsNbUlyERV0?...

YouTube video by Lucio Arese Visualizing Bird Songs

beautiful visualisation of birdsong by Lucio Arese

youtu.be/7lEiYqCV25s?...

@cavesofqud.com any chance you have an aarch64-linux build up your sleeve? I’m interstate looking after fam with only my asahi M1 on me and could totally spelunk qud rn. live and drink water sibs💧

woah unexpected GITS OST 🔥

YouTube video by Telekom Electronic Beats TV Blind Test XXL: 2000s Techno - Part Two (2011–2025) 25 Years of Electronic Beats - Episode 39

really love this blind test series

www.youtube.com/watch?v=pU53...

it's so wholesome watching legends recall their fav memories of other legends, always a must-watch and guaranteed gem-discovery no matter the genre

Fausto Mercier - terra, by Fausto Mercier x omotopopo from the album Fú

absolute banger on heavy rotation

faustomercier.bandcamp.com/track/fausto...

so excited to release the bevy refactor i’ve been doing for nannou for over a year now, hopefully by 0.17 this fall. we are getting so close!

niccccce! I'm curious what the input-to-display latency is like 🧐 is it usable as a terminal for dev?

YouTube video by Eulerroom Algorave Lyon 2025 - 18h - 6h @GrrrndZero

digging this current set from lucky.juj and g_code

late night progress in gantz

best bsky bot 🪐 @bitsofsaturn.bsky.social

wtf I totally missed this one - thanks for sharing!

Sully "Escape", by Sully 8 track album

sullyuk.bandcamp.com/album/sully-...

I think there was even an autechre track no?? a wicked surprise 😌

- mesh instance tagging, which is very helpful for art use cases, for example displacing instances by the texels of a depth camera or some other texture. i use this technique all the time in the art i make with nannou

particularly loving the no_std support and GBA demo @chrisbiscardi.bsky.social 🤍

bevyengine.org/news/bevy-0-...

makes me wonder if some of this work might help to get more granular when reducing wasm binary sizes too 🧐

couldn't be happier that we chose @bevyengine.org as a new base for nannou.cc 😌 the community is wicked, and progress is nuts 🥜 congrats on the release!

it's wicked for finding interesting textures in the tails of long reverbs or decays...

the true gold comes when it's ripping up the noise floor, desperately trying to meet your desired amplitude

I had loads of fun playing with pd today. I experimented with an old savage compressor idea @robclouth.bsky.social mentioned like a decade ago.

rather than specifying a threshold, you just specify a target amplitude and force the signal toward it!