Posts by mildsunrise@tech.lgbt
(DIR) Post #AVB8AvX1KhjMYSkRxw by mildsunrise@tech.lgbt
2023-04-30T07:53:34Z
0 likes, 0 repeats
➡️ we proved there's a bijection between sequences of real cross moves (again, starting & ending in a state of our subset) and sequences of our composite "base moves", as long as both sequences are simplified (don't reverse a previous move)
(DIR) Post #AVB8AwhgyVrSBqkUEq by mildsunrise@tech.lgbt
2023-04-30T08:15:13Z
0 likes, 0 repeats
➡️ because our composite base moves are closed under composition, they form a group 💙➡️ elements of this group can be modeled as a sequence of two actions: (1) rotate each cross in a distinct way, and (2) permute crosses in some way➡️ we thus chose to embed our group G into the group S₄ ≀ S₈ (since S₄ is the group of rotations of a cube)➡️ so, our group G is the subgroup of S₄ ≀ S₈ generated by {U, R, D, L}
(DIR) Post #AVB8Axz6DHNaA7tu0e by mildsunrise@tech.lgbt
2023-04-30T08:20:33Z
0 likes, 0 repeats
➡️ S₄ ≀ S₈ contains all manipulations we can do by reassembling the puzzle➡️ the puzzle has the same symmetries as a non-square rectangle: we can rotate and flip 180 degrees, but NOT rotate 90 degrees (despite the appearance)➡️ these symmetries form the so-called Klein four-group K₄ and are expressible as elements of S₄ ≀ S₈
(DIR) Post #AVB8AzA7plnFoc4Dpo by mildsunrise@tech.lgbt
2023-04-30T12:29:41Z
0 likes, 0 repeats
now we have the base framework to start analyzing this puzzle as a finite group.let's start by numbering the crosses 0-7. we'll do it clockwise, starting with the upper one:
(DIR) Post #AVB8B0csOMNyM4WhHs by mildsunrise@tech.lgbt
2023-04-30T13:03:28Z
0 likes, 0 repeats
as we know, the rotations of a cube are permutations of 4 elements (the 4 diagonals of the cube).but here instead of expressing rotations as plain permutations, I'll express them in terms of axis quarter-turns {X, Y, Z} since I think it'll be more intuitive.each of them causes the top face to move in this direction:X ↘️Y ↙️Z 🔃
(DIR) Post #AVB8B2Ks2HAfeo7LV2 by mildsunrise@tech.lgbt
2023-04-30T13:08:26Z
0 likes, 0 repeats
I'll use a prime (A') as notation for the inverse of an element, as it's more screenreader friendly than A⁻¹.remember rotations (and permutations in general) work like function composition: A B means (first apply B then A).I think I'm not forgetting anything so let's start ^^
(DIR) Post #AVsvCPstZy4NLaKZua by mildsunrise@tech.lgbt
2023-05-03T12:36:43Z
0 likes, 1 repeats
I remember reading a post claiming OpenSSL is "written by monkeys" in terms of code quality, and thinking "he has to be exaggerating".I'm not that sure now 😅
(DIR) Post #AVt9LZ3YFL1Jl2ZUH2 by mildsunrise@tech.lgbt
2023-05-21T17:40:21Z
1 likes, 0 repeats
@aliss bueno... es subjetivo, pero hasta que no me estuve mis horas entendiendo la estructura del código fue muy confuso
(DIR) Post #AVt9LaPvBeVZyi2rmS by mildsunrise@tech.lgbt
2023-05-21T17:41:19Z
1 likes, 0 repeats
@aliss al final el objetivo era extraer cierto código de OpenSSL al proyecto en el que trabajo: https://github.com/medooze/media-server-node/pull/199/files
(DIR) Post #AWd34TwgCCjoNw3P3w by mildsunrise@tech.lgbt
2023-06-09T17:24:22Z
3 likes, 1 repeats
(DIR) Post #AWs9IIgzArtoX6vdSa by mildsunrise@tech.lgbt
2023-06-19T19:50:49Z
0 likes, 1 repeats
you're cute
(DIR) Post #AWxj8Q1jbs07J7y2Ge by mildsunrise@tech.lgbt
2023-06-22T21:40:34Z
0 likes, 1 repeats
periodic reminder to not use huge instances like mastodon.social or mstdn.social that give space to fascists or corps :blobcatheart:
(DIR) Post #AXCF9mTi1ZHw2CrIrA by mildsunrise@tech.lgbt
2023-06-29T21:26:43Z
0 likes, 0 repeats
never, i repeat, never, ask a mathematician what a number is
(DIR) Post #AXG3fPw6wr3aZTInaa by mildsunrise@tech.lgbt
2023-07-01T15:48:43Z
0 likes, 0 repeats
in this housewe hold that everything is political
(DIR) Post #AXG3fR6mafBgCrIprU by mildsunrise@tech.lgbt
2023-07-01T15:53:55Z
0 likes, 0 repeats
this goes especially to the 4729101 bigots who crop out of nowhere to demand people sTaY oUt oF pOliTiCs whenever a project says trans rights.software is political, tech is political
(DIR) Post #AXG3ijmfbxuGzqTATQ by mildsunrise@tech.lgbt
2023-07-01T12:55:27Z
0 likes, 0 repeats
cancel culture in a nutshell:∀ a, b ∈ M (x a = x b ⇒ a = b)
(DIR) Post #AXKKzJgqMC0mqM4iZM by mildsunrise@tech.lgbt
2023-07-03T19:24:53Z
1 likes, 1 repeats
(DIR) Post #AXlf39zAHGpXr0ksAC by mildsunrise@tech.lgbt
2023-07-16T23:40:07Z
1 likes, 0 repeats
my list of languages to learn is oriented around cool properties I would like to explore, and it currently looks something like:proof assistants / type theory (Coq, Idris, maybe Lean)low level + proof oriented (ATS, F*)concatenative (Factor, Joy...)some modern/WIP ones (Kitten, Mirth, Kempe) are even typed!language/DSL oriented (Rachet)homoiconic (Lisp family)GPU oriented (Triton, Futhark)array oriented (APL family: BQN, April, J?)hardware description (Clash, Lava, Amaranth, Bluespec, Chisel?)concurrency model (Elixir, Erlang)functional GP (PureScript, OCaml)then there's stuff that ticks many boxes, such as Rosette (which feels like if Rachet and F* had a child)
(DIR) Post #AXlga4QE5EeA6qfZFQ by mildsunrise@tech.lgbt
2023-07-17T00:10:36Z
0 likes, 0 repeats
@pry can relate :blobcatnotlikethis: I finally considered I know enough Rust to remove it from this list, but oof
(DIR) Post #AXx8HqLvWOzmoewr9E by mildsunrise@tech.lgbt
2023-07-22T12:41:00Z
2 likes, 1 repeats
I am no longer eepy