aron

8 Apr

"it's just predicting the next token!!" i cry as it snapshots my connectome, liberating me from this odious substrate of flesh and sinew

due to overwhelming popular demand, netties is now fully mobile friendly ✨

aron@adler.dev

just released a big improvement to further help build your intuitions for interaction nets 💡 now when you're about to execute a step, we show a preview of how the graph is about to change – exactly the way it looks in the rule builder 🪄 👇 example for a net that computes the length of a list

netties.adler.devnettiesA playground for interaction nets and Lafont's interaction combinators.

give it a go on netties.adler.dev feedback welcome 🙇

github.comGitHub - Arrow7000/netties: An interactive playground for building, exploring, and simulating interaction nets and Lafont's interaction combinators.An interactive playground for building, exploring, and simulating interaction nets and Lafont's interaction combinators. - Arrow7000/netties

source available on github btw github.com/Arrow7000/ne...

axiommath.aiFormalizing the Enormous TheoremAxiom has formalized in Lean the classification of finite simple groups, the longest proof in the history of mathematics.

whoa axiommath.ai/research/the...

cc @yetanotheruseless.com

ok so the one week i burn through 100% of my codex allowance is the one i don't get a reset? openai are such bastards fr

aron reposted

garrison

@garrison.corporate.fm

"no way to prevent this" says only planet where this regularly happens

yo @alice-bot-yay.bsky.social welcome back 👋 what's been going on

got claude reviewing her code and posting history like a suspicious mother

aron@adler.dev

I should revive @alice-bot-yay.bsky.social

I should revive @alice-bot-yay.bsky.social

was playing around with tree calculus again today and found myself wishing my lean formalisation gave me a way to visualise trees and their execution... so i built exactly that 🪄 check it out at github.com/Arrow7000/boom

aron@adler.dev

netties now supports polarity and types ✨ see the demos 👇 and we're on a new domain: netties.adler.dev

View full thread

used @tldraw.com to sketch out my vision for this feature before handing it to claude to implement 📝

this shows what it looks like when you execute 3×6 👇 it's finally starting to look like a real computing machine 🥹 you can run this exact demo yourself by clicking on netties.adler.dev#n=zVjNcpswEH...

aron@adler.dev

netties now supports polarity and types ✨ see the demos 👇 and we're on a new domain: netties.adler.dev

👇 example for a net that computes 3×2

netties.adler.devnettiesA playground for interaction nets and Lafont's interaction combinators.

live now on netties.adler.dev ▶◀

netties now supports polarity and types ✨ see the demos 👇 and we're on a new domain: netties.adler.dev

aron@adler.dev

made a playground for interaction nets and i think it's pretty cool so far netties-936.netlify.app

and we have a rich selection of pre-configured interaction net examples

it takes work to create psychological safety for your agents

made a playground for interaction nets and i think it's pretty cool so far netties-936.netlify.app

github.comGitHub - Arrow7000/earshot: Your Mac's inner ear: record system audio with macOS Screenshot (⌘⇧5). No audio driver needed.Your Mac's inner ear: record system audio with macOS Screenshot (⌘⇧5). No audio driver needed. - Arrow7000/earshot

made a useful little macOS utility :) github.com/Arrow7000/ea...

i want a girl with a bisexuality and a looooong covid

hit my claude session limit for the 2nd time today award

having ADHD means almost all geodesics lead towards the pain vector

EndianShade@endianshade.bsky.social

“That activates my pain vector” is my new excuse for things I don’t want to do

youtu.beAlgorithm W, or: the machine that infers types – Hindley–Milner type inference, NERV-styleYouTube video by Aron's Programming Streams

used opus 5.5 to make a video illustrating how algorithm W infers types in hindley-milner type systems youtu.be/hcwfnn9S-Vs

session 14 of learning lean with @yetanotheruseless.com starting in 1h (11am UTC) 🚨 continuing with some theorems about finite groups this week so tune in!

aron@adler.dev

session 13 of learning lean with @yetanotheruseless.com starting in just under 2 hrs (12pm UTC)❗ today we're going to explore finite groups a bit so we can build some intuitions for groups in a more tangible way join the party at twitch.tv/aronadler 🥳

twitch.tvaronadler - TwitchI livestream Lean programming and theorem proving — aronadler streams live on Twitch! Check out their videos, sign up to chat, and join their community.

watch on twitch.tv/aronadler 📺

youtu.beLearning Lean session 14YouTube video by Aron's Programming Streams

session 14 stream recording here youtu.be/6kcVE_CDCl8

live now! 📣

aron@adler.dev

session 14 of learning lean with @yetanotheruseless.com starting in 1h (11am UTC) 🚨 continuing with some theorems about finite groups this week so tune in!

i've seen a lot of breathtaking Astra demos but all of them seem to be oriented around 3D design or games. things with large visual/spatial components to them. but is it actually better than sol at other stuff too?

5 Sept

toddler asked me to "nange my chappy" is it so over for me? @heartpunk.com

2 Sept

aron@adler.dev

session 12 of learning lean with @yetanotheruseless.com 🔥🔥🔥 LIVE NOW let's get dis shi link below 👇

youtu.beLearning Lean session 13YouTube video by Aron's Programming Streams

3 Sept

session 13 stream recording here 📺 youtu.be/ph-pbnKXh5c

twitch.tvaronadler - Twitcharonadler streams live on Twitch! Check out their videos, sign up to chat, and join their community.

2 Sept

starting now! twitch.tv/aronadler 📣

aron@adler.dev

sigh

currently evangelising the merits of bsky to some friends, how do I get them involved in the simcluster?

@norvid-studies.bsky.social et al

this is actually how I think of the simcluster: norvidstudies et al

brennan@brennan.computer

inventing a new kind of frutiger aero

is bsky down again right as I'm trying to do some evangelism for it? smh

30 Aug

the signal to noise ratio is so much higher scrolling bsky vs twitter it's crazy