asah

12 ms·

181.
by asah 2y ago
for fun, I popped it into ChatGPT o3-mini-high, had it generate the TLA+ code then compare its version to the human-written version: https://chatgpt.com/share/67d0390c-4208-8007-a39d-8d9bfa7886...
182.
by asah 2y ago
seems like we just need to add that 'cost' to the agents...
183.
by asah 2y ago
I believe the argument is that tools/bots can help a person's self confidence. This argument breaks down when the other side is using a bot to respond, which of course they are.
184.
by asah 2y ago
That's your American opinion !! :-)
185.
by asah 2y ago
Once a government or company adopts Microsoft (and 95+% have), it's *very* difficult to migrate, allowing Microsoft to charge whatever they want and force you to buy other products, including Azure.
186.
by asah 2y ago
Airplanes
187.
by asah 2y ago
$10k and up
188.
by asah 2y ago
if you don't call 800-numbers often, it's a tiny economic cost...
189.
by asah 2y ago
meh - "By Wednesday, the government said that 90% of homes and businesses affected by the blackout had had their electricity restored, according to the Chilean National Electric Coordinator."
190.
by asah 2y ago
there's fuel stabilizer you can buy to store fuel for a year+, just calendar a reminder to use/replace once a year (good idea for other reasons).
191.
by asah 2y ago
"times square olive garden" hahaha
192.
by asah 2y ago
They are not mutually exclusive. Counter examples: - Katz's deli in NYC is incredibly famous, in a great location, and actually has kickass pastrami. The trade-off are relatively high prices and lines down the block - restaurants with
193.
by asah 2y ago
Intuitive physics understanding emerges from self-supervised pretraining on natural videos
194.
Intuitive physics understanding emerges from self-supervised pretraining(arxiv.org)
1 points by asah 2y ago|1 comments
195.
by asah 2y ago
nice. there's also https://github.com/exyi/pg2parquet which is written in rust. Not sure of pros vs cons. if you use AWS, you can upload to s3 and query via Athena. AWS Glue is a little klunky but it works and if
196.
by asah 2y ago
there's a bit of legit thinking that it'll scare employees into not charging things, to avoid the paperwork...
197.
by asah 2y ago
what about gas cards for postal workers and other delivery people? https://www.google.com/search?q=gas+charge+cards+postal+work...
198.
by asah 2y ago
I'd think Google might benefit from Matrix bridges... ?
199.
by asah 2y ago
Eggs are also an ingredient in lots of things, especially baked goods.
200.
by asah 2y ago
This assumes you always have reliable GPS: - areas that lack map details and obstructions that preclude straight line paths, e.g. deep forest - wartime GPS blocking - device failure incl battery - errors in mapping data - maps that contain
201.
by asah 2y ago
Haha maybe not. https://tldw.tube/?v=A4kpVO56OBU
202.
NoLiMa: Long-Context Evaluation Beyond Literal Matching(arxiv.org)
3 points by asah 2y ago|1 comments
203.
by asah 2y ago
LLMs struggle with long context
204.
by asah 2y ago
Also, Google can monitor the grey/black market and buy these exploits under false identities. For less urgent vulnerabilities (such as the YT email hack), this severely caps the bounty size.
205.
El Salvador Ends Bitcoin as Legal Tender(newsroompanama.com)
12 points by asah 2y ago|0 comments
206.
by asah 2y ago
So quadriplegics aren't sentient ?
207.
by asah 2y ago
Thieve's honor, hunh?
208.
by asah 2y ago
this is great and subtle advice worth reading twice. I'd add that a great "getting something out of it" reason is learning and reputation.
209.
by asah 2y ago
Time of day / day or week ? I got screwed yesterday waiting 23 minutes for an F when normally I'd 5 mins or less.
210.
by asah 2y ago
Hard no: subway infrastructure is incredibly expensive and only makes sense for high density cities. Moreover, with self driving electric cars, cities will see many of the benefits at far lower cost.

More ›