sekun

sekun

@sekun.net

zelda fan | 4funning programming | EN/ES website: https://www.sekun.net videos: https://youtube.com/@sekunho gh: https://github.com/sekunho currently building: @remotehiro.com pfp: @yamazatomorito.bsky.social

713 followers137 following1K posts

i wrote a simple applicative-ish-but-not-really deserializer for axum req bodies/query just to avoid serde for simpler cases and that require the full error reporting. it's quite fun! i still miss the applicative and functor operators though

sekun reposted

j'en suis à un total de presque 3000€ de dettes (dont 1240€ de loyer) je suis désolée de faire que relancer depuis un moment mais vrmt si vous pouvez m'aider financièrement (même 5€ peuvent aider) ou en partageant ça pourrait beaucoup m'aider www.paypal.me/naomidps

paypal.mePay Naomi Dupas using PayPal.MeGo to paypal.me/naomidps and type in the amount. Since it’s PayPal, it's easy and secure. Don’t have a PayPal account? No worries.

i passed one of my exams!! i have one in ~2 months and the final one next feb. if i pass it all i'll finally have the time to unwind for the first time in over a year and go crazy by... playing factorio

no matter how much you explain to someone in hopes they'll get a clearer perspective of things instead of hurling assumptions laced with ignorance, it's a waste of time to engage further if they made up their mind a long time ago. i've already wasted so much time, so i'll lock my replies to oomfs

what a strange interaction just for sharing the distro i like omg 😭😭😭 SORRY FOR FINDING THE FRAMEWORK DESKTOP TINY AND CUTE AND FOR WANTING AND WORKING HARD W/ MULTIPLE GIGS JUST TO GET IT I GUESS???

can a US tech company hire and offer me 6 figures so that i can actually be rich and privileged and afford a homelab in this economy plz gracias

we should get rid of data centers then run programs on each other's computers and pinky promise they're not malicious 😇

new blog post + video this tues :D (this is a procrastination blog post so it's v short)

spacebar is v rattly i don't think i ever got to fixing that. too bad it's back home :'( i can't use it

my brain is in a weird spot right now because i'm only able to type dvorak on a split ortholinear keyboard but on a normal unibody keyboard, i literally can't. my dvorak muscle memory works only for split keebs what

sekun reposted

hi, just a reminder that I'm still looking for a job in the paris region or remote. i'm fluent in (typed) python and ocaml and adept of functional patterns (with a tint of pragmatism) and imperative shell, functional core in particular my skills shine in maintaining and cleaning up existing code

if you ever think your takes are bad, just remember there's someone out there who thinks we would be better off without ad-blockers

ohhhh yeah can't wait to segfault a gc'd language

sekun@sekun.net

am i stubborn enough to not use any third party Go packages

i hope one day the hype with AI will simmer down for other facets of programming to take the spotlight again. most talks or tech shifted to AI developments/dramas and it gets stale after a bit. but i'm glad that there are still a few conferences that cover other topics (like Software Should Work)

i particularly enjoyed Alexis' data modeling talk and Richard Hipp's SQLite talk :D

woah zig has a built-in http server? neat-o. C FFI seems really nice there too hrmm

apps need to take no for an answer rather than "later" when i disable its notifications entirely