mafinar
banner
mafinar.bsky.social
mafinar
@mafinar.bsky.social
F# and Elixir, mostly.
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 - 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.
github.com
November 18, 2025 at 4:54 AM
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
February 27, 2025 at 11:00 PM
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
February 23, 2025 at 3:37 AM
Reposted by mafinar
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...
Why you should consider F# — Asfaload
asfaload.com
February 21, 2025 at 6:24 PM
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 - CaptnCodr/Fli: Execute CLI commands from your F# code in F# style!
Execute CLI commands from your F# code in F# style! - CaptnCodr/Fli
github.com
February 21, 2025 at 2:22 AM
This is hands down my favourite operator #fsharp #elixir

Interesting to know some history

learn.microsoft.com/en-au/archiv...
Archeological Semiotics: The Birth of the Pipeline Symbol, 1994
learn.microsoft.com
February 14, 2025 at 1:07 AM
Looking forward to this!
Hey #fsharp folks, join us this coming Friday, Jan 24th @ 5pm UTC for an Oxpecker performance walkthrough by @lanayx.bsky.social.

amplifyingfsharp.io/sessions/202...
Oxpecker: Performance walkthrough | Amplifying F#
amplifyingfsharp.io
January 20, 2025 at 9:10 PM
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
December 26, 2024 at 2:15 AM
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.
December 21, 2024 at 7:07 PM
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 🙏
December 21, 2024 at 6:03 PM
#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)
December 11, 2024 at 7:42 AM
#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
December 9, 2024 at 2:52 AM
#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 :(
December 6, 2024 at 5:29 AM
Working on #adventofcode2024 day 5 was such a wholesome experience! Lots of pipes and arrows!

#adventofcode #fsharp
December 5, 2024 at 7:28 AM
#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
December 4, 2024 at 12:06 PM
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.
December 3, 2024 at 1:59 PM
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
December 3, 2024 at 5:58 AM
#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
December 2, 2024 at 7:00 AM
#AdventOfCode 2024 day 1 done in #fsharp
December 1, 2024 at 6:19 AM
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 - 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.
github.com
November 20, 2024 at 12:05 AM