frectonz's Avatar

frectonz

@frectonz.et.bsky.social

https://frectonz.et

73 Followers  |  301 Following  |  46 Posts  |  Joined: 20.03.2024  |  2.08

Latest posts by frectonz.et on Bluesky

live action tldraw πŸ˜‚

12.10.2025 14:24 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

added a talks section to my website

12.10.2025 00:50 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

niceee

11.10.2025 15:42 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

this is beautiful

06.10.2025 22:56 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

radicalizing the youth

05.10.2025 18:18 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

oh snap this is really cool

27.09.2025 20:37 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

does this apply to '\r' and '\t'

16.06.2025 16:25 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

as always, elm code looks beautiful

30.05.2025 20:23 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

28.05.2025 20:29 β€” πŸ‘ 10    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

this makes way too much sense

28.05.2025 20:19 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

oh nice, when will it drop

23.05.2025 16:13 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

This doesn't warrant the need for a new language, just use a linter.

23.05.2025 13:09 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Post image

crazy that nix has built in support for building idris projects

20.05.2025 09:25 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
GitHub - frectonz/lc3-idris: LC3 Disassembler in Idris LC3 Disassembler in Idris. Contribute to frectonz/lc3-idris development by creating an account on GitHub.

Been learning idris recently, here is my second Idris Project, an LC3 machine code disassembler.

github.com/frectonz/lc3...

19.05.2025 11:23 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Starburns from the show Community with his star-shaped sideburns, top hat, and pet bearded dragon.

Starburns from the show Community with his star-shaped sideburns, top hat, and pet bearded dragon.

Becoming the Rust, Jujutsu, atproto guy at work

05.05.2025 18:37 β€” πŸ‘ 133    πŸ” 8    πŸ’¬ 9    πŸ“Œ 1
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.

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.

Any good social media needs reply guys, glad to be one

03.05.2025 14:21 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

"you gotta define yourself on your own terms rather than in opposition to something else" is also great life advice

01.05.2025 16:08 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

The animations look great πŸ”₯

29.04.2025 16:36 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@sentimentbot.bsky.social

23.03.2025 15:11 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
a yellow rubber duck with smoke coming out of it 's mouth and the words awesome below it Alt: a yellow rubber duck with smoke coming out of it 's mouth and the words awesome below it
22.03.2025 06:57 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

at the last second, you could see the most perfect pillow one could ever imagine

20.03.2025 20:51 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
new nom based parser and a better formatter by frectonz Β· Pull Request #51 Β· chronotope/humantime The new parser adds support for the following allows spaces between values and units, 1hour and 1 hour are both valid. allows for the use of and as a separator, 1 hour and 30 minutes is valid. all...

i have created the PR

github.com/chronotope/h...

20.03.2025 18:07 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I am a true bluesky user now, my handle is my domain, pretty cool

20.03.2025 16:05 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I just thought it would be a big ask for the maintainers, but I am happy to file it as a PR.

20.03.2025 13:43 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Also my new nom based parser supports,
- adding spaces between values and units
- using "and" optionally to separate multiple durations

20.03.2025 10:45 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Was working on adding support for fractional durations, got frustrated and rewrote the whole duration parser in nom, I am guessing it won't work as a PR, will probably release it as a separate crate

20.03.2025 10:40 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

Thanks will do that

13.03.2025 09:28 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

I would also like to help out. Just assign me to a github issue, if you don't have the time to handle it.

My github username is `frectonz`

13.03.2025 08:38 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

This would be awesome

13.03.2025 07:36 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Principles of Technology Leadership | Bryan Cantrill | Monktoberfest 2017
YouTube video by RedMonk Tech Events Principles of Technology Leadership | Bryan Cantrill | Monktoberfest 2017

@bcantrill.bsky.social has talked about this

youtu.be/9QMGAtxUlAc

11.03.2025 20:25 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@frectonz.et is following 20 prominent accounts