415 karma · joined June 18, 2020
I like sunsets, long walks on the beach, functional programming, type systems, interpreters and compilers, and many other things which don't pay the bills.
blog: https://usethe.computer
So I think time will tell. My money is on a sort of regression to the mean: these models will capture the style and "creativity" of the average 2020s Reddit, StackOverflow, etc. user. I can't say I'm terribly excited.
Anyway, what I really wanted to share is "The Robot and the Baby", by John McCarthy (yeah, the same one): http://jmc.stanford.edu/articles/robotandbaby/robotandbaby.p...
I have never actually had the wherewithal to go through the whole automatic-derivation-of-zippers thing, but this (https://stackoverflow.com/questions/25554062/zipper-comonads...) StackOverflow Q&A (along with all of Conor McBride's SO answers - compiled at https://personal.cis.strath.ac.uk/conor.mcbride/so-pigworker...) might be of interest in conjunction with the linked paper.
.astype({
'central_air': bool,
'ms_subclass': 'uint8',
...
})
Now if, say, ms_subclass and overall_qual need different types, that's an easy diff to read. Ah, but I suppose that wouldn't be as Twitter-friendly.On the other hand, I find myself torn between "information wants to be free and this is one more nail in the coffin of our odd and ahistorical concepts of 'intellectual property' and 'plagiarism'" and "oh great, another way for giant corporations to reap all the benefits from work done by individuals and smaller businesses".
I don't think I'll ever use the thing, and I have ~0 power over the societal implications, so overall - yeah, can't get that exercised over it either.
The content marketing / grind thing - as far as I can tell, those people are born (decanted?) that way. It's a whole other value system.
As someone concerned about the "AI risk" of real existing ML systems turning society into a "legibility"-oriented nightmare for real existing humans in the here and now - and not at all concerned that we'll have a general AI that can out-think a human child in the next couple decades - I do share a sense of unease with the religious and eschatological overtones of the "superintelligence" crowd.
However, I find a great deal of irony in the fact that I've heard this exact argument - including a recognition of the religious-doom-prophecy-guilt-trip aspect - from global warming skeptics! I have to admit, when the author concludes with a call to action for the "global North", do they include the developing countries (e.g. China, India) likely to drive the bulk of emissions change over the next few decades? Otherwise, it might almost read as the invocation of a scientific doom prophecy to advance an only-somewhat-related agenda. This association unfortunately polarizes people who might be convinced to take more practical steps in the here-and-now - just as is the case with AI.
Since then the world has changed quite rapidly when it comes to norms around writing, pronouns, and gender, so perhaps "they" fills the same role for younger writers.
And then they go and re-enact Tony Hoare's billion dollar mistake, for no good reason that I can see:
> Some language such as JavaScript uses the concept of an "undefined" value for uninitialized variables or missing property. For simplicity's purpose, we have avoided this concept, treating instances that would be undefined elsewhere as either an error or a blank value. For example, all uninitialized variables start with a blank value. All data types can take on the value of blank.
This is the same spurious "simplicity" seen in Go, and I don't understand the appeal - especially coming from a team that clearly "gets it" when it comes to the importance of expressive types.
I had to look up "aperçu", with disappointing result (just say "insight").
The rest of the review just seems to descend into infighting (?) with the author over identity and diversity.
What am I missing? I'll admit to being mildly intrigued only by the mention of Rene Girard in passing.
#![feature(const_generics, const_evaluatable_checked)]
fn append<T: Copy + Default, const N: usize, const M: usize>(
xs: &[T; N], ys: &[T; M]) -> [T; N + M] {
let mut result = [T::default(); N + M];
result[..N].copy_from_slice(&xs[..]);
result[N..].copy_from_slice(&ys[..]);
result
}
fn main() {
let arr = append(&[1i32; 3], &[2i32; 4]);
dbg!(arr);
}Is there really a large audience of programmers capable of writing OCaml but not catching on that "BuckleScript" referred to the compiler? (For that matter, is there really a large audience of programmers capable of writing OCaml but only if the syntax superficially resembles JS? Maybe I'm the one out of sync here...)
Make no mistake, I think people are "intrinsically motivated" too, at least to a point. I'd like to believe I am. But it's hard to deny that people (myself included) do things for some reason, some gain - even if that gain is something intangible like "a feeling that I'm doing good" or "perceived status in my organization".
Of course, the suggestion of "altering the reward system" breaks down a bit in the presence of Goodhart's law, but it's still very common to see (especially in large or unusually bureaucratic organizations) policies which create incentives completely at odds with the stated goal or metric. One of my favorite examples is the "budget game" many companies play, where each department/division/etc. puts forward a proposed set of projects and budget; the corporate planners then allocate the overall corporate budget. Departments obviously "sand-bag" and ask for more than they think they need (knowing they won't get everything they ask for); there's often a "use it or lose it" policy too, which leads to what I can only describe as an orgy of spending at the end of the fiscal year. This can be great fun for vendors, consultants, and so on!