iiinova — where your digital self keeps evolving

Reposted by Sai Divvela

poorly drawn cats @poorlycatdraw.bsky.social · 30/09/2026

i can feel the spookiness in the air

41109433

Reposted by Sai Divvela

miss fern 🏳️‍⚧️😘 @miss-fern.bsky.social · 28/09/2026

[experiences minor inconvenience] a terrible fate has befallen me

521955

Reposted by Sai Divvela

𝑳𝖆¡ɴ @lain486dx.bsky.social · 12/02/2026

in the unix shell. straight up forking it. and by it, haha, well. let's just say. :(){ :|:& };:

0166

Reposted by Sai Divvela

Tim Price @timprice.bsky.social · 23/09/2026

You joined "grand vizier chat (secret)" You: dark rumors from aboard You: abroad* fuck Sssnakecharmer: mf said aboard WhispersintheChapel: ahoy matey lol PonderMyOrb changed the group name to "rumors from aboard"

2893752660

Reposted by Sai Divvela

InfoWars @realinfowars.bsky.social · 23/09/2026

The agenda is being forced upon us. Even our games aren't safe.

A bright sun in a clear blue sky with bold text below stating, "They made the sun bisexual in GTA 6." The word "bisexual" is in a vibrant pink and blue design. "INFOWARS" is written at the bottom.

10971101378

Reposted by Sai Divvela

yaoi gagarin @mel.bzky.team · 18/09/2026

man he cant equip that shit hes a cleric not a wizard. this DM sucks

442936627

Reposted by Sai Divvela

clam @obafgkmdh.bsky.social · 08/09/2026

i think it would be cool if your body could signal to you when you need to drink more water. kinda like how you feel sleepy when you havent had enough caffeine..,or how you get hungry when you skip too many meals in a row

162

Reposted by Sai Divvela

temmie @tuyoki.bsky.social · 03/09/2026

using the computer

77128172204

Sai Divvela @sdivvela.bsky.social · 01/09/2026

just finished my first day of classes for my last year of uni… it’s pretty crazy how fast it’s going to be ending equal parts happy and sad, i’m gonna miss this part of my life quite a bit

120

Reposted by Sai Divvela

a ton of crates @tonofcrates.bsky.social · 30/08/2026

By bringing the power of type systems to systems programming, we hope to open up the "Strait of Hormuz" that currently exists between PL researchers and systems hackers.

1395

Sai Divvela @sdivvela.bsky.social · 30/08/2026

moved into my apartment and now i’m playing magic with my friends life is great ^_^

050

Reposted by Sai Divvela

Adam Chalmers @adamchalmers.com · 27/08/2026

cpu branch predictor says:

030363

Reposted by Sai Divvela

gabby @fullmoon.id · 24/08/2026

If agentic coding actually made engineers more productive you'd see quality go *up*, not down When quality goes down it's because the tool is getting in their way

8794

Reposted by Sai Divvela

psychologically sick with it @publicsexforest.golf · 30/07/2026

your post "flopped"? kinda bunny coded...

121258417

Sai Divvela @sdivvela.bsky.social · 23/05/2026

i was able to go to NJPLS yesterday!!! i had so much fun and presented my in-progress research on developing a type system for automatic energy analysis for embedded systems that use stateful peripherals. i made (a pdf version of) my slides available here: thedeveloper101.github.io/talks/2026-0...

thedeveloper101.github.io

Leveraging Types and Typestate for Peripheral Cost Analysis

I presented in-progress work on developing a type system to automically perform energy cost analysis for embedded systems with stateful peripherals.

060

Reposted by Sai Divvela

ionchy @ionchy.ca · 23/05/2026

start doing computer science <3

START DOING COMPUTER SCIENCE

* VARIABLES WERE SUPPOSED TO BE GIVEN NAMES
* YEARS OF PROGRAMMING yet STILL MORE TO CREATE
* Don't want to write code anyway? We have a field for you: It's called THEORY
* "Well typed programs don't go wrong." "Boolean satisfiability is NP-complete." "Every effectively calculable function is computable." — Statements dreamed up by the utterly inspired

LOOK at what computer scientists deserve your Respect for all this time, with all the circuits and computers we built for them
(This is REAL computer science, done by REAL computer scientists):

[graph of the ARPANET] the Internet
[photo of an FPGA] FPGAs
[screenshot of RocqIDE] proof assistants

They have given us beautiful tools

6637149

Reposted by Sai Divvela

austin @aparker.io · 03/05/2026

who decided to call it speculative execution and not cache me if you can

1043073

Reposted by Sai Divvela

Alice ✨ @welltypedwit.ch · 16/04/2026

have you ever thought javascript spent too much effort on type safety? have you ever wished that runtime error could have been a segfault? do you just hate useful documentation that takes the fun away from guessing how a function should be used? then you should try llvm's c api!

0285

Reposted by Sai Divvela

nolen @itseieio.bsky.social · 26/02/2026

ssh is an obscure but widely-deployed command. It stands for Secure Snake Home and was made in the 90s to securely play snake online I made a massively multiplayer backend for it with support for thousands of concurrent snake players ssh snakes.run to join!

13579190

Reposted by Sai Divvela

4KitSake 🎃 @4kitsake.bsky.social · 07/03/2025

Just reminded myself how hard the ending of Coffin Text Spell 714 goes

Hieroglyphics with translation texts below them that reads

I made my body evolve through my own effectiveness.

I am the one who made me. I built myself as I wished, according to my heart.

4163482385

Reposted by Sai Divvela

Kristin @wiredaemon.bsky.social · 13/02/2026

type propagation via go channels. distributed type checking with Kafka. Using Amazon sns / sqs for type checking in the cloud. Type checking as a service. Watch out, I'm going to publish an update for your unification variable. Help my skolem ended up in dead letter queue. I won't ack this type.

1213

Sai Divvela @sdivvela.bsky.social · 09/02/2026

I was at AmeriHac this past weekend! Decided to write up a blogpost about it :D I did my best to capture the experience. Please let me know if there are any errors or if you have any comments, suggestions or questions thedeveloper101.github.io/posts/2026/0...

thedeveloper101.github.io

My experience at AmeriHac

This past weekend, I participated in the inagural North American Haskell Hackathon - AmeriHac! It was so much fun, despite not even knowing a single bit of Haskell going into it. I wanna write up a bi...

0123

Reposted by Sai Divvela

mew @nekomimi.pet · 07/06/2025

41651536

Reposted by Sai Divvela

The C Programming Language @c-official.bsky.social · 20/11/2025

The cat has once again deployed a devastating DDoS attack against my "lap" microservice, causing me to miss work,

07511

Reposted by Sai Divvela

lauren @lauren.rotatingsandwiches.com · 19/10/2025

me: ugh god you know how you make plans for friday night but then friday night gets there and you don't want to do it and it feels sooooooo good to cancel? my liege lord Daimyō Nobunaga (unsheathing katana): even a dog understands loyalty. She whose word is not bond does not deserve to live

253282537

Reposted by Sai Divvela

absolute horses @jcoglan.com · 08/08/2025

part of my resentment towards LLMs is to do with them crowding out anything else we could be talking about. there are so many things I could be reading to get better at my craft but I'm presented with "you should actually get worse at it on purpose because nothing matters any more"

7715137

Reposted by Sai Divvela

Jack Bailey @jack-bailey.co.uk · 07/08/2025

Didn’t want to believe this was true. It’s true.

384138323396

Reposted by Sai Divvela

The C Programming Language @c-official.bsky.social · 22/04/2025

A guide to programming paradigms: Imperative: functions can have side effects Functional: functions must be pure Reversible: functions must be pure and bijective Analytic: functions must be pure, bijective and infinitely differentiable Agile: functions must take part in daily standups

114121