p0llard

15 ms·

91.
by p0llard 6y ago
I've never actually used TLA+, but my understanding is that it does exhaustive model checking (presumably using some suitable simulation relation), so in this case failure to find a violating trace indicates that no such trace exists
92.
by p0llard 6y ago
In addition to the other reasons already mentioned, this would likely reveal a lot of small details about the underlying microarchitecture of the FPGA fabric which is a (highly valuable) trade secret.
93.
by p0llard 7y ago
> Yet, I believe it is fairly common to call this kind of logic intuitionistic logic, even though there is no rule for ⊥. I don't believe this is very common—it's _an_ intuitionist logic, but "intuitionistic logic" by
94.
by p0llard 7y ago
Why might I want to use this over something like pass ( https://www.passwordstore.org/ )?
95.
MIT Emergency Management: Students reimbursed $500 to leave campus by Sunday(emergency.mit.net)
2 points by p0llard 7y ago|0 comments
96.
by p0llard 7y ago
The sooner academic publishers die the better—not a very original thought, I'm aware. There's still very much a distinction between (self-)publishing on the arXiv and publishing in a 'real' journal/conference within
97.
by p0llard 7y ago
> Among people I talk with, and whose bank cards I have seen, in and around London, Monzo is far more popular than Revolut. This has also been my observation. Multi-currency support is something I would like to see come to Monzo, altho
98.
by p0llard 7y ago
I've always found this slightly odd, since Monzo is an actual bank (and thus receives FSCS protection) whereas Revolut is not (and does not).
99.
by p0llard 7y ago
> I'm not buying any of this. I'd speculate that N26 was denied a banking licence in order to look after the "British challenger" banks who already operated in the EU with their EU licence. Having been denied the lic
100.
by p0llard 7y ago
I'm really quite reluctant to touch it at all; on my Arch machine the installation will take up 366.38 MiB (including dependencies), which feels horribly bloated; my understanding is that it "does everything", but I prefer to
101.
Ask HN: How do you organise PDFs/eBooks?
12 points by p0llard 7y ago|4 comments
102.
by p0llard 7y ago
Ah, I didn't actually know this, thanks for pointing it out :)
103.
by p0llard 7y ago
You mean a piecewise definition of a function? I don't think this is unidiomatic or discouraged in Haskell at all.
104.
by p0llard 7y ago
I was under the impression you could get away with using Machine mode for both the SBI and the Kernel? Sv39 paging is the major requirement as you point out.
105.
Formal Reasoning About Programs (2017) [pdf](adam.chlipala.net)
83 points by p0llard 7y ago|23 comments
106.
by p0llard 7y ago
I can only hope that this is some poor attempt at satire? This is some of the most obscenely technocratic nonsense I have ever seen in my life. There are so many things wrong here I don't even know where to start. > Math is the most
107.
Formal Reasoning About Programs (2017) [pdf](adam.chlipala.net)
3 points by p0llard 7y ago|0 comments
108.
by p0llard 7y ago
Deserialisation (in this context) is the act of decoding data from some "string representation" to a representation suitable for use, typically a native format. Typically, although this depends on the specific encoding, a parser i
109.
by p0llard 7y ago
Soton is in an entirely different league to MMU. Textile making isn't an academic discipline, and historically would not have been taught at a university at all. If you want high quality academic research and rigour, you're far mo
110.
by p0llard 7y ago
> Manchester Metropolitan University As a Brit, I can confirm that this is most certainly not a well respected institution; the UK has some of the best universities in the world, but this is not one of them.
111.
by p0llard 7y ago
Perhaps I chose my words poorly; I very much enjoyed reading it, and would strongly recommend it to anyone.
112.
by p0llard 7y ago
A friend lent me a copy of Calvino's "If on a winter's night a traveler" which I would strongly recommend if you're looking for something a bit different. It's written in the second person (the protagonist is y
113.
by p0llard 7y ago
Yes. Pretty much any domestic bank transfer initiated electronically via mobile/online banking will be cleared through Faster Payments up to a limit of about £25,000 ($32,000) for most banks (the theoretical limit is an order of magnit
114.
by p0llard 7y ago
The term "British Isles" is purely a geographic one, and a controversial one at that; whether or not the the Isle of Man is part of the British Isles (it blatantly is, but I think the point being made related to the naming controv
115.
by p0llard 7y ago
I took a Computer Architecture class for undergrad, and one of the pieces of coursework was to implement a Karatsuba's Algorithm in raw UAL Arm Assembly, using some weird non-standard (almost Chen-Ho, but not quite) decimal encoding of
116.
by p0llard 7y ago
I'll have to work through this when I get the time. I started teaching myself Haskell for fun about a year and a half ago, and ended up going down a rabbit hole of formal logic, set theory, mathematical foundations etc. which I did not
117.
by p0llard 7y ago
Internal email this afternoon from President Reif: To the members of the MIT community, Last night, The New Yorker published an article that contains deeply disturbing allegations about the engagement between individuals at the Media Lab an
118.
by p0llard 7y ago
Just to clarify, you do realise that lambda calculus is an entirely different field to the calculus of mathematical analysis? They really have very little in common apart from the name. Sorry if you already knew this, but it seemed like you
119.
by p0llard 7y ago
Why would a junior dev be using _their_ card details? Surely your company has a corporate billing account with Google for this purpose? Perhaps I've misunderstood the situation, but if I were working as a dev at a company and was expec
120.
by p0llard 8y ago
> Driving a train usually needs an engineering degree in real life I'm dubious of this claim, but am happy to be proven wrong. I don't really see how an engineering degree would be necessary, or even helpful at all for this; I

More ›