Big tech cyberpunk. Senior Staff Blade Runner. Proud member of the Brotherhood of Technologists.
Callisto Station
- Tweets 18,467
- Following 1,237
- Followers 1,484
- Likes 28,734
This guy has been on polymarket for a total of 3 hours plowing huge sums into at-the-market orders, moving the market, and then immediately taking huge losses. Down $400k so far.
34
31
1,282
301,305
Was checking up on our hero and just noticed this. He dropped $100k on a "kamala will be president by friday" bet driving the price from basically 1c to 95c. Then idk panicked or something? And immediately sold it all for 1c, basically vaporizing his $100k in like ten minutes.
3
7
496
26,896
Folks are telling me this is money laundering. And it certainly could be! I think that's a very live hypothesis. But "guy got lucky on jeo boden coin and promptly vaporized his windfall at polymarket because he didn't understand market orders" is pretty plausible too imo.
7
3
501
18,417
• 0 likes: Garbage tweet. What was I thinking. Gonna kms.
• 1 like: Oh we're cooking.
• 5 likes: Incredible. Transcendent. I'm going to become a professional poaster.
• 589 likes: Low effort reply to a big account that I posted while absolutely blasted.
14
17
393
15,314
Honestly the fact that this arrangement is full of slop makes it even more offensive.
I should add - this packing for 17 squares is not rigid - 3 of them can slide, and one even has room to wiggle, but it's not enough to allow any of the other squares to move inward, so it doesn't change the size of the containing square.
2
21
339
9,807
Right??? I refuse to watch the 25 minute keynote and the product page has literally zero information.
7
1
319
62,309
It wasn't them, it was their uncredited RA? Sounds like they have this whole academia thing figured out.
2
182
33,168
Anyway, currently down $512k. polymarket.com/profile/0x715…
4
166
18,300
Everyone in the theater stood up and clapped. That 8 year old's name? Albert Einstein.
4
2
128
2,772
Lots of mind blowing examples of ChatGPT's capabilities on the timeline, but I've been trying to use it as a tutor, and its error rate is too high to be useful. I end up having to fact check everything I don't already understand.
6
5
138
I don't buy the argument that languages like Haskell wouldn't benefit from an IDE. In fact, it's the opposite. Languages rich in type information have the most to gain from a good IDE.
10
23
115
Symbolic analysis tool flags 34,000+ Ethereum contracts as buggy with a true positive rate of 89%! They estimate almost $6 million worth of ether could be extracted by exploiting these. arxiv.org/abs/1802.06038
2
72
117
Riffing on @missingfaktor's gif, here's Agda writing my code for me.
2
43
105
Wow shocking. Thanks for bringing this to my attention. I also only post genuine Frog and Toad quotes.
“I think the grass is watching,” said Toad. “Whispering my secrets. I saw myself become a speck and god laughed. Everything shimmers with a terrible intensity. The ether is menacing. My joy turned to fear and then ashes.”
“It’s ok, Toad” said Frog. “You’re just tripping balls.”
1
1
104
13,012
Seems like perplexity is the obvious $20/month winner right now. Their flagship LLM augmented search works well and copilot is neat, but it also gives you 600 GPT-4 queries per day, which is more than OpenAI's 400 (50 per 3 hours).
8
5
108
20,480
Peak Dijkstra. cs.utexas.edu/~EWD/transcrip…
ALT Excerpt from the linked article. "The moral of the story is clear: real programmers don't reason about their programs..."
3
49
70
Lots of perfectly average faces. Adding more attractive ones might increase number viewed.
4
77
7,917
Long slender legs, almond eyes, a thick mane, oval hooves, a strong flank, molars adapted for grazing and grinding on fibrous grasses.
3
62
2,065
Basically a crippled laptop. Add a keyboard and I think it weighs about as much as a MBA. Maybe useful if you're like an artist and will actually use the pencil? Mine is gathering dust.
4
59
23,388
Very pleased to announce that I'll be joining the Scala Tools Team at @Stripe in May. I'm really looking forward to working with the brilliant folks there and making the Scala dev experience excellent.
9
61
Here’s a forecast I’m excited to update. 85% chance I’ll become a father between February 22nd and March 28th.
So as someone in their 30s who wants a family, I did some research, wrote a monte carlo simulation, and made a forecast, as any sane person would. Here’s when I think I’ll be a father:
25th percentile: 2021-07-22
50th percentile: 2021-10-14
75th percentile: 2022-03-06
9
60
I'm so glad @slatestarcodex wrote this article on wine. It's something I've been wanting to write, down to the seeming paradox that sometimes experts have an almost superhuman palate (see the documentary Somm) and sometimes that can't tell white from red. asteriskmag.com/issues/1/is-…
2
5
55
19,707
I refuse to stock my pantry with MSG, not because I think it's toxic or something, but because food already tastes too good and 10x'ing it sounds like the first step in turning my kitchen into some sort of flavortown goon cave.
Here’s my “MSG pig” - a little container of monosodium glutamate I keep by the stove for adding to things I’m cooking. Some use these for sodium chloride, but I’ve never had so many compliments about my food since switching to this!
8
3
52
3,484
Imagine being asked to investigate why the vibes are off for a model that hasn’t been deployed in a month.
we've heard all your feedback about GPT4 getting lazier! we haven't updated the model since Nov 11th, and this certainly isn't intentional. model behavior can be unpredictable, and we're looking into fixing it 🫡
2
48
3,278
Automatic test generation, detection of failing asserts, and all sorts of interesting things can be done with symbolic execution. I've written up a tutorial for the working programmer here: usrsb.in/symbolic-execution-…
15
48
Mad props to @dylanmatt, @KelseyTuoc, and @SigalSamuel for not only making quantified predictions, but also beating the Metaculus crowd. vox.com/future-perfect/22158…
Future Perfect brier: 0.166
Metaculus brier: 0.187
docs.google.com/spreadsheets…
2
9
52
“I think the grass is watching,” said Toad. “Whispering my secrets. I saw myself become a speck and god laughed. Everything shimmers with a terrible intensity. The ether is menacing. My joy turned to fear and then ashes.”
“It’s ok, Toad” said Frog. “You’re just tripping balls.”
43
14,092
If you're not careful, you might end up like the @Pinboard guy and accidentally dedicate your life to being the steward of the internet's largest archive of erotic fan fiction.
3
6
41
16,339
Yeah man I'm living dividend to dividend. The returns landing in my brokerage account are barely enough to cover my expenses. Awful.
38
4,094
What do these bugs look like? Here `mortal` was intended as a constructor, but it's misspelled (not capitalized), so anyone can call and become the owner. 😬
3
24
38
I’ve been trying to apply my forecasting hobby to work projects, but my coworkers are taking my estimates as benchmarks to beat, and all of a sudden the average time to complete a task has taken a nosedive. I’m not sure how to forecast in such adversarial conditions.
3
1
43
Lost my mind to this python foot gun.
> a = [[0] * 3] * 3 # What a neat way to init an array! :D
> a
[[0, 0, 0], [0, 0, 0], [0, 0, 0]]
> a[0][0] = 1
> a
[[1, 0, 0], [1, 0, 0], [1, 0, 0]] # This was not a neat way to init an array -_-
3
6
31
Every time I read a book on diet and nutrition, I'm baffled by how every author can summon mountains of evidence contradicting all the other books I've read. Turns out it's not in my head. John Ioannidis on nutrition science. jamanetwork.com/journals/jam…
1
8
32
actually the team was already in the process of removing the sky voice over the past month or so
15
2
32
51,361
Coding at 28,000 feet on an iPad over a mosh connection. The future is pretty neat (and pretty cramped).
2
31
The more I look at actual science, the more I feel like I'm losing my mind. The other day I tried to look into the link between sunscreen and melanoma risk. Should be a slam dunk, right? Wait what? onlinelibrary.wiley.com/doi/…
4
15
30
"no obvious fender system" is wild. Can the NYT not figure out if it has a fender system? Why hedge like that?
2
1
28
2,030
Cory Doctorow? Truly a terminal case of...
(•_•)
( •_•)>⌐■-■
Enshittification
(⌐■_■)
Yeaahhhhhhhhhhh
1
29
1,516
Imagine two short faucets, one freezing, one scorching. This is how all the sinks were in Ireland when I visited.
2
29
838
The parts of this article on Haskell causing drama and a cultural divide in a company are fascinating. chadaustin.me/2016/06/the-st…
3
25
23
Computer, give me the midwit meme with "nice photo congrats" on both sides and beff's tweet in the middle.
1
29
1,523
Oh your office has a keg in the kitchen? Cool beans dude. You're not going to believe what they just installed in the wellness rooms at Google.
1
2
27
1,069
if you are technically capable, read Nietzsche's Thus Spoke Zarathustra and live by it. honoring the responsibility of your will to power is going to be increasingly important this coming decade
1
28
1,548
Lmao I was even dumber and chose to do an undergrad thesis and almost didn't get my degree because of it.
27
5,732
It looks like the US is administering about 216,000 doses per day. At this rate, the vaccine will be generally available in *checks notes* 5.1 years.
4
3
27
I’ve created a notebook for exporting @metaculus crowd predictions to @getguesstimate so that they can be used in your models. It uses @oughtinc’s excellent Ergo library. I’d love to know if you find this useful or if you have suggestions for improvements. colab.research.google.com/dr…
2
6
28
Two days of wedding festivities 💑🍾 and then two weeks of honeymoon 🛫🇮🇪. Removed my work calendar from my phone 🔇. Feels good 😎.
6
25
Ah so the Σ-type does have an application beyond ∃. Fun stuff! From Type-Driven Development with Idris. Recommended.
1
7
26
Proving that a property is decidable in Idris. This is just fantastic.
ALT Screen capture from "Type Driven Development with Idris".
ALT Screen capture from "Type Driven Development with Idris".
ALT Screen capture from "Type Driven Development with Idris".
1
6
24
I think some extremely online tech personalities memed themselves into trump's arms. I don't think this is representative of the average SV tech worker.
3
17
2,345
Do we believe this, chat? Anthropic models look to be getting steadily worse when rated by humans. chat.lmsys.org/
7
25
11,459
