giraffe_lady

5 ms·

1.
by giraffe_lady 8d ago
Catholics don't formally recognize them but most or maybe all orthodox christian churches do.
2.
by giraffe_lady 8d ago
The far right's win on hacker news goes mostly without comment, however. Very uh, interesting views you guys got in here.
3.
by giraffe_lady 10d ago
I don’t know it’s not my paper. I don’t want to talk shit but I’m also a little confused at this apparent limitation.
4.
by giraffe_lady 11d ago
No it’s more about speed and quality of the feedback loop. So you want the compiler that catches the most stuff when given the least information.
5.
by giraffe_lady 11d ago
I will add you to the list, I’ll definitely post it on HN also. They had originally planned on june and my part is in so…. Me too.
6.
by giraffe_lady 11d ago
Yes I contributed code to a paper on it this spring. It’s hard to measure and “studying” it just means feeding money into frontier models. If anyone has a few billion tokens for a couple masters students hmu so they can get it published.
7.
by giraffe_lady 11d ago
Both force the model to reason about types too much. The more constrained type system plus global inference merely holds them to what they already wrote, with very fast feedback. Rust is fine if you need it but most things don’t and ocaml h
8.
by giraffe_lady 11d ago
OCaml is the LLM secret weapon right now. They are better at writing it than they are any other language.* That’s all I have to say about it. * Other “pure” hindley-milner languages are tied but among them ocaml has some particular strength
9.
by giraffe_lady 12d ago
A couple software examples off the top of my head are Richard Hipp with SQLite and Matthew Ahrens with ZFS. Both almost incomprehensibly sophisticated projects executed well over decades. Neither are anything like a solo effort in the way t
10.
by giraffe_lady 13d ago
Yeah that comment isn't quite fair but Berry does have a massive blindspot around labor. His entire like, deal, is built on the nearly-unmentioned-in-his-entire-works fact that he's describing a world of agrarian landowners who do
11.
by giraffe_lady 19d ago
I think, at least for the next few years, certain preferences and consensuses were accidentally embedded in the models to your benefit. They love htmx! Claude will independently suggest using it instead of more general js frameworks for sma
12.
by giraffe_lady 19d ago
Do you think that's a different understanding of the situation than the one that the state currently has? Is it not "legitimate" in the same way to kill terrorists?
13.
by giraffe_lady 19d ago
> Palestine Action has been designated a terrorist group in the UK as well after sabotaging military aircraft This is already an extreme perversion of justice all on its own. Damaging military equipment is absolutely outside any useful
14.
by giraffe_lady 19d ago
Why do you think I haven't done this?
15.
by giraffe_lady 20d ago
Yes small models are and will be useful for lots of stuff for several reasons. But the idea they’d be better than a bigger model is cope, you’re pretty much always better off running the biggest one you can bring to bear within your constra
16.
by giraffe_lady 20d ago
Everyone wants this to be it but over and over we discover that the bigger a model is the better it is at all tasks, even ones far outside the domain it was optimized for. IE claude fable is better at writing both code and prose than smalle
17.
by giraffe_lady 26d ago
You ever hear of the scottsboro boys? Emmett Till's murderers were also acquitted via jury nullification, it was common for lynchings in the jim crow era. It's a tool.
18.
by giraffe_lady 26d ago
Sprawl is where he originally started exploring these ideas but Jackpot is where he really focused deep into them and it's even more prescient. It's also bleaker, he has clearly recalibrated his estimate of how much power and cont
19.
by giraffe_lady 27d ago
Whether you make a good trade with the stolen information is spurious though. I don't believe this very strongly. Again it's a contract issue not a moral one. But the metaphor still holds I think.
20.
by giraffe_lady 29d ago
I think their point is that there's business value in the usage data and linear is using that value in a way that benefits them but not the customers they got it from. It reminds me of matt levine's reframing of insider trading wh
21.
by giraffe_lady 1mo ago
Racket was my main language for personal stuff for years despite me never really liking it all that much and not able to put my finger on why. It's not even top 10 languages or top 5 lisps for me but it is just incredibly practical. I
22.
by giraffe_lady 1mo ago
wdym they've had it for years? https://github.com/github-linguist/linguist/pull/5688
23.
by giraffe_lady 1mo ago
Fuck, ocaml's never getting row polymorphism now, my day is ruined.
24.
by giraffe_lady 1mo ago
Is something wrong with bike lane uprising? They've been doing this for years, very active where I am, well connected both with activists and local politicians. https://www.bikelaneuprising.com
25.
by giraffe_lady 2mo ago
> allowing low-skilled operators to drag blocks of code together in their editor — without any need to understand what the underlying code blocks do or how they work. We're called engineers brian.
26.
by giraffe_lady 2mo ago
I'm a volunteer court watcher for DV court and I haven't gone six months without seeing a cop in there for using state surveillance tools to stalk women or abuse a domestic partner.
27.
by giraffe_lady 2mo ago
It's a factor in "shallow water blackout" a fairly common death for experienced swimmers. Caused by hyperventilating prior to a long breath hold flushing too much CO2 out of your blood, so your sense of needing to breathe is
28.
by giraffe_lady 2mo ago
cgi bin with extra steps.
29.
by giraffe_lady 2mo ago
Well yes of course I was using a harness lol. We're talking about the application of tools to engineering problems. Getting an LLM to cold start on a completely novel to it language without prompting is a different problem that I don&#
30.
by giraffe_lady 2mo ago
> or you need some way to get your dsls examples in the training data for the llm, or feed it in the prompt. I'm really not sure this is true. Recently for work I've been making changes in a system written in tcl in the early 2

More ›