Sign in

frectonz

@frectonz.et
105 followers 390 following 86 posts

frectonz.et

PostsRepliesMedia
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
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
doing my part to save the world from the RAMpocalypse
130
frectonz @frectonz.et · 16/02/2026
100
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
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
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
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
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
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
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
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
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
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
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
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 · 12/10/2025
added a talks section to my website
020
frectonz @frectonz.et · 05/10/2025
radicalizing the youth
041
frectonz @frectonz.et · 20/05/2025
crazy that nix has built in support for building idris projects
050
frectonz @frectonz.et · 19/05/2025
Been learning idris recently, here is my second Idris Project, an LC3 machine code disassembler. github.com/frectonz/lc3...
github.com
GitHub - frectonz/lc3-idris: LC3 Disassembler in Idris
LC3 Disassembler in Idris. Contribute to frectonz/lc3-idris development by creating an account on GitHub.
020
Reposted by frectonz
Andrew Lilley Brinker @alilleybrinker.com · 05/05/2025
Becoming the Rust, Jujutsu, atproto guy at work
Starburns from the show Community with his star-shaped sideburns, top hat, and pet bearded dragon.
91339
frectonz @frectonz.et · 03/05/2025
Any good social media needs reply guys, glad to be one
A screenshot of @frectonz.et 's cred.blue score. Showing 249 / 1000. Which is described as a "Highly Engaging Explorer Reply Guy". It also shows that the account is 409 days old.
110
frectonz @frectonz.et · 01/05/2025
"you gotta define yourself on your own terms rather than in opposition to something else" is also great life advice
110
frectonz @frectonz.et · 23/03/2025
@sentimentbot.bsky.social
010
frectonz @frectonz.et · 20/03/2025
I am a true bluesky user now, my handle is my domain, pretty cool
020
frectonz @frectonz.et · 25/11/2024
pglite-fusion now supports all these postgres versions
A code screenshot that shows that pglite-fusion can run with postgres 12, 13, 14, 15, 16 and 17.
010
frectonz @frectonz.et · 21/11/2024
👀
Screenshot of the CEO of Turso Glauber Costa's Bluesky profile that shows that he is following me.
020
frectonz @frectonz.et · 18/11/2024
I made a postgres extension that let's you embed an SQLite database in your PostgreSQL table as column type. github.com/frectonz/pgl...
github.com
GitHub - frectonz/pglite-fusion: Embed an SQLite database in your PostgreSQL table. AKA multitenancy has been solved.
Embed an SQLite database in your PostgreSQL table. AKA multitenancy has been solved. - frectonz/pglite-fusion
151
frectonz @frectonz.et · 15/11/2024
I made a rust library for parsing env vars. Environment variable parser with a clap style derive macro and elm style error reporting. github.com/frectonz/par...
github.com
GitHub - frectonz/parenv: Environment variable parser with a clap style derive macro and elm style error reporting.
Environment variable parser with a clap style derive macro and elm style error reporting. - GitHub - frectonz/parenv: Environment variable parser with a clap style derive macro and elm style error...
130
frectonz @frectonz.et · 08/11/2024
Has anyone made a rust programmers starter pack yet?
130