Sign in

frectonz

@frectonz.et
105 followers 390 following 86 posts

frectonz.et

PostsRepliesMedia
frectonz @frectonz.et · 31/08/2026
Interview (tmpout.sh/5/2.html)
tmpout.sh
Interview: Doug McIlroy ~ tmp.0ut Staff
000
frectonz @frectonz.et · 31/08/2026
Computing is crazy because we can interview the guy who created the hammer at the same time the industry is trying to build self replicating robots.
>  So you wrote echo?
That was the first C program I ever wrote. 
> o.0 wow
And little did I know that it was going to become a well-known program.
> echo was your program?
First C program. When C was just invented.
> What year was this?
About '72.
100
frectonz @frectonz.et · 31/08/2026
10/25 half of it is just faces I remember from instagram reels
000
frectonz @frectonz.et · 31/08/2026
Some pictures from my balcony.
010
frectonz @frectonz.et · 30/08/2026
pub type BoxStr = Box<str>; pub type BoxList<T> = Box<[T]>; Should be your defaults until you need to modify the data.
From the quoted Cloudflare Blog
---
Using Box<[T]> solves both problems. It can’t grow after creation, so it doesn’t need a capacity field or reserve space for future elements. The same applies to String, which also carries a capacity field. Box<str> drops it.

Each cache entry stores 8 Vec and String fields. Replacing them with Box<[T]> and Box<str> saves 8 bytes per field, 64 bytes per entry. It also eliminates the excess heap memory that Vec reserves for future growth. The combined savings add up to over 15 terabytes with over 250 billion cache entries.
010
frectonz @frectonz.et · 29/08/2026
Wow awesome, got reposted
a repost of my last post by evan, creator of acadia and elm
000
frectonz @frectonz.et · 29/08/2026
Spending my Saturday playing around with Acadia. Feels like i'm doing a detox, no syntax highlighting, no LSPs, no LLMs. @acadia.engineering and @terezasokol.bsky.social cooked with this 👏
helix showing a counter implementation in acadia at the top and that same counter implementation being run via `acadia serve` at the bottom
0134
frectonz @frectonz.et · 29/08/2026
lazygit output after accidentally piping a binary to stdout
000
frectonz @frectonz.et · 18/02/2026
nope, it's not
000
frectonz @frectonz.et · 18/02/2026
doing my part to save the world from the RAMpocalypse
130
frectonz @frectonz.et · 16/02/2026
pennyproxy.com
pennyproxy.com
Penny - Serverless for your servers
A reverse proxy that starts your apps on demand and kills them when idle.
000
frectonz @frectonz.et · 16/02/2026
100
frectonz @frectonz.et · 12/01/2026
that job satisfaction must have hit hard 😂
020
frectonz @frectonz.et · 12/12/2025
I just completed all 12 days of Advent of Code 2025! #AdventOfCode adventofcode.com Cursor did it not me, also stole a python solution for Day 10 Part 2
adventofcode.com
Advent of Code 2025
040
frectonz @frectonz.et · 11/12/2025
github.com/frectonz/adv...
github.com
advent_of_code_2025/day-11 at main · frectonz/advent_of_code_2025
Solutions for advent of code 2025. Contribute to frectonz/advent_of_code_2025 development by creating an account on GitHub.
020
frectonz @frectonz.et · 11/12/2025
I've completed "Reactor" - Day 11 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/11 Used @rust-lang.org Part 1 - Used Petgraph Part 2 - Used Pathfinding
adventofcode.com
Day 11 - Advent of Code 2025
150
frectonz @frectonz.et · 10/12/2025
github.com/frectonz/adv...
github.com
advent_of_code_2025/day-10/part-1 at main · frectonz/advent_of_code_2025
Solutions for advent of code 2025. Contribute to frectonz/advent_of_code_2025 development by creating an account on GitHub.
010
frectonz @frectonz.et · 10/12/2025
Couldn't solve Day 10, only did part 1. Used @rust-lang.org also use nom for the parser Implementing the parser was the only fun part
120
frectonz @frectonz.et · 09/12/2025
github.com/frectonz/adv...
github.com
advent_of_code_2025/day-09 at main · frectonz/advent_of_code_2025
Solutions for advent of code 2025. Contribute to frectonz/advent_of_code_2025 development by creating an account on GitHub.
000
frectonz @frectonz.et · 09/12/2025
I've completed "Movie Theater" - Day 9 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/9 Used @rust-lang.org
adventofcode.com
Day 9 - Advent of Code 2025
130
frectonz @frectonz.et · 08/12/2025
This one broke me, had to port someone else's python code just to get the stars. github.com/frectonz/adv...
github.com
advent_of_code_2025/day-08 at main · frectonz/advent_of_code_2025
Solutions for advent of code 2025. Contribute to frectonz/advent_of_code_2025 development by creating an account on GitHub.
020
frectonz @frectonz.et · 08/12/2025
I've completed "Playground" - Day 8 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/8 Used @typescriptlang.org
adventofcode.com
Day 8 - Advent of Code 2025
130
frectonz @frectonz.et · 07/12/2025
github.com/frectonz/adv...
github.com
GitHub - frectonz/advent_of_code_2025: Solutions for advent of code 2025
Solutions for advent of code 2025. Contribute to frectonz/advent_of_code_2025 development by creating an account on GitHub.
010
frectonz @frectonz.et · 07/12/2025
I've completed "Laboratories" - Day 7 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/7 Used Elm
adventofcode.com
Day 7 - Advent of Code 2025
130
frectonz @frectonz.et · 06/12/2025
github.com/frectonz/adv...
github.com
advent_of_code_2025/day-06 at main · frectonz/advent_of_code_2025
Solutions for advent of code 2025. Contribute to frectonz/advent_of_code_2025 development by creating an account on GitHub.
010
frectonz @frectonz.et · 06/12/2025
basically just pattern matched my way out of hell
screenshot of helix edit with the ayu dark theme showing the text

parseNumberLine :: [Int] -> String -> [[Maybe Int]]
parseNumberLine indexes s = go [] s
  where
    isGroup :: String -> Bool
    isGroup []         = True
    isGroup [' ']      = True
    isGroup (' ' : tl) = (length s - length tl) `elem` indexes
    isGroup _          = False

    go :: [[Maybe Int]] -> String -> [[Maybe Int]]

    go acc (' '  : ' ' : ' ' : d   : tl) | isGroup tl && isAllDigits [d]          = go' ([n  , n  , n  , y d] : acc) tl
    go acc (' '  : ' ' : c   : d   : tl) | isGroup tl && isAllDigits [c, d]       = go' ([n  , n  , y c, y d] : acc) tl
    go acc (' '  : b   : c   : d   : tl) | isGroup tl && isAllDigits [b, c, d]    = go' ([n  , y b, y c, y d] : acc) tl
    go acc (a    : ' ' : ' ' : ' ' : tl) | isGroup tl && isAllDigits [a]          = go' ([y a, n  , n  , n  ] : acc) tl
    go acc (a    : b   : ' ' : ' ' : tl) | isGroup tl && isAllDigits [a, b]       = go' ([y a, y b, n  , n  ] : acc) tl
    go acc (a    : b   : c   : ' ' : tl) | isGroup tl && isAllDigits [a, b, c]    = go' ([y a, y b, y c, n  ] : acc) tl
    go acc (a    : b   : c   : d   : tl) | isGroup tl && isAllDigits [a, b, c, d] = go' ([y a, y b, y c, y d] : acc) tl

    go acc (' '  : ' ' : c   : tl) | isGroup tl && isAllDigits [c]       = go' ([n  , n  , y c] : acc) tl
    go acc (a    : ' ' : ' ' : tl) | isGroup tl && isAllDigits [a]       = go' ([y a, n  , n  ] : acc) tl
    go acc (' '  : b   : c   : tl) | isGroup tl && isAllDigits [b, c]    = go' ([n  , y b, y c] : acc) tl
    go acc (a    : b   : ' ' : tl) | isGroup tl && isAllDigits [a, b]    = go' ([y a, y b, n  ] : acc) tl
    go acc (a    : b   : c   : tl) | isGroup tl && isAllDigits [a, b, c] = go' ([y a, y b, y c] : acc) tl

    go acc (' '  : b   : tl) | isGroup tl && isAllDigits [b]    = go' ([n  , y b] : acc) tl
    go acc (a    : ' ' : tl) | isGroup tl && isAllDigits [a]    = go' ([y a, n  ] : acc) tl
    go acc (a    : b   : tl) | isGroup tl &&
120
frectonz @frectonz.et · 06/12/2025
I've completed "Trash Compactor" - Day 6 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/6 Used @haskell.org
adventofcode.com
Day 6 - Advent of Code 2025
140
frectonz @frectonz.et · 05/12/2025
github.com/frectonz/adv...
github.com
advent_of_code_2025/day-05 at main · frectonz/advent_of_code_2025
Solutions for advent of code 2025. Contribute to frectonz/advent_of_code_2025 development by creating an account on GitHub.
000
frectonz @frectonz.et · 05/12/2025
I've completed "Cafeteria" - Day 5 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/5 Used @ocaml.org
adventofcode.com
Day 5 - Advent of Code 2025
151
frectonz @frectonz.et · 04/12/2025
github.com/frectonz/adv...
github.com
advent_of_code_2025/day-04 at main · frectonz/advent_of_code_2025
Solutions for advent of code 2025. Contribute to frectonz/advent_of_code_2025 development by creating an account on GitHub.
000
frectonz @frectonz.et · 04/12/2025
I've completed "Printing Department" - Day 4 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/4 Used @rust-lang.org
adventofcode.com
Day 4 - Advent of Code 2025
140
frectonz @frectonz.et · 03/12/2025
awesome
010
frectonz @frectonz.et · 03/12/2025
custom sprite animations for when they get thrown 👀
120
frectonz @frectonz.et · 03/12/2025
github.com/frectonz/adv...
github.com
advent_of_code_2025/day-03 at main · frectonz/advent_of_code_2025
Solutions for advent of code 2025. Contribute to frectonz/advent_of_code_2025 development by creating an account on GitHub.
000
frectonz @frectonz.et · 03/12/2025
I've completed "Lobby" - Day 3 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/3 Used Idris
adventofcode.com
Day 3 - Advent of Code 2025
120
frectonz @frectonz.et · 02/12/2025
github.com/frectonz/adv...
github.com
advent_of_code_2025/day-02 at main · frectonz/advent_of_code_2025
Solutions for advent of code 2025. Contribute to frectonz/advent_of_code_2025 development by creating an account on GitHub.
000
frectonz @frectonz.et · 02/12/2025
I've completed "Gift Shop" - Day 2 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/2 Used @gleam.run
adventofcode.com
Day 2 - Advent of Code 2025
120
frectonz @frectonz.et · 01/12/2025
github.com/frectonz/adv...
github.com
advent_of_code_2025/day-01 at main · frectonz/advent_of_code_2025
Solutions for advent of code 2025. Contribute to frectonz/advent_of_code_2025 development by creating an account on GitHub.
000
frectonz @frectonz.et · 01/12/2025
I've completed "Secret Entrance" - Day 1 - Advent of Code 2025 #AdventOfCode adventofcode.com/2025/day/1 Used @unison-lang.org
adventofcode.com
Day 1 - Advent of Code 2025
130
frectonz @frectonz.et · 18/11/2025
We won
040
frectonz @frectonz.et · 12/10/2025
live action tldraw 😂
030
frectonz @frectonz.et · 12/10/2025
added a talks section to my website
020
frectonz @frectonz.et · 11/10/2025
niceee
010
frectonz @frectonz.et · 06/10/2025
this is beautiful
010
frectonz @frectonz.et · 05/10/2025
radicalizing the youth
041
frectonz @frectonz.et · 27/09/2025
oh snap this is really cool
030
frectonz @frectonz.et · 16/06/2025
does this apply to '\r' and '\t'
100
frectonz @frectonz.et · 30/05/2025
as always, elm code looks beautiful
010
frectonz @frectonz.et · 28/05/2025
I think this isnt just a bluesky thing, people will disagree with you and misrepresent you wherever you're on the internet Dont wait for a time where everyone bluesky is pleasant and understanding, because that's most likely never going to be true on bluesky or anywhere else on the public internet
0100
frectonz @frectonz.et · 28/05/2025
this makes way too much sense
000