Why do I need a million guards to prevent claude from fucking up? Why can't it just do the right thing in the first place?
Akhil Indurti 🇵🇸
@akhil.cc
I play guitar and post nonsense about PL. @smasher164@hachyderm.io, @smasher164 on twitter
"aesthetic contemplation temporarily alleviates suffering" i say as i break in my new pumas
The Love Island discourse reminds me of how morally bankrupt people are.
everyone's got bigint and bigfloat, but nobody talks about bigbool. gflat will come with arbitrary precision bools
trying to hedonically adapt to a state of suffering but the state of suffering's got hands
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...
Type Inference (Part 1)
A tutorial on Hindley Milner type inference.
blog.akhil.cc
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.
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.
"i don't believe in copyright" says the guy who wants to steal your work
i wonder how many people like claude because they never got good at vim
If your name is unique enough, I won’t parenthesize it in my contacts with where I met you.
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
the reasons for flushing early are different for public and private restrooms
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.
white girls only think i look feminine cause they have to pay for lip filler not to look like patrick star
seattle has great coffee shops because none of the baristas are straight