p0llard

11 ms·

61.
by p0llard 6y ago
Mathematical Logic and Philosophy cross over quite a bit, but I think any text which features proof sketches of Löwenheim–Skolem (present in Philosophical and Mathematical Logic ) qualifies as a mathematics text. At any rate the category
62.
by p0llard 6y ago
Huh interesting, I'd guess they're basing that on the series the book is published in, which can often be misleading.
63.
by p0llard 6y ago
The texts Philosophical and Mathematical Logic and Mathematical Logic should probably fall under Mathematics and Statistics rather than Religion and Philosophy , but seems a nice resource otherwise!
64.
by p0llard 6y ago
> The GDPR has been here for two years already; the hypothetical scenario you describe has discussed but has not shown itself in practice. Would we actually know if it had happened though? Or are you assuming that it would simply be infe
65.
by p0llard 6y ago
Yes, they could. Or they could pay the ransom, which they deem to be less expensive than dealing with the regulator, and improve their data security to ensure they don't get caught out again. I fully understand (and support) the reas
66.
by p0llard 6y ago
I'm not convinced by this; if a company was approached by an attacker who threatened to a) Release stolen data; b) Anonymously supply the regulator with full details of the leak unless a ransom was paid, I imagine that the threat of an
67.
by p0llard 6y ago
No I can't, and I don't see how anyone would know of such an example unless they were directly involved; if such occurrences were known publicly, the regulator would also know, which defeats the entire point. I don't have any
68.
by p0llard 6y ago
> It depends on how important the company treated its security and how obvious the data leak is. Indeed. Which allows an attacker who is familiar with previous regulatory action to estimate the fine based on the specific circumstances in
69.
by p0llard 6y ago
That's a pretty weak straw man; a data breach is entirely different to a store being robbed, as you well know. One might as well ask > Why does anyone stay in business in CA? since (I believe) Californian state law has similar repor
70.
by p0llard 6y ago
Within the EU, GDPR seems to have an interesting impact on how companies/organisations respond to cyber attacks like this: if they don't pay the ransom, the data is leaked, and they are now liable under GDPR and will likely have t
71.
by p0llard 6y ago
Non-mobile link: https://blog.gboards.ca/2020/01/weird-keyboards-programmable...
72.
by p0llard 6y ago
Ah thanks, the page wasn't loading for me when I wrote this.
73.
by p0llard 6y ago
I was under the impression that ACID3 no longer represented the web standards as documented by W3C, and a fully compliant browser should in fact fail ACID3?
74.
by p0llard 6y ago
> it's true 100% of the time. I don't think this is a great way of expressing it really since it's not very clear what "100% of the time" means formally; to most people (myself included), saying "100% of the
75.
by p0llard 6y ago
My comment regarding "substance" was rather snarky, and I apologise for that. I suppose the point I was really trying to make is that whilst this is certainly a nice demonstration of how to prove properties of data structures in C
76.
by p0llard 6y ago
This looks more like someone proved some trivial lemmas about lists and wrote the simplest possible DSL to do some list manipulations rather than anything close to resembling a serious piece of work on formally verified text editors. This i
77.
by p0llard 6y ago
Does anyone know which other SIG is implicated? Or where I might be able to find out?
78.
by p0llard 6y ago
Certainly within the EU, eggs are generally of a higher standard than in the US; there are generally completely safe to eat raw in the EU, whereas this would be unwise in the US. Comparing the number of salmonella deaths/cases between
79.
by p0llard 6y ago
> hanging art worth more than $100 To add to this; this is the vast majority of art.
80.
by p0llard 6y ago
As a climber I place my life in the hands of knots all the time, but tying a knot in steel cable is generally a bad idea since it is unlikely to bind properly. For better or for worse steel is often used instead of synthetic rope for pictur
81.
by p0llard 6y ago
It depends what material you're tying. For twine, sure; if you're hanging a 30 kg artwork you probably want to use steel wire, and pretty much any kind of knot is unsuitable here.
82.
by p0llard 6y ago
This is an old article referencing the event that happened several weeks ago, not a new development.
83.
by p0llard 6y ago
I'm sure, I just found it amusing that it comes so soon after I directly asked about it!
84.
by p0llard 6y ago
Oh wow, I had a guest lecture from Max Krohn yesterday in which I asked about how Keybase was being funded; no mention of this at all!
85.
by p0llard 6y ago
This is a common criticism of tactic based proofs, but the style that's being adopted more and more involves heavy use of proof automation which allows fairly major changes to be made without breaking the proof script.
86.
by p0llard 6y ago
> The most notable one I can think of is that integer multiplication is not in core. And? Base RISC-V is meant to be as simple as possible; if you're designing an ultra-low power microcontroller you probably don't want a hardwa
87.
by p0llard 6y ago
24h clock is pretty common in the UK; definitely wouldn't say AM/PM is standard at all in my experience.
88.
by p0llard 6y ago
> Not sure if combining "learn rust" and "learn RISC V" at the same time is a good combination for a large audience, it will depend on the reader. Heh, this is _exactly_ the combination that appeals to me, or at least
89.
by p0llard 6y ago
The article mentions turning off the display to avoid ghosting and links to an article about screen burn in; it was my understanding that e-ink displays do not suffer burn in? I was under the impression that e-ink ghosting is simply due to
90.
by p0llard 6y ago
Ah sure. I interpreted "proven correct" to mean "proven correct wrt a set of invariants" in this context.

More ›