a haunted mouse
I always thought that The Simcluster™ is norvid's name for the cluster that would contain the largest fraction of people who understand things like clustering algorithms, if you hypothetically applied Twitter's simcluster algorithm to bluesky
i dont know what a simcluster is and at this point im too afraid to ask
made progress on touch-based piece rotation. i still don't think this is tuned properly but this is more playable than pressing buttons
octahedron boards are implemented. so far it's definitely harder for me to reason about pieces placed at corners due to the larger turn angle compared with the icosahedron, but it seems playable.
octahedron boards are implemented. so far it's definitely harder for me to reason about pieces placed at corners due to the larger turn angle compared with the icosahedron, but it seems playable.
also added atproto-powered leaderboards and published scenarios supporting different initial boards and numbers of subdivisions. i still need to implement: tetrahedron/octahedron boards, multiplayer, other game modes, including possibly modes with items
i added a second music track. this is a placeholder also, the production is obviously amateurish, but i really like it for how simple it is atpr.to/@oscillatory...
current version of the theme song: atpr.to/@oscillatory...
i think the gameplay with 5 subdivisions per face edge is more interesting, because each face has 25 ≡ 1 (mod 4) cells, so you can't clear an isolated face. however i changed the default number of subdivisions to 4 (16 cells per face) because I think it's more casual-friendly
you can now start a timed game with initial board state created in free play mode
i think the gameplay with 5 subdivisions per face edge is more interesting, because each face has 25 ≡ 1 (mod 4) cells, so you can't clear an isolated face. however i changed the default number of subdivisions to 4 (16 cells per face) because I think it's more casual-friendly
you can now start a timed game with initial board state created in free play mode
just found that there's a game version of Lean 4 in development: github.com/leanprover-c...
i'm a big fan, this is much improved
v1.136 is live! Introducing: Profile links We want independent writers, artists, developers, and creators to be able to build and fund sustainable projects on Bluesky. Help your followers know how to support you by adding buttons for Patreon, Ko-fi, your newsletter or website, and more.
i updated tranquil pds, update the certifi package in my dynamic avatar service, and updated go to v1.26.10 and rebuilt my knot server. still waiting on the node.js patch for another app (its outbound TLS usage is relatively low stakes)
🚨 Six WebPKI Intermediate CAs are compromised. This is bigger than Heartbleed, but a client-side issue. Anything that verifies certificates against public roots, like most TLS clients, is/was affected. Details, live test, patched versions and workarounds at emudhra.we-have-a-problem.com Act now.
i might play around with this and see if i can replace my bluesky feed with QD-Rec pub.sakana.ai/qd-rec/
mobile controls still feel clunky to me but this plays nicely on desktop now https://oscillatory.net/rad-cohesion/
mobile controls still feel clunky to me but this plays nicely on desktop now https://oscillatory.net/rad-cohesion/
playing around with a stereographic projection mode, inspired by Matt's post. i'm mostly wondering if i can come up with an intuitive 2D view, since I suspect this may be helpful for a multiplayer version of the game bsky.app/profile/matt...
i love when the groove enters. hard to believe this is a live recording https://music.youtube.com/watch?v=oSvZUbAziOc
a haunted mouse reposted
Many people just starting out on Lean formalization have enjoyed playing the Natural Numbers Game. Now Autumn Mapes has produced Visual Lean, isomorphic to the original but playable in a lovely intuitive way with clicking and dragging rather than typing. leangame.autumnofautumn.com
i deployed a version of this. added a rough draft of a theme song as well: oscillatory.net/rad-cohesion/
first site i asked for was a recap of prior work of site builder bots on atproto. good to know we've learned from our mistakes #catsofatproto
Announcing Attie site builder! Starting today, Attie users can build small social pages like an AMA, a guestbook, or a survey your friends will argue about for a week. We made a few to get you started. Go make a better one and share it: attie.ai
a haunted mouse reposted
This is a fully visually evident proof of the fact that the diagonal of a regular unit pentagon is the golden ratio. arxiv.org/abs/2610.18903
a haunted mouse reposted
Related to the #NobelPrize in #Optogenetics: I'm reflecting on the question "who invented X?" in science. 10 years ago I wrote about the people who were working on optogenetics, the patent debates and the role of race and prestige. I don't know the answer, but... www.statnews.com/2016/09/01/o...
a haunted mouse reposted
In our Nature paper, we introduce the first superhuman Stratego AI, which we built using general techniques that we developed for RL & test-time compute under imperfect information. www.nature.com/articles/s41...
a haunted mouse reposted