Profile avatar
innocentzer0.bsky.social
Thorough Rustacean, and wanting to love C++ but can't. Trying out haskell (and loving it so far). innocentzero.is-a.dev
39 posts 10 followers 104 following
Prolific Poster
Conversation Starter
Posts 32 Comments 18

Linus Torvalds created one of the world's most important operating systems—but is he known more for the software he only maintained for a couple of months? 👀 Find out more from our conversation for Git's 20th anniversary. ⬇️ github.blog/open-source/...

submitted 4 days ago • 6 comments

Rewrote my website css. Looks significantly cleaner now that I finally understood how CSS works! Yes, I was bored... (I apologise to codeberg if I bullied their pages service to test my css instead of rendering it locally like any sane person would) Should leave some top margin though maybe.

submitted 4 days ago • 0 comments

this is word-for-word from Haskell's Prelude btw

submitted 5 days ago • 2 comments

Thanks for the reminder @janemunday.bsky.social. Every summer, I repost this article DROWNING DOES NOT LOOK LIKE DROWNING. To date, I know of FOUR kids who were saved after someone who'd clicked on the link learnt how to spot actual drowning. Take time to read and pass on. slate.com/technology/2...

submitted 6 days ago • 106 comments

fireborn.mataroa.blog/blog/matchct... I love this post 😂

submitted 5 days ago • 0 comments

I was bored. github.com/InnocentZero...

submitted 34 days ago • 1 comment

If you message me and I don't reply or drop the ball, this is 100% what happened. Nudges are welcome and appreciated!

submitted 36 days ago • 1 comment

"Wake up baby, someone just segfaulted in Haskell"

submitted 38 days ago • 0 comments

When you finish a 48 hr endsem in 8 hrs and wonder why you even asked your prof to make it 48 hrs to begin with :) Not gonna tag the prof here :)

submitted 46 days ago • 0 comments

Be me - records his own audio in a screencast and splits it using ffmpeg because the audio makes him feel like a third person POV narrator narrating his own life - uses openAI whisper to translate the speech to english text because it is easier to version

submitted 52 days ago • 1 comment

when those kinds of clickbaits appear, it often means...

submitted 76 days ago • 0 comments

A surprising enum size optimization in the #rustlang compiler jpfennell.com/posts/enum-t...

submitted 78 days ago • 5 comments

Living with autism really be like - 5 reps eye contact - 10 reps considering others’ viewpoints and feelings - 3x60 seconds tolerating uncomfortable sensations - Remembering names and faces until failure

submitted 78 days ago • 5 comments

A life in emacs, and verifying FStar for assignments XD On a side note, how much do people multiplex their work? I can do three at the same time :)

submitted 79 days ago • 0 comments

I have come to the conclusion that I seriously, really, deeply despise Java as a programming language.

submitted 79 days ago • 0 comments

What is a loop, if not recursion

submitted 79 days ago • 0 comments

how is every performance comparison between ocaml and haskell always "ocamlopt is much faster at sorting a strict list of (not even) machine words than ghc is at sorting a lazy list of boxed unbounded bigints" like, yes, but ghc is also faster at that lol

submitted 85 days ago • 1 comment

"I used AI to make a Studio Ghibl-"

submitted 87 days ago • 1 comment

submitted 89 days ago • 22 comments

_me with 3 pending assignments and one mid semester exam_ Literate config for everything is the way of life.

submitted 93 days ago • 1 comment

Finally had the patience to sit through all of Rust book 🥹 Next up, nomicon, embedded rust, and async rust (hopefully multiplexed).

submitted 108 days ago • 1 comment

Are streams in OCaml somewhat similar to haskell's iterators (which are lazy by default)?

submitted 108 days ago • 2 comments

submitted 111 days ago • 10 comments

Had to fight so much and change my codeberg username just for a domain name 😭 Why does RFC 1035 not permit underscores 😭😭

submitted 115 days ago • 0 comments

why did they call it a "toolchain" and not "compilers and compiler accessories"

submitted 117 days ago • 2 comments

Spectacular! Saturn, Mars, Venus, Jupiter and crescent moon just before sunrise. 📸 Ren Theelen

submitted 116 days ago • 220 comments

Quiet nights like these

submitted 116 days ago • 0 comments

Here's some fun OCaml memes to lighten the mood (sorry, I don't have attributions)

submitted 117 days ago • 2 comments

they made woke heaps 😔

submitted 117 days ago • 5 comments

Learn Programming with OCaml: Algorithms and Data Structures (462 pages) by Sylvain Conchon & Jean-Christophe Filliâtre usr.lmf.cnrs.fr/lpo/lpo.pdf

submitted 118 days ago • 0 comments

"Zero cost abstractions" is a C++ meme. "If it compiles it works" is a Haskell meme. Rust propaganda is not even that original.

submitted 118 days ago • 9 comments

Nobody can cook better when Linus decides to lore.kernel.org/rust-for-lin... And the aftermath of it all web.git.kernel.org/pub/scm/linu...

submitted 118 days ago • 0 comments