Raaid Tanveer @raaidrt

@stripe, 🎓from @scsatcmu raaidrt.com Joined June 2022

Tweets

426
Followers

63
Following

350
Likes

353

Raaid Tanveer @raaidrt

2 months ago

@AlterranIRL wait, ada? not klaus?

1 0 0 33 0

View Details

Raaid Tanveer @raaidrt

4 months ago

@AdhvikKanagala well, master is default on git, so using main is cringe (since that means you cared enough to change branch name)

1 0 0 30 0

View Details

Raaid Tanveer @raaidrt

4 months ago

@bcherny feature request: make cc request all permissions it could ever need upfront so that i can look over and approve most things it might need permissions for at the start of the session

0 0 0 18 0

View Details

@simonw Coding agents are also great at writing AST walkers. My biggest gripe with writing AST walkers manually is potentially having to case through every node type. Coding agents trivialize solving this problem.

0 0 0 20 0

View Details

Raaid Tanveer @raaidrt

4 months ago

@simonw re: simonwillison.net/guides/agentic… One point that you missed that I think more people should be thinking about now is the value of static analysis and lint rules on code quality. One of the best ways I've ensured that model output variance stays within bounds is by keeping the variety of bad code that can be written to a minimum. You can simply create an agent skill for introducing new lint rules, or make AST walkers for detecting code smells, and then enforce that these checks be run on every commit.

1 0 1 77 0

View Details

Raaid Tanveer @raaidrt

5 months ago

Looking for suggestions on clean proofs that I can write on inductive datatypes. Here's a simple one relating the size and depth of binary trees.

0 0 1 81 0

View Details

Raaid Tanveer @raaidrt

5 months ago

@radokirov probably depends on when a good enough “programming DSL” exists for Lean. I know there are projects like cslib.io, and even the recent github.com/verse-lab/velv… - but still seems much less than general Math support in Lean.

0 0 0 48 1

View Details

Ilya Sergey @ilyasergey

5 months ago

Velvet, our automated Dafny-style verifier embedded into Lean, has moved to a new repository as a standalone Lean library: github.com/verse-lab/velv… Give it a try!

2 22 137 7K 73

View Details

Raaid Tanveer @raaidrt

5 months ago

@dystopiabreaker you don’t need TypeVar’s in Python 3.14 anymore, just write ‘class Ok[T]:’

0 0 8 958 1

View Details

Raaid Tanveer @raaidrt

5 months ago

@AlterranIRL regular languages can be solved with O(1) space in a TM so i feel like this is a moot point - i think what you're asking for is a language with a lower bound space complexity of lg lg n as well right?

1 0 0 33 0

View Details

Raaid Tanveer @raaidrt

5 months ago

@boazbaraktcs @TaliaRinger unless it’s ✨formally verified✨

0 0 0 75 0

View Details

Raaid Tanveer @raaidrt

6 months ago

@amorriscode was the original inspiration Claude Shannon? Or Claude Monet?

0 0 0 18 0

View Details

Raaid Tanveer @raaidrt

6 months ago

@bcherny exclusively on VSCode? is this not supported in the CLI?

0 0 0 18 0

View Details

Raaid Tanveer @raaidrt

6 months ago

well, if everyone used this tool and everyone’s SAT scores improved, then the scores would remain the same I think due to fitting to the normal distribution - I suspect it will become more bimodal due to there being groups of people who take advantage of these tools, and those who don’t

0 0 0 82 0

View Details

Raaid Tanveer @raaidrt

6 months ago

Ok this is really cool I had an HEIC image (Apple's Image format) for a component I wanted to use with my Raspberry Pi, but Claude is unable to examine anything other than JPG. So, it installed a python library for converting the image to JPG, all from the desktop app! I wonder if it did this locally or on a sandbox somewhere.

0 0 0 100 0

View Details

Raaid Tanveer @raaidrt

6 months ago

@patrickc @cursor_ai i’d say opus 4.5 was probably the coolest ai breakthrough since gpt-4 - maybe you wanted to replace “since gpt-4” with “since opus 4.5”?