chalst

13 ms·

91.
by chalst 4y ago
So what would you want to have happening in the case Cantrill was talking about? The aim is to have good systems and there have been plenty of bad holistic systems in the history of computing. But by good, non-holistic systems, do you mean
92.
by chalst 4y ago
Cantrill talks about an experience he had at Joyent, where he diagnosed that memory was failing on systems, but the errors were suppressed by the firmware. Having adequate documentation of the firmware doesn't help you in this kind of
93.
by chalst 4y ago
Oh, I don't know, perhaps if you look at any if the huge amount of material from journalism schools on what journalism is and how it should be done, or maybe at journalism's many professional bodies and their codes of ethics, that
94.
by chalst 4y ago
Most of what I've read by Raymond Chen is about Windows 95. Does he contradict what people are saying about backwards incompatibility since Windows 8?
95.
by chalst 4y ago
Lean is particularly exciting because of the work Kevin Buzzard has been doing in the Xena project: https://www.ma.imperial.ac.uk/~buzzard/xena/ He started by getting undergraduates to tackle formalising the maths
96.
by chalst 4y ago
Good that you are looking after yourself. Wrt. #2, maybe there's a fear of what a rollout of the project will commit you to. If so, then redefining the project so it's goal is to have a deliverable, rather than rolling it out, wil
97.
by chalst 4y ago
Right. This denial by Grammarly deserves to have more light shone on it.
98.
by chalst 4y ago
Willing to help, but first I 'd like to hear a bit more about your situation: 1. Have you been getting enough sleep in the past days? I did 90-hour week to finish my doctoral dissertation and much of what I did in the last days of that
99.
by chalst 4y ago
tl;dr: Grammarly seems to effectively be a keylogger, despite their denials, as past bugs have shown.
100.
Privacy and security concerns in Grammarly (2020)(garymcgath.com)
3 points by chalst 4y ago|2 comments
101.
by chalst 4y ago
The article is about the single market, which long predates the single currency. The Economist in the 90s was pro single market: https://www.economist.com/leaders/1997/03/13/single-market-s...
102.
by chalst 4y ago
Paypal is more expensive.
103.
by chalst 4y ago
Because teenagers with suicidal thoughts are most often lacking the sense of perspective about their situation they would gain with maturity. This is a case where rigidly-based reasoning about rights fails the common-sense test.
104.
by chalst 4y ago
> I left our existing Paypal integration in place, and shockingly almost 25% of my transactions still come from people who deliberately click on and decide to use Paypal in place of just a simple "enter your credit card information
105.
by chalst 4y ago
Perhaps this has changed, but my experience was that the installation wouldn't proceed without granting access. I could prevent the app gaining access to my contacts by using the Android home/work profile so that it would only see
106.
by chalst 4y ago
In Germany, the US made use of low-ranking Nazis during rebuilding, and in Japan they left the institutions around the Emperor intact. IIUC, doing things this way was considered the least-bad option in order to support US anti-communist pol
107.
by chalst 4y ago
> However, while writing this post I've just discovered that somebody has revived the project and enabled 64-bit compilation [3]. That is excellent news, if it comes to anything. At present it looks like it's still dependent on
108.
by chalst 4y ago
Depreciation is a term relevant to valuing assets and liabilities on the balance sheet and P&L accounts. oliwarner's figures are cashflow figures, a completely different kind of account, which is what you look to when asking how mu
109.
by chalst 4y ago
Fixpoints are too powerful a concept to be added safely to any but the most pedantic minds.
110.
by chalst 4y ago
Dijkstra's arguments [1] about the benefits of 0-indexing are about tricky edge cases when coding with arrays. (The example you give is not a correctness problem, but a memory-efficiency issue: if width=1, you'll not be using at l
111.
by chalst 4y ago
The end of that article links to an interesting story by Dlugy where he accused GM Ivanov of cheating in an across-the-board game in 2013: https://en.chessbase.com/post/the-shoe-aistant--ivanov-forfe...
112.
by chalst 4y ago
This is basically right, but to hairsplit, it's an O(mn) algorithm, which is significantly different from an O(n) algorithm in that you can't help manage the number of startups by adding partners.
113.
by chalst 4y ago
Abstract: Historically, proprietary systems created the need for binary machine interfaces. This extended to the deepest layers of the system, where the PC BIOS was created to make machines look sufficiently identical to one another t
114.
I have come to bury the BIOS, not to open it (Bryan Cantrill at OSFC22)(slideshare.net)
40 points by chalst 4y ago|3 comments
115.
by chalst 4y ago
I'm guessing it's Tim Roscoe's keynote on how most fundamental questions about what the hardware is actually doing are invisible to traditional OS abstractions: https://www.youtube.com/watch?v=36myc8wQhLo Ros
116.
by chalst 4y ago
Intersection types are an example where the theory is in its full generality undecidable, and where applications in useful PLs tends to use only low-rank intersection types. See https://en.wikipedia.org/wiki/Intersectio
117.
by chalst 4y ago
The hardwiring of dependencies in a Nixpkg-based deployment seems to be good for generating SBOMs. Cf. https://discourse.nixos.org/t/generating-software-bill-of-ma...
118.
by chalst 4y ago
As I noted around a year ago, there's a little puzzle here: in principle Julia's approach was available in the 90s, when decent JIT technology was becoming available. So why was MD given only toy-like treatment before Julia? (MATL
119.
by chalst 4y ago
Magnus didn't make an overt accusation: it was other chess experts who read that into the circumstances of his withdrawal &c. Esports has a nice overview of the most prominent reactions: https://esports.gg/news&#x2F
120.
by chalst 4y ago
At Apple's executive level, it doesn't look like anyone ever really cared. But people were hired, like Jordan Hubbard, who were supposed to liaise with the community and it's clear that both a nontrivial number of Apple devel

More ›