Sign in

mafinar

@mafinar.bsky.social
51 followers 69 following 81 posts

F# and Elixir, mostly.

PostsRepliesMedia
mafinar @mafinar.bsky.social · 07/06/2026
I just released 0.8 of Choreo - architecture as code and data - made with #elixir. It's small and simple, but was quite useful to me as a quick and dirty notebook driven literate system design and analysis tool Here's the Choreo site (vibe designed - first time for me) code-shoily.github.io/choreo
code-shoily.github.io
Choreo — Domain-Specific Diagrams and Code-Driven Graph Analysis in Elixir
Choreo is an Elixir library for building domain-specific diagrams (C4, FSM, ERD, Sequence, Workflow, Threat Model) and performing semantic graph analysis on top of Yog.
000
Reposted by mafinar
Gleam Programming Language @gleam.run · 18/04/2026
It's here! gleam_stdlib v1 released!
A screenshot of Hex packages showing gleam_stdlib v1.0.0. with description "A standard library for the Gleam programming language". Above the screenshot there's a pink star smiling - Gleam's mascot, lucy
317228
Reposted by mafinar
Gleam Programming Language @gleam.run · 13/04/2026
Gleam v1.15.4 is out now! github.com/gleam-lang/g...
github.com
Release v1.15.4 · gleam-lang/gleam
https://github.com/gleam-lang/gleam/blob/v1.15.4/CHANGELOG.md
0255
mafinar @mafinar.bsky.social · 14/03/2026
Been doing @gleam.run and #fsharp side by side the past few days (porting libs). Two of the best programming languages I have worked with. And so much you can enrich your knowledge of one with the help of the other.
062
Reposted by mafinar
Gleam Programming Language @gleam.run · 05/03/2026
Gleam v1.15.0-rc1 is out for testing! github.com/gleam-lang/g...
github.com
Release v1.15.0-rc1 · gleam-lang/gleam
https://github.com/gleam-lang/gleam/blob/v1.15.0-rc1/CHANGELOG.md
0305
mafinar @mafinar.bsky.social · 02/03/2026
Just wrote a small lustre app that generates graphs and displays them using Cytoscape and Mermaid. Fun little tool to start learning this beautiful framework github.com/code-shoily/... @gleam.run
010
mafinar @mafinar.bsky.social · 01/03/2026
Wanted to learn @gleam.run through #adventofcode - got stuck on a Graph problem and didn't want to port my Elixir or F# solutions to Gleam. Then it occurred to me, why not collect a few graph algorithms in one place and do myself a favour? github.com/code-shoily/... Gleam is a beautiful language.
github.com
GitHub - code-shoily/yog: A graph algorithm library in Gleam
A graph algorithm library in Gleam. Contribute to code-shoily/yog development by creating an account on GitHub.
080
mafinar @mafinar.bsky.social · 18/02/2026
Finally <3
000
mafinar @mafinar.bsky.social · 06/12/2025
This was a little challenging! Part 2 caught me by surprise, I wasn't ready for a parse-heavy day. Would have taken more time if not for REPL driven workflow that helped me "vibe check" my forms (Hah!). Another happy and educational day for this #clojure intern! #AdventOfCode
050
mafinar @mafinar.bsky.social · 06/12/2025
I just completed "Cafeteria" - Day 5 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/5 This was too easy, I actually merged the bits for part 2 early on and ended up a sub minute part-2 solution! #AdventOfCode2025 #Clojure
020
mafinar @mafinar.bsky.social · 04/12/2025
I've completed "Printing Department" - Day 4 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/4 This was easy! Yeah I experimented a little with pmap and gave it a ~3x boost. Will check it later and see if I should incorporate it. Did learn some cool stuff though. #clojure
040
mafinar @mafinar.bsky.social · 03/12/2025
I've completed "Lobby" - Day 3 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/3 I struggled with this one more than I should. Greed is good when it comes to algorithms.
020
mafinar @mafinar.bsky.social · 02/12/2025
Day 2 - this was fun. I always brush up my #regex before #AdventOfCode each year and it paid off on the second day! No edge cases this time. I do think there could be a mathematical way to do this though! Maybe I'll check later! Again, used my new favourite programming language #clojure
010
mafinar @mafinar.bsky.social · 01/12/2025
I have a feeling it's going to be an intense #adventofcode this year! Such a beautiful day 1. Glad I picked #clojure <3
000
mafinar @mafinar.bsky.social · 18/11/2025
Did some #adventofcode for the first time in #Clojure, warming up for 2025 github.com/code-shoily/... Such joy this language is to code with.
github.com
GitHub - code-shoily/aoclj: Learning Clojure through solving advent of code
Learning Clojure through solving advent of code. Contribute to code-shoily/aoclj development by creating an account on GitHub.
040
mafinar @mafinar.bsky.social · 27/02/2025
Surprisingly, as I explained pattern matching to my son, he grasped it quite fast, faster than some interns (circa 2010) who already knew programming. Glass being empty has its merits. The same goes for Erlang style concurrency, although no coding was involved there but good old ELI5. #elixirlang
230
mafinar @mafinar.bsky.social · 23/02/2025
I think #elixirlang is a great programming language to start programming with, even (and especially) for youngsters. Going to see if my son likes it. He is 10, loves geography and weather, and loved looking at some of the charts and data explorations I was doing. I know where to begin #LiveBook
0130
Reposted by mafinar
raphinou.bsky.social @raphinou.bsky.social · 21/02/2025
Fli is so great! One of #fsharp 's gems I listed in a blog post urging to consider fsharp. Another gem is FsHttp. My post if interested: asfaload.com/blog/conside...
asfaload.com
Why you should consider F# — Asfaload
182
mafinar @mafinar.bsky.social · 21/02/2025
This is why starting repositories is a useful habit, I recall being impressed with this #fsharp library and intended to use it but then forgot the name and googling for it was hard. Glad I found it github.com/CaptnCodr/Fli
github.com
GitHub - CaptnCodr/Fli: Execute CLI commands from your F# code in F# style!
Execute CLI commands from your F# code in F# style! - CaptnCodr/Fli
391
mafinar @mafinar.bsky.social · 14/02/2025
This is hands down my favourite operator #fsharp #elixir Interesting to know some history learn.microsoft.com/en-au/archiv...
learn.microsoft.com
Archeological Semiotics: The Birth of the Pipeline Symbol, 1994
282
mafinar @mafinar.bsky.social · 20/01/2025
Looking forward to this!
000
mafinar @mafinar.bsky.social · 26/12/2024
Back doing #adventofcode ... missed a few and have a lot to catch up, let's start with the easy one.. Day 25. It was super fun to make, I came up with the (no pun intended) schematics in my head and then the code took like ~5 minutes. Again, #fsharp <3
1121
mafinar @mafinar.bsky.social · 21/12/2024
I missed more #adventofcode puzzles than I usually do. I blame the flu. Going to get back to it. Also might be doing one or two in #elixirlang for a change, to test the 1.18 water.
010
mafinar @mafinar.bsky.social · 21/12/2024
I wanted to look into just enough C# to assist my #fsharp journey but quality posts shared by Alvin got me more interested in #csharp than I had planned for. I am glad I followed @alvinashcraft.com excellent dew drops of software engineering goodies!! Thank you 🙏
031
mafinar @mafinar.bsky.social · 11/12/2024
#adventofcode day 10 and 11 using #fsharp ... either this year's easy or I am more comfortable with F#. Loved the problems! I do want some advice on the way I did day 11 though. Anyway to generalize the int64? It was annoying to type (and gave me wrong answers when it was int)
281
mafinar @mafinar.bsky.social · 09/12/2024
#adventofcode2024 day6, 7 and 8 - the weekend days. Day 6: Code I am not as proud of, lengthy thought process and lots of squinting at my code. Day 7: Makes up for previous days bad code, loved solving it Day 8: Nostalgia. Geometry. Highschool. Brute forcing for life! #adventofcode #fsharp
160
mafinar @mafinar.bsky.social · 06/12/2024
#adventofcode2024 day 5 seems to be an unofficial sequel of #adventofcode2018 day 4 (I remember because I was just doing it as part of pre-event warm up). The way this year's event is taking the way of nostalgia, I wonder if this will be the 10th and final season :(
000
mafinar @mafinar.bsky.social · 05/12/2024
Working on #adventofcode2024 day 5 was such a wholesome experience! Lots of pipes and arrows! #adventofcode #fsharp
040
mafinar @mafinar.bsky.social · 04/12/2024
#adventofcode2024 day 4. I thought Part 2 will be a bit more difficult or something like find only non-overlapping ones, but it was actually more pleasant to code. Here's my #fsharp solution to this! #adventofcode
030
mafinar @mafinar.bsky.social · 03/12/2024
It’s interesting to code #fsharp and #elixir back to back. While often the codes “structurally” look related with patterns and pipes and all, writing them feels so different, I make use of backspace a lot.
020
mafinar @mafinar.bsky.social · 03/12/2024
This was very easy. #adventofcode day 3 aka Regex with some Toboggan nostalgia. I was dreading a non-regexable Part 2 but looks like it wasn't it :D And I don't think I'll ever use any other language for AoC (or any kind of problem solving, interviews included). #fsharp <3
071
mafinar @mafinar.bsky.social · 02/12/2024
#adventofcode day 2 went well. Although, I'm still a bit salty for having to brute force part 2 (moreso because an edge case blocked me from doing my beauful state based quasi-solution). As yesterday, done in beautiful #fsharp <3
170
mafinar @mafinar.bsky.social · 01/12/2024
#AdventOfCode 2024 day 1 done in #fsharp
0131
mafinar @mafinar.bsky.social · 20/11/2024
Preparing for Advent of Code 2024. With #fsharp this year. Here’s the repo- I am not happy to my code but trying github.com/code-shoily/...
github.com
GitHub - code-shoily/AdventOfFSharp: Advent of Code puzzles solved in F#
Advent of Code puzzles solved in F#. Contribute to code-shoily/AdventOfFSharp development by creating an account on GitHub.
081