chubot

12 ms·

91.
by chubot 1y ago
They probably get orders from all the way up the food chain to keep the show going. Honestly I think the same thing happened with self-driving cars ~10 years ago. Larry Page and Google's "submarine" marketing convinced inve
92.
by chubot 1y ago
I haven't followed that closely, but Gemini seems like a pivot based on ChatGPT's market success Google is leading in terms of fundamental technology, but not in terms of products They had the LLambda chatbot before that, but I gu
93.
by chubot 1y ago
Yeah exactly, I use em dashes, and somewhat expected to be on the leaderboard :-) But I type them as two hyphens -- On my desktop, the two hyphens remain literal. But on iOS, it turns into an em dash I think. Although it seems like I get
94.
by chubot 1y ago
All my scripts use pipefail, and I haven't run into problems I think `head` tends to cause SIGPIPE in practice, and that is what sigpipe_status_ok is for but I stopped using pipefail since the return value can be based on a race, caus
95.
by chubot 1y ago
Yup, that is pitfall 8 here - https://oils.pub/release/latest/doc/error-handling.html#list... I think I got that from the Wooledge Wiki Explicit error handling seems fine in theory, and of course you can use
96.
by chubot 1y ago
I use essentially this, but I think this post is over 10 years old (needs a date), and it's now INCOMPLETE. bash introduced an option to respect rather than ignore errors within command sub processes years ago. So if you want to be sa
97.
by chubot 1y ago
Well it stands for “application programming interface”, so I think it is valid to apply it to in-process interfaces as well as between-process interfaces Some applications live in a single process, while others span processes and machines.
98.
by chubot 1y ago
Yeah, famously there is no stable public driver API for Linux, which I believe was the motivation for Google’s Fuschia OS So Linux is opinionated in both directions - towards user space and toward hardware - but in the opposite way
99.
by chubot 1y ago
I want to get into gardening, but “to boost brain health” seems like a weird way of medicalizing it, of needing to justify it Why not do it because it seems fun and interesting? Doesn’t doing anything boost brain health? Like exercising, p
100.
by chubot 1y ago
That's exactly why the "main" should be shell, not make (see my sibling reply). So when someone needs to add that step, it becomes: #!/bin/sh step-I-added-to-shell-rather-than-CI-yaml make debug # o
101.
by chubot 1y ago
Yeah that may be a good distinction -- I see that C++ auto is often called "type deduction"
102.
by chubot 1y ago
BTW if you follow the philosophy of using bash as your CI so it runs locally (mentioned by several people in this thread), then you can use the same CI logic on sourcehut and Github Actions. Both of them provide VMs where you can run anythi
103.
by chubot 1y ago
Make is not a general purpose parallel DAG engine. It works well enough for small C projects and similar, but for problems of even medium complexity, it falls down HARD Many years ago, I wrote 3 makefiles from scratch as an exploration of
104.
by chubot 1y ago
I think this is false: bidirectionality just means "has type inference" Swift, Rust, Go, and Java all have some kind of type inference Swift and Rust appear to use bidirectional type checking, but Go and Java don't The issu
105.
by chubot 1y ago
Also my reading now is that "bidirectional" actually is in contrast to Hindley-Milner, which is unidirectional in the synthesis / inference direction There is the THIRD choice of Go / Zig / Java, which are unidirect
106.
by chubot 1y ago
Hm that page says bidirectional type checking is a style of mathematical presentation of a type theory AND a kind of algorithm for implementing one and that it splits the judgement ... into two parts, for checking and synthesis/infer
107.
by chubot 1y ago
Well I Googled myself since I was curious This comment says Rust's type inference is not Hindley-Milner, but rather it's "influenced by" bidirectional type checking: https://lobste.rs/s/hbzctm/t
108.
by chubot 1y ago
What makes you say that? What's your definition of bidirectional type checking?
109.
by chubot 1y ago
This seems to jump straight into type inference and bidirectional type checking, without a basic UNI-directional type checker e.g. Featherweight Java (chapter 19 of TAPL by Pierce) is expressed with a simple unidirectional algorithm And som
110.
by chubot 1y ago
Well, if you tell me that many people are using LLMs poorly, and in a way that won't benefit them or their team in the long term, then I wouldn't be too surprised. There are probably more ways to use them poorly than ways to use t
111.
by chubot 1y ago
It is pretty profound. AI / deep learning failed to solve self-driving, but they’re good at moving text and code around, which humans still have to check It’s arguable whether that’s “doing” I’d say it’s more spreading knowledge aroun
112.
by chubot 1y ago
Latency is actually an interesting case, because it’s one of those things that, by default, nobody owns end-to-end If you’re booting a computer or building web search, every subsystem can contribute to latency. If you have more teams and m
113.
by chubot 1y ago
Just to add a small example of what I mean, I stumbled across this video yesterday: How New Jersey Turned Into A Giant Suburb https://www.youtube.com/watch?v=zKgK7Z-yu-4 Talking about how NJ is one of the wealthiest state
114.
by chubot 1y ago
Yeah I think people might be downplaying the fact that some different choices on automobiles could have led to drastically different outcomes with respect to the health of cities, suburbs, and communities I mean sure, people still had babie
115.
by chubot 1y ago
militaries do not win wars merely by acquiring new gadgets, but by developing the institutions, training regimens, logistical networks, and doctrinal concepts that enable those tools to be used effectively at scale That makes sense to me
116.
by chubot 1y ago
let’s implement split-by-double-dash, a function (or a program) that would return two lists: args that come before -- and ones that come after. split-by-double-dash a b c -- d e f should return the lists [a, b, c] and [d, e, f] FWIW in
117.
by chubot 1y ago
You could say "Linux was CREATED out of thin air", and I wouldn't argue with you. But creation only counts for so much -- without support, Linux could still be a hobby project that "won't be big and professional lik
118.
by chubot 1y ago
> Who would write a whole operating system to compete with Microsoft when that would take thousands of engineers being paid $100,000s per year? You might be misunderstanding that almost all of Linux development is funded by the same kind
119.
by chubot 1y ago
Uh I grew up in NJ suburbs in the 80’s and 90’s - that was already the case, and there was a hit movie 3 decades ago about it: https://en.wikipedia.org/wiki/Mallrats (But malls are much less popular now, probably mainl
120.
by chubot 1y ago
I think there's journalistic value to showing a raw conversation on a podcast. It's closer to the primary source than calling them on the phone and writing down parts of the conversation. If the interviewer is a bit credulous, t

More ›