iiinova — where your digital self keeps evolving

Wrote a tutorial on type inference that covers HM, bidirectional type-checking, row polymorphism, newtypes, type annotations, and the value restriction. Check it out! www.blog.akhil.cc/type-inferen...

blog.akhil.cc

Type Inference (Part 1)

A tutorial on Hindley Milner type inference.

032

Akhil Indurti 🇵🇸 @akhil.cc · 17/06/2026

Harlem: Dream Drop Distance

000

Akhil Indurti 🇵🇸 @akhil.cc · 16/06/2026

Given how trivial it is for mythos-class models to identify an exploit, I’m going to assume any sufficiently large project written in C, C++, or Zig is riddled with latent vulnerabilities and compromised.

020

Akhil Indurti 🇵🇸 @akhil.cc · 30/05/2026

I think I'm starting to prefer flawed language more. Seeing people's writing with their own quirks and grammatical errors serves as a way to know you're getting something authentic.

020

Akhil Indurti 🇵🇸 @akhil.cc · 29/05/2026

"i don't believe in copyright" says the guy who wants to steal your work

030

Akhil Indurti 🇵🇸 @akhil.cc · 19/05/2026

i wonder how many people like claude because they never got good at vim

100

Akhil Indurti 🇵🇸 @akhil.cc · 06/05/2026

If your name is unique enough, I won’t parenthesize it in my contacts with where I met you.

000

Akhil Indurti 🇵🇸 @akhil.cc · 05/05/2026

my cat has two moods: sleeping and biting

000

Reposted by Akhil Indurti 🇵🇸

Dare Obasanjo @carnage4life.bsky.social · 27/04/2026

This is a reason that Anthropic’s warnings ring hollow. It appears hypocritical to constantly warn that AI will lead to mass layoffs while building the leading tool(s) driving mass layoffs in the software industry. There is no “human cloning is bad but we’re the top human cloning company” CEO on TV

831850

Akhil Indurti 🇵🇸 @akhil.cc · 16/03/2026

zendaya looking fine as hell tonight

000

Akhil Indurti 🇵🇸 @akhil.cc · 15/03/2026

god please stop sending me fixer-uppers

020

Akhil Indurti 🇵🇸 @akhil.cc · 13/03/2026

the reasons for flushing early are different for public and private restrooms

020

Akhil Indurti 🇵🇸 @akhil.cc · 13/03/2026

to live is to find street parking

110

Akhil Indurti 🇵🇸 @akhil.cc · 09/03/2026

Known for Algol 60, CSP, Hoare logic, Quicksort, and more--any single one of Tony Hoare's accomplishments is remarkable on its own. RIP to a legend.

1102

Akhil Indurti 🇵🇸 @akhil.cc · 09/03/2026

white girls only think i look feminine cause they have to pay for lip filler not to look like patrick star

010

Akhil Indurti 🇵🇸 @akhil.cc · 27/12/2025

seattle has great coffee shops because none of the baristas are straight

010

Akhil Indurti 🇵🇸 @akhil.cc · 18/12/2025

I had a dream that I got my instagram back 😭

110

Akhil Indurti 🇵🇸 @akhil.cc · 18/12/2025

But can dialectics consider statistical significance?

000

Akhil Indurti 🇵🇸 @akhil.cc · 01/12/2025

Where am I supposed to find a pear tree at this hour?

020

Akhil Indurti 🇵🇸 @akhil.cc · 24/11/2025

“My lord, I brought you their precious heirlooms.” *peers away from the rank odor* “Where are the jewels?” “They are a family of farmers. These tomatoes have been passed down for generations.”

030

Akhil Indurti 🇵🇸 @akhil.cc · 24/11/2025

One’s character is not so easily compartmentalized. An impulsive cheater who stumbles into drama in their relationships is bound to the same dynamic in academic and professional settings.

020

Akhil Indurti 🇵🇸 @akhil.cc · 19/11/2025