cat

228 posts

cat banner
cat

cat

@Ryan_Jarv

Seattle, WA Katılım Ekim 2011
461 Takip Edilen427 Takipçiler
cat
cat@Ryan_Jarv·
~35 hours (paused now)
cat tweet media
English
0
0
0
2
cat
cat@Ryan_Jarv·
Well... I guess I better dig into this more. Sorta was tempted to let it run and see if it eventually sorted this stuff out because the prompts have been pretty generic so far and could be applied to any project... but... want to make sure it get's this right.
English
1
0
0
5
cat
cat@Ryan_Jarv·
@SMT_Solvers Tbf it was cause I wasn’t reviewing things… but I guess what I mean is I blame the fact I was superficially reviewing things partly on changing editors.
English
0
0
0
21
cat
cat@Ryan_Jarv·
@SMT_Solvers Vim is how things ended up getting so bad here. It’s too late for me to change editors I think… so much of it is just habit at this point.
cat@Ryan_Jarv

Still running.

English
1
0
0
62
cat
cat@Ryan_Jarv·
@SMT_Solvers I don’t understand how you can argue types aren’t important when guarantee’s around code behavior are more important then ever… like you really want to be guessing what is gonna be stuck where?
English
1
0
0
15
cat
cat@Ryan_Jarv·
At least the diffs are mostly red…
English
0
0
0
38
cat
cat@Ryan_Jarv·
Slightly upset about a pre-ai project slowly falling into a mess of ridiculousness so gave codex a Hail Mary /goal prompt last night… Still going… if this doesn’t fix it, it’ll definitely kill it.
cat tweet media
English
1
0
0
116

Keşfet

@SMT_Solvers @elonmusk @BarackObama @taylorswift13 @cristiano @BillGates @NASA @nikifrancismediavine