giraffe_lady

4 ms·

31.
by giraffe_lady 3mo ago
Unfortunately apple accomplished their goal of killing that entire idea. The time for it to take off was 10 years ago. They begrudgingly support it now but it's too late. gg
32.
by giraffe_lady 3mo ago
If you keep them distinct unification is a weapon to be used against you. You're writing your own blackmail someone just has to call you on it. With prose fingerprinting, sophisticated tracking, now your identities are only separate by
33.
by giraffe_lady 3mo ago
Commit messages now do double duty: log of the changes, but also signing off that you've read and understand the code, are taking responsibility for it under your own name. The second part is an emerging convention but it's fairly
34.
by giraffe_lady 3mo ago
I'm pretty sure that's the general trend and it will continue. But I do think what benefits LLMs is the speed and accuracy of feedback. Type systems cover the accuracy part, but haskell was killing them on speed. It seems like a s
35.
by giraffe_lady 3mo ago
It sounds neat when you phrase it that way but my decade of professional experience in typescript has not shown it to be the case in practice. ymmv I guess.
36.
by giraffe_lady 3mo ago
Algorithm W is 40 years old and HM has vastly better ergonomics than TS's types. Why certain approaches didn't catch on until recently, or ever, is an interesting thing to think about but "we didn't know how" is n
37.
by giraffe_lady 3mo ago
Algorithm W is like undergrad level of sophistication. People who like HM more (and I am one) don't like it because it's "advanced" and to some extent exactly because it isn't. It's sound and fast and infers al
38.
by giraffe_lady 3mo ago
I don't think I learned this skill from the sat.
39.
by giraffe_lady 3mo ago
I was self taught and went back for a bachelor's after ten years working and then a masters after another four. There was a lot of wasted time in the BS (ie the trade-school-for-programmers classes) but the pure CS has been valuable to
40.
by giraffe_lady 3mo ago
A lot of times it is simply following some geographic boundary that is obvious locally but not on a map like this: a river or whatever. Even if the boundary isn't itself a major obstacle now the settlement history is embedded in the so
41.
by giraffe_lady 3mo ago
Font shaping rules are actually turing complete. An incredible amount of engineering effort has gone into this not being a total disaster everywhere at all times.
42.
by giraffe_lady 4mo ago
It's more like asking what editor and keyboard layout they use. Highly relevant to the user but you should simply assume someone describing work is using a setup for it they find productive. If you decide to dismiss their output it wou
43.
by giraffe_lady 4mo ago
> Policing, especially in the United States, has developed a reputation for cruelty in the last decade or two. Kris Kristofferson was writing songs about the petty cruelty of cops in 1970. Fuck tha Police was released almost 40 years ago
44.
by giraffe_lady 4mo ago
I’ve done it over less.
45.
by giraffe_lady 4mo ago
Probably coulda used an example that isn't itself a fourth amendment violation that essentially requires perjury to accomplish. Also less euphemistically called evidence laundering. Not really a neutral example.
46.
by giraffe_lady 4mo ago
I had to get into an old tcl program for work recently and had the same thought. I wouldn't necessarily pick it today but it was kind of nice in a way that's unfamiliar to me from modern development.
47.
by giraffe_lady 4mo ago
It assumes $44/kg to launch into orbit. Idk where that came from if it's a musk claim or what but it's ludicrous against current costs. Currently still at thousands/kg and dropping but nowhere near $44 and I haven't
48.
by giraffe_lady 4mo ago
> Many will tell you a story about how their family desperately escaped on a row boat, are lucky to be alive and blame Castro. Many will also not want to tell you any stories about what their family did in cuba. Like I'm not trying
49.
by giraffe_lady 4mo ago
Bullshit I just pasted random shit from google in until it worked and then instantly forgot which combination of the 20 things I tried got it there.
50.
by giraffe_lady 4mo ago
We're hoping to have a preprint ready at the end of the month, I'll send it to you then!
51.
by giraffe_lady 4mo ago
> 2. Do we actually have any data or evaluations that show which typing discipline is better for agents? The only benchmark I am aware of [AutoCodeBenchmark] has Elixir come first (dynamic) and C# as second (static), so it doesn't a
52.
by giraffe_lady 5mo ago
> Is anyone collecting and writing on how to understand this architectural style? Are we on the same site? Is anyone writing about anything else?
53.
by giraffe_lady 5mo ago
I actually don't see any personal productivity improvements from using opus over sonnet for coding. If you're keeping tasks small and conversations short, reading the code and correcting before changes go in, whatever advantages o
54.
by giraffe_lady 5mo ago
Anthropomorphizing is a shorthand for a powerful and poorly defined set of metaphors. There are tradeoffs going both ways but trying to dismiss it as merely "strange fixation" shows your own weakness.
55.
by giraffe_lady 5mo ago
> "Can you kindly consider the following problem" not how anyone would actually speak to a valued collegue one considers smart. Man idk, it's not how I talk but there's like 100 million nigerian english speakers, twic
56.
by giraffe_lady 5mo ago
I'm not sure if this is in the anthropic models themselves, or just the harness, but they can self-initiate ending the conversation and reportedly do it if you're using abusive language towards them.
57.
by giraffe_lady 5mo ago
Don't need to wait that long the inevitable data breach will be bad enough.
58.
by giraffe_lady 5mo ago
There's a lot of french in tolstoy too, and I believe most of the dialog can be inferred to be in french but is in russian for literary reasons. French was the daily home language of the russian imperial aristocracy. They spoke russian
59.
by giraffe_lady 5mo ago
Sorry you're right, I should have been more careful with the phrasing there. The structures, risks, and incentives that make business owners believe and act like this are real, and that's the poison I was pointing at. I'm not
60.
by giraffe_lady 5mo ago
> Hard-working founders should be able to cash out Why? Operating a successful business should be remunerative on its own, or else it's not successful. Owners who don't want to do it anymore can let it become worker owned. If t

More ›