Barry

@chiroptical.dev

1140 Followers 266 Following

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.

Playing a repeating pattern on the drums. 1/8ths, triplets, 16ths minus a, 16ths minus e. 2 bars of each.
Playing drums. 6/8 half time Bembe beat.
Image of the UI which allows me to control the metronome
Video of me on my drum, 8th notes on high hat, 1(2a)3(e)+(4). Snare in parens. a and e are ghost notes. Apparently this is just Wonderwall.
Video of me practicing and exercise where you play 1234 at 60 bpm and then 1231 2312 3123 1231 (16th notes, but only 1 and 2)
Sonor AQX jazz drum set, Yamaha hardware, and Zildjian L80 cymbals in a lovely blue.
Drumming an exercise. Snare on 2,4. Kick on 1(2)+3(4)+, 1/8s on hat, 1/4s on left foot
A mediocre latte art
Drumming to 1+2+ +4+
-define(p, o, o]). t() -> [f, ?p.
A poor latte art, but pretty close to the right texture
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]
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]
let encrypted = new(<<"thing">>) |> associated_data(<<"thing">>) |> encrypt() let decrypted = new(encrypted) |> associated_data(<<"thing">>) |> decrypt()
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.
Rotten tomatoes screen capture for Surf Ninjas. 23% tomato meter. 68% popcorn meter.
-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).
A shirt with the Erlang logo on it.
Picture of the book “A Philosophy of Software Design” by John Ousterhout
-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.
{dialyzer, [ {warnings, [unknown]}, {plt_apps, top_level_deps}, {plt_extra_apps, [uuid, elli, jsx, eunit, ssl]} ]}.
Left: unison ucm console serving my HTML page Right: a basic design for a new declarative.tv page with some mock data
(define-flow fizzbuzz-simple (>< (if match-fizz (if match-buzz "fizzbuzz" "fizz") (if match-buzz "buzz" ~v)))) (fizzbuzz-simple 3 5 15 31)
(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)
[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" ]
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.
Two terminals running an erlang shell side by side. In the right, I run a gen_server which has a logger. On the left, I connect to the right and make an RPC to that logger. On the right, I see that log printed.
A side by side of Twitch chat (left) and focus (right) displaying the contents of Twitch chat. Focus brings Twitch chat to the Erlang development shell.
Three board games: The Gang, Skull King, and Seas of Strife. The games are on my counter.
Definitions. COLOR = [wubrg] NEWLINE = \n COMMA = , SPACE = [\s]+ Rules. {COLOR} : {token, {color, TokenLoc, to_color(TokenChars)}}. {NEWLINE} : {token, {newline, TokenLoc}}. {COMMA} : {token, {comma, TokenLoc}}. {SPACE} : skip_token. Erlang code. to_color("w") -> white; to_color("u") -> blue; to_color("b") -> black; to_color("r") -> red; to_color("g") -> green.
A 32x30 image where each cell has a "callsign". A callsign is an essentially a name paired with an emoji given to individuals at my job. For example, my callsign is blueranger and my emoji is a picture of the blue ranger from power rangers.
Nonterminals value disk_map file free_space. Terminals number. Rootsymbol disk_map. value -> number : to_value('$1'). file -> value : to_file('$1'). free_space -> value : to_free_space('$1'). disk_map -> file : ['$1']. disk_map -> file free_space disk_map : ['$1', '$2' | '$3']. Erlang code. to_value({number, _Col, Value}) -> Value. to_file(X) -> {file, X}. to_free_space(X) -> {free_space, X}.
build_magmas(TestValue, Threes) -> [ fun(A, B) -> F(TestValue, A, B) end || F <- Threes ].
Definitions. DOT = \. OCTO = # CARROT = [<>^v] NEWLINE = \n Rules. {CARROT} : {token, {guard, TokenLoc, to_atom(TokenChars)}}. {OCTO} : {token, {obstacle, TokenLoc}}. {DOT} : {token, {blank, TokenLoc}}. {NEWLINE} : skip_token. Erlang code. to_atom("<") -> west; to_atom(">") -> east; to_atom("^") -> north; to_atom("v") -> south.
Definitions. DOT = \. OCTO = # CARROT = [<>^v] NEWLINE = \n Rules. {CARROT} : {token, {guard, TokenLoc, to_atom(TokenChars)}}. {OCTO} : {token, {obstacle, TokenLoc}}. {DOT} : skip_token. {NEWLINE} : skip_token. Erlang code. to_atom("<") -> west; to_atom(">") -> east; to_atom("^") -> south; to_atom("v") -> north.
Definitions. NUMBER = [0-9]+ PIPE = \| COMMA = , NEWLINE = \n Rules. {NUMBER} : {token, {number, TokenLoc, list_to_integer(TokenChars)}}. {PIPE} : {token, {pipe, TokenLoc}}. {COMMA} : {token, {comma, TokenLoc}}. {NEWLINE} : {token, {newline, TokenLoc}}. Erlang code.
Definitions. XMAS = [XMAS] NEWLINE = \n Rules. {XMAS} : {token, {xmas, TokenLoc, TokenChars}}. {NEWLINE} : skip_token. Erlang code.
-spec drop_nth(pos_integer(), list()) -> list(). drop_nth(N, X) -> drop_nth_inner(N, X, queue:new()). -spec drop_nth_inner(pos_integer(), list(), queue:queue()) -> list(). drop_nth_inner(1, [_Head | Tail], Acc) -> lists:append(queue:to_list(Acc), Tail); drop_nth_inner(_N, [], Acc) -> queue:to_list(Acc); drop_nth_inner(N, [Head | Tail], Acc) -> drop_nth_inner(N - 1, Tail, queue:in(Head, Acc)).
increasing_rule(X, Y) -> maybe ok ?= case X < Y of true -> ok; false -> error end, ok ?= case Y - X < 4 of true -> ok; false -> error end, true else error -> false end.
Nonterminals level report reports. Terminals int newline. Rootsymbol reports. level -> int : extract_level('$1'). report -> level : ['$1']. report -> level report : ['$1'|'$2']. reports -> report newline : ['$1']. reports -> report newline reports : ['$1'|'$3']. Erlang code. extract_level({_Token, _Line, Value}) -> Value.
A demo of a "full stack" #gleamlang app (with no BE interaction yet) which is meant to be a clone of https://intray.eu
A slide that says ‘OpenTelemetryProcessPropogator.fetch_parent_ctx’
Little spider babies in their little spider web
A blue Suzuki GSX-8R
A triple monitor setup with 2 computers on the left side of a desk. Peripherals include advantage 360 keyboard, focusrite 2i2 connected to blue baby bottle, and Kensington roller mouse.
Feels good meme