habitue

6 ms·

31.
by habitue 1y ago
I was really hoping this was going to explain some big issue with Larry's seemingly reasonable meeting policies. Turns out a few people kinda messed with it a few times?
32.
by habitue 1y ago
This is about the speed with which the compiler can advise an LLM that a particular thing checks or doesn't check. Typescript is much slower than Go
33.
by habitue 1y ago
Pylon ( https://pylonlending.com ) | ONSITE Menlo Park, CA What Stripe did for payments, Pylon is doing for the mortgage industry: We're taking a sleepy industry with backward technology and re-building the stack from the gro
34.
by habitue 2y ago
People are on here arguing that terraform is code, actually. Sure it is, but it's not a good general purpose programming language. It is a config language that grew some features from general purpose languages. It's clearly more p
35.
by habitue 2y ago
Uh, like managing people who are difficult out is part of managing a team. A company has no obligation to keep people on who are difficult.
36.
by habitue 2y ago
Yeah, like come on. Amazon kills things when they're truly truly unpopular, and does everything they can to grandfather paying customers on legacy offerings. Google kills off things that are a maintenance burden for them, they dont car
37.
by habitue 2y ago
Apparently, this article was written almost exactly a year and a half ago so... I guess the author is forgiven!
38.
by habitue 2y ago
I think I'd say "it's hard, and would require making some opinionated decisions as to what to convert something to" vs "not possible". The bar is pretty high for "not possible"
39.
by habitue 2y ago
This kind of "LLMs don't really do anything, it's all a trick" / "they're stochastic parrots" argument was kind of maybe defensible a year and a half ago. At this point, if you're making these ar
40.
by habitue 2y ago
This immediately suggests what you want is a gradual migration process from one language through several intermediate languages to your target language. i.e. instead of a big bang C++ -> Carbon migration, instead you want something like:
41.
by habitue 2y ago
The "good engineers are right a lot" is true, but it feels bad to say. Why does it feel bad? Everyone wants to be right more often. All else equal, we'd like the people we work with to be right more often than wrong. Here are
42.
by habitue 2y ago
It's one study, on mice. This is the beginning of a long chain where more studies are done -> a consensus is formed -> doctors start to hear about the consensus and take it into account prescribing it It could plausibly be 20 yea
43.
by habitue 2y ago
This was actually pioneered by Bruce Willis. He would get paid a lot to show up in a couple of introductory scenes for really low budget films. They'd put his face on the movie poster, they'd pay him like half the budget of the fi
44.
by habitue 2y ago
This seems obvious, but you're forgetting the inputs may actually have low entropy to begin with. Lossy compression is non-reversible, but usually the expectation is that we don't care about the parts we lost. How might this cash
45.
by habitue 2y ago
I see your point for one part, which is that `select([id]).from(Users)` is maybe in the best case as readable as `select id from users`, and in many common cases it'll be less readable than sql. Plus, it's not quite sql, you'
46.
by habitue 2y ago
Preordered https://forgekeyboard.com/ We'll see if I can actually use it!
47.
by habitue 2y ago
The issue you're running into is that to run docker on mac, you have to run it in a vm. Docker is fundamentally a linux technology, so first emulate x86_64 linux, then run the container. That's going to be slow. There are native m
48.
by habitue 2y ago
So, we should build more compilers. The only limiting factor, I think, is that it's damn hard to design a good DSL that wraps your domain well and is neither too flexible (increasing boilerplate) nor too rigid (increasing workarounds a
49.
by habitue 2y ago
I took the article as being aimed at domain specific languages. Kmett's lens library is just such a DSL
50.
by habitue 2y ago
The ironic thing about the chimp story is that probably chimps are immune to the problem and humans are the only species that would fall for it. It takes chimps a long time to learn to copy others. I doubt they could sustain a superstition
51.
by habitue 2y ago
Dude, this is an amazing comment. Really points out how it looks when someone us ahead of their time: - awkward groping for how to explain things - none of the words match how we talk about things now Algol-68 was clearly so ahead
52.
by habitue 2y ago
> If we think of mitochondria as non-living organelles, how will we ever harness their full potential? "Alive" is a fuzzy boundary in concept space that helps humans navigate a fractally complex world. It's not a fact abou
53.
by habitue 2y ago
> You can't really have it both ways. Oh you totally can, you just have to give up consistency
54.
by habitue 2y ago
I mean, I'm aware of the downsides, the OP asked why someone might use it. Ease of use seems like a reasonable upside
55.
by habitue 2y ago
I imagine for streaming tools like these it's pretty convenient. You don't have to manage buffers etc, just write code against a massive string and haskell takes care of streaming it for you and pulling in more data when needed. T
56.
by habitue 2y ago
Seems like this is just pointing out exploration/exploitation tradeoffs. I don't see how 80/20 has much to do with this.
57.
by habitue 2y ago
Yeah, I think it would. I think if we coudl seamlessly transmit thought from one person to another in full fidelity, we would be less smart. Abstraction results from boiling out unnecessary parts and retaining the essence of something. If y
58.
by habitue 2y ago
> Many times the very act of trying to communicate a thought colors/corrupts the main point and gives only one perspective or a snapshot of the overall thought. There's a reason why they say a picture is worth a thousand words.
59.
by habitue 2y ago
Language may not be essential for thought, (most of us have the experience of an idea occurring to us that we struggle to put into words), but language acts as a regularization mechanism on thoughts. Serializing much higher dimensional free
60.
by habitue 2y ago
I want more physical devices like this with knobs and switches. Too many things are smooth glass rectangles

More ›