Barry

@chiroptical

PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator linktr.ee/chiroptical. Drumming and fencing enjoyer.

273 Following1,143 Followers1,458 Posts

Bluesky

Is this your profile?Claim it and chiroptical.dirty.social is yours.Claim profile

Barry@chiroptical· 7d

It does say this on the website.

The section of the docs which mentions Elm and Haskell. Also “More languages to come”

Barry@chiroptical· 16d

The image because it didn’t embed, probably my fault.

The image associated with my “palm reading”. It’s almost a perfect hourglass shape. Calls me “The Weathervane” for some reason

Barry@chiroptical· 19d

This also goofs me up semi-frequently.

1> A = <<0:32>>.
<<0,0,0,0>>
2> <<B:32>> = A.
<<0,0,0,0>>
3> B.
0

Barry@chiroptical· Jul 11

This is huge progress for me!

Barry@chiroptical· Jun 12

Got it. Some cleaning up to do. Also being able to count this in 4/4 and 6/8. Practice with the metronome etc.

Barry@chiroptical· Jun 9

I was annoyed with all the metronome apps on the App Store so I just… made one. This is a M5Stack CoreS3.

Image of the UI which allows me to control the metronome

Barry@chiroptical· Apr 7

Made some progress with ghost notes this week.

Barry@chiroptical· Mar 20

Haven’t shared a drum video in a bit. This one is cool because you can see where I find the exercise and then really feel it.

Barry@chiroptical· Feb 11

The initial setup is complete! Sonor AQX Jazz, Zildjian L80 cymbals, Yamaha hardware, RTOm black holes set. I’ll be able to play this with the kiddo asleep no issues!

Sonor AQX jazz drum set, Yamaha hardware, and Zildjian L80 cymbals in a lovely blue.

Barry@chiroptical· Feb 3

Feeling like a powerful drumming warrior 😂

Barry@chiroptical· Feb 2

This may be my best one so far.

Barry@chiroptical· Jan 27

Inspired by @whitep4nth3r.com here is part of my practice today. I’m about 3 weeks in, don’t judge me.

Barry@chiroptical· Jan 7

TIL, this is legal #erlang compiles to `t() -> [f, o, o].`

Barry@chiroptical· Jan 6

Making progress on this foaming milk and pouring it into a cup thing

A poor latte art, but pretty close to the right texture

Barry@chiroptical· Oct 30

Finished Section 2.2 of Mathematics in Lean. I'm skeptical that anything beyond this will make sense... This was labeled a hard exercise, but my brain has no idea why I would introduce `h` as a goal to solve this. I feel like I need more raw math skills which probably isn't surprising to some.

theorem mul_inv_cancel (a : G) : a * a⁻¹ = 1 := by
have h : (a * a⁻¹)⁻¹ * (a * a⁻¹ * (a * a⁻¹)) = 1 := by
rw [mul_assoc, ← mul_assoc a⁻¹ a, inv_mul_cancel, one_mul, inv_mul_cancel]
rw [← h, ← mul_assoc, inv_mul_cancel, one_mul]

Barry@chiroptical· Oct 26

Finished section 2.1 of Mathematics in #LeanLang.

example (a b : ℝ) : (a + b) * (a - b) = a ^ 2 - b ^ 2 := by
rw [mul_sub, add_mul, add_mul, <- pow_two, <- sub_sub, mul_comm, <- add_sub, sub_self, <- pow_two, add_zero]

Barry@chiroptical· Sep 26

#gleamlang do we prefer builder style here or just `encrypt(BitArray, Option(BitArray))`? For some reason, I don't like `encrypt(x, option.None)` but also `new(x) |> encrypt()` feels tedious. `encrypt_with_associated_data(x, y)` feels long.

let encrypted =
new(<<"thing">>)
|> associated_data(<<"thing">>)
|> encrypt()

let decrypted =
new(encrypted)
|> associated_data(<<"thing">>)
|> decrypt()

Barry@chiroptical· Sep 21

Design is my passion…

Magnetic tiles for children, isosceles triangles arranged in a circle, except there is a small gap where you couldn’t fit another one of the tiles.

Barry@chiroptical· Sep 17

Post a movie you like with a terrible rotten tomatoes score.

Rotten tomatoes screen capture for Surf Ninjas. 23% tomato meter. 68% popcorn meter.

Barry@chiroptical· Aug 26

Imagine I know nothing about cryptography. It shouldn't be hard. Does this look reasonable? (I'm planning on storing the key in the environment, my hosting provider can encrypt them which is why I thought base64 would be fine?). #erlang

-module(util_crypto).

-export([
encrypt/1,
decrypt/1
]).

%% Generated example key with base64:encode(crypto:strong_rand_bytes(16)).
-define(KEY, ~"13jNvhABaUhX8q0o0WHyPg==").

encrypt(Value) ->
Iv = crypto:strong_rand_bytes(16),
Encrypted = crypto:crypto_one_time(aes_128_ctr, base64:decode(?KEY), Iv, Value, true),
<<Iv/binary, Encrypted/binary>>.

decrypt(<<Iv:16/binary, Value/binary>>) ->
crypto:crypto_one_time(aes_128_ctr, base64:decode(?KEY), Iv, Value, false).

Barry@chiroptical· Aug 22

The one I got (probably RedBubble?) adds a slight white border around the logo.

Barry@chiroptical· Aug 9

Someone suggested this book to me. The preface speaks to me. Hopefully I learn something.

Picture of the book “A Philosophy of Software Design” by John Ousterhout

Barry@chiroptical· Aug 9

I like this a lot better than my previous implementation. It is obvious in hindsight. #erlang

$-spec decode_interact_contents(jsx:json_term() | {incomplete, jsx:decoder()}) -> {some, #interact_contents{}} | none. decode_interact_contents( #{ ~"channel_id" := #{~"id" := ChannelId}, ~"user" := #{~"id" := UserId}, ~"team" := #{~"id" := TeamId}, ~"response_url" := ResponseUrl, ~"actions" := #{~"value" := SubmittedUrl} } ) -> {some, #interact_contents{ channel_id = ChannelId, user_id = UserId, team_id = TeamId, response_url = ResponseUrl, submitted_url = SubmittedUrl }}; decode_interact_contents(_) -> none.$

Barry@chiroptical· Aug 7

Why do I need to add these dependencies to dialyzer? They are listed in my `deps` section of rebar.config? #erlang

${dialyzer, [ {warnings, [unknown]}, {plt_apps, top_level_deps}, {plt_extra_apps, [uuid, elli, jsx, eunit, ssl]} ]}.$

Barry@chiroptical· Jul 23

Finally had time to get my index.html into #unisonlang and serve it locally. I haven't been super motivated to work on this project but making some progress!

Left: unison ucm console serving my HTML page
Right: a basic design for a new declarative.tv page with some mock data

Barry@chiroptical· Jun 14

This is less text than the `switch` example but it is **so** boring. I want to see the supercharged Qi example.

(define-flow fizzbuzz-simple
(>< (if match-fizz
(if match-buzz "fizzbuzz" "fizz")
(if match-buzz "buzz" ~v))))
(fizzbuzz-simple 3 5 15 31)

Barry@chiroptical· May 18

I was supposed to read structs/modules first but I couldn't help but peak at contracts. This fails at run-time because 0 is not positive.

(define positive-number (and/c number? positive?))

(define/contract (add-positive-amounts x y)
(-> positive-number positive-number positive-number)
(+ x y))

(add-positive-amounts 0 0)

Barry@chiroptical· May 11

Set up #racketlang with #helixeditor. Requires `raco pkg install racket-langserver` and `raco pkg install fmt`.

[language-server.racket-langserver]
command = "racket"
args = ["-l", "racket-langserver"]

[[language]]
name = "racket"
auto-format = true
formatter = { command = 'raco', args = ["fmt"] }
language-servers = [ "racket-langserver" ]

Barry@chiroptical· Feb 14

A quick diagram of focus' services. The credential manager and developer log services typically run in their own #erlang node. The focus service runs in an erlang node displayed to your #Twitch stream. A connection to Twitch web socket displays chat, follows, and subscriptions.

A diagram showing how the focus services are connected. Running `twitch:msg(~"Hello").` will call the credential manager for an access token, call the Twitch API, and then get a message back from a web socket to display back to stream.

Barry@chiroptical· Jan 25

Distributed #erlang anyone? Conceptually, focus can have an admin log which doesn't have to be visible on stream.