User23

23 ms·

301.
by User23 2y ago
Emacs[1] has been bloated with collaboration (gnus, etc) and AI features (doctor, lisp in general) for decades! [1] Eight Megabytes and Constantly Swapping
302.
by User23 2y ago
With some brief experimentation ChatGPT also fails this test.
303.
by User23 2y ago
Outsourcing is also discretionary and highly prone to corruption.
304.
by User23 2y ago
Excess slack in productive capacity can be taken up not only with exports, but also with domestic demand side stimulus. The Chinese market is huge and can almost certainly generate demand for this productive capacity with proper fiscal poli
305.
by User23 2y ago
This reminds me of how for centuries mathematics wrote “is equal to” or similar. Recorde’s “=“ took centuries to catch on widely, so I guess it’s no surprise we still see “if and only if” instead of “≡.”
306.
by User23 2y ago
> It seems to me that the lines between true history, pious belief, and entertainment were all kinds of blurred. This is (unintentionally?) hilarious.
307.
by User23 2y ago
If you’re not already familiar with it, have a look at Dafny. It’s an imperative programming language built using Boogie and Z3 that allows extremely interesting compile time assertions.
308.
by User23 2y ago
Improvements in womens’ sprint times ceased the same time drug testing got good enough to catch all the androgens then in use. Today’s women doubtless could beat those records with modern gear and pharmaceutical enhancements.
309.
by User23 2y ago
Methylating is like acetylating. It's kind of a go-to thing to try in medicinal chemistry.
310.
by User23 2y ago
What I find most interesting about this comment of yours is the sour grapes. Can you shed a little light on where your resentment is coming from? I'm uninclined to make any effort to convince you otherwise until you provide even a hint
311.
by User23 2y ago
There’s also been at least one naturally critical deposit.
312.
by User23 2y ago
This is great! Thanks for sharing your approach. I come at it from the perspective of a working programmer who wants to improve his craft. Mostly I just think through the (pseudo) formalism because frankly most commercial code isn’t terribl
313.
by User23 2y ago
Watching Dafny develop has been wonderful. It’s taken a lot of good ideas from 50 years ago and pushed them into the present in modern incarnations. The predicate transformer semantics (and descendants) approach to proving a program has som
314.
by User23 2y ago
Isn’t it supposed to be pronounced more like “coke” anyhow?
315.
by User23 2y ago
Git was designed to be used with email, which adequately solved for communication and decentralization (at the time at least).
316.
by User23 2y ago
> why not gold? surely, you can see that china is continuously buying more and more gold reserves. I’m not operationally involved with gold markets so take this with a grain of salt, but I wonder if there is enough gold being traded for
317.
by User23 2y ago
The question is dumping for what? If they’re selling treasuries to buy reserves or US equities then they’re still long USD. To actually unwind their dollar position they need a counterparty who wants to buy dollars with a non dollar denomin
318.
by User23 2y ago
Economic might comes down to productive capacity. Unfortunately most of the US’s “productivity” has transitioned the so-called services sector. Which is nice and all until you can’t produce strategically necessary resources. Ultimately spea
319.
by User23 2y ago
I’m amused that people have managed to reinvent creationism plus intelligent design with a computer palette swap.
320.
by User23 2y ago
It does make you wonder if we shouldn’t vaccinate until exposing the children to solid foods in ordinary healthy cases. The mother’s antibodies from her milk do good work. There are other commenters warning about skin exposure before dietar
321.
by User23 2y ago
I've heard that serving them process is another way to talk to a human being.
322.
by User23 2y ago
A missile truck can be a drone truck too. Shame about the F-14, now that was a missile truck par excellence.
323.
by User23 2y ago
Printf debugging is actually a very primitive case of predicate reasoning. Hopefully in the not too distant future instead of using prints to check our assumptions about the code we will instead statically check them as SMT solvable asserti
324.
by User23 2y ago
As anyone who has ever worked for tips or traveled abroad knows, tipping is observably a cultural phenomenon. Me, personally, I think complaining about it is tacky and shows poor character. I even tip (albeit less) for takeout. Why? Well fo
325.
by User23 2y ago
There are genetic factors, probably epigenetic ones, and environmental too.
326.
by User23 2y ago
> no evidence Saying "there is no evidence" is sloppy cable political TV tier rhetoric. There is absolutely evidence[1]. You and others may not find that evidence convincing, or otherwise think polygraphs shouldn't be used
327.
by User23 2y ago
Meanwhile the San Diego heatwave is a scorching two degrees above average at 78 degrees[1]. Now if the Santa Anas start blowing during one of these inland heatwaves and the grid still holds up that will be great. [1] If this sounds like sar
328.
by User23 2y ago
The NYT is notable for having transitioned to very successful online subscriptions business model. This has lead to a subtle but noticeable shift in tone and content to satisfy that subscriber base. One can hardly blame them. The quality of
329.
by User23 2y ago
That's a pretty good argument against copyright. Is it really worth losing the cultural intellectual commons so that the average author (nearly all authors, in fact) can make well below minimum wage? I'm unconvinced about that bei
330.
by User23 2y ago
That is an hilariously authoritarian view and wrong to boot. You are confusing rights that are created by the threat of violence, such as copyright, and rights that are protected by the threat of violence, such as the right to not be ki

More ›