Loq

6 ms·

1.
by Loq 3y ago
Indeed, what bqmjjx0kac proposes, is orthogonal to fuzzing (which is an algorithmic technique to drive test-coverage), and an instance of defining, and dynamically checking a property. Apropos: https://blog.regehr.org/archiv
2.
by Loq 3y ago
Fuzzing and constrained random, while both based on randomisation, are not the same thing. A big problem of fuzzers from the point-of-view of hardware validation is that it's unclear what coverage guarantees they give. Would you tape o
3.
by Loq 3y ago
The official formal specification of the Vector Extension has just been merged into the Golden RISC-V model: https://github.com/riscv/sail-riscv/commit/c90cf2e6eff5fa4ef... I expect that this will help stab
4.
by Loq 3y ago
If you want to understand Kant in the language of (self-supervised) machine learning, I can highly recommend this rather astonishing PhD thesis: https://www.doc.ic.ac.uk/~re14/Evans-R-2020-PhD-Thesis.pdf
5.
by Loq 3y ago
> loose specification of the RISC-V ISA. This is being worked on with the Sail model [1]. In order for a RISC-V extension to be ratified it ought to be implemented in Sail. The understanding is also that the RISC-V ISA manual should be
6.
by Loq 3y ago
This is a much older phenomenon, called railway town , and it is so frequent that it has its own Wikipedia page [1]. At smaller scale this also happens in cities where new underground lines are built. It's a well-established way of p
7.
by Loq 3y ago
Turing award winner Dana Scott already mentions categories in his work on models for the untyped lambda-calculus, for example in his 1971 monograph on Continuous Lattices , which set the foundations of domain theory. Moggi monads came abou
8.
by Loq 3y ago
> Is there a source for that narrative? Girard mentions the connection with categories all the time. For example in "Proofs and Types" he proves various theorems along the lines of: the sub-category of coherence spaces and
9.
by Loq 3y ago
> Is there a source for that narrative? Rust's types evolved over many years. Rust used to have "typestate" for example. I had discussions with Graydon Hoare around 2011-ish about session types (which are linear). It s
10.
by Loq 3y ago
You could look at the papers being published in conferences like POPL, LICS, PLDI and ICFP. The theory of (Moggi) monads and monad transformers has been influencing modern programming (and libraries) very heavily (e.g. all of Haskell, Scala
11.
by Loq 3y ago
Category theory has been extremely influential in computer science, primarily because a (maybe the) prototypical idealised programming language (the simply typed lambda-calculus) is at the same time, a logic and a convenient syntax for cart
12.
by Loq 3y ago
It's just a theorem prover. Like every theorem prover it has a logic that you use for stating propositions, and proving theorem. The logic is a specific logic that is closely related to HoTT.
13.
by Loq 3y ago
Dependent types: de Brujin (1967) Curry-Howard: Curry (1934, 1958), Howard (1968) MLTT: Martin-Lof (1972) Polymorphic lambda-calculus: Girard (1972/3), Reynolds (1974) Effect systems: Gifford/Lucassen (1986) Calculus of
14.
by Loq 3y ago
Unlike Graal/Truffle, PyPy was done by a very small team.
15.
by Loq 3y ago
Could you give me references for this theory of meta-tracing in the 1990s? It seems to me that PyPy was the first to, systematically and in a lightweight way, solve the problem of normal JITs optimising the wrong loop, when JITing interpre
16.
by Loq 6y ago
Pol Pot, Mao, Stalin ... made similar promises. Did they deliver? Political movements cannot meaningfully be evaluated by what they promise, for the all promise the world, but by - Before they come to power: by what they are likely to deliv
17.
by Loq 6y ago
That would be misleading, since it would distract attention away from the core reasons of such conflicts. Aside, during the cold war, many leaders in developing countries played the US and the Soviet union off against each other, in order t
18.
by Loq 6y ago
communists will tell you the soviet ideology wasn't communism. This falls in no-true-Scotsman territory, and should be seen as a self-exculpatory narrative, after all, they sent millions to an early death, yet the s
19.
by Loq 6y ago
successful socialist country Does such a thing exist? What do you count as success? Just a few years earlier, and driven by the same socialist expansion strategy, another developing state turned socialist, Cambodia, with active hel
20.
by Loq 6y ago
Almost everything I know about the world, I learned through consuming mass media. One of the things I learned from the mass media is that the mass media cannot be trusted.
21.
by Loq 6y ago
Everybody lies about two things: money and sex! I can't recall who said this to me as a teenager, but at the time it felt wrong! I had not yet much experience with either. Navigating the adult world changed that, but I didn't gr
22.
by Loq 6y ago
The article you cite does not claim that the Navalny poisoning was a US/Saudi false flag. On the contrary, Murry states: "I should state that I have no difficulty at all with the notion that a powerful oligarch or an organ of
23.
by Loq 6y ago
Murray did not state that Skripal was a false-flag by the UK government. He did ask several questions about the nature of the official UK government's explanation which you find at [1]. Can you point me towards credible answers to
24.
by Loq 7y ago
moving towards a compiler approach. What do you mean by "compiler approach" in this context?
25.
by Loq 7y ago
Most of Taiwan is fairly mountainous and empty. Most of the population is in a few cities (Kaohsiung Taichung Tainan Taipei Taoyuan). It's enough to connect them with high-speed trains, and that's what happened.
26.
by Loq 7y ago
This is true, but ... ... you can analyse this in a different way: think long term! The more successful you are in your job, the more you will bump into the same people again and again later, sometimes a decade later. Somebody else abused
27.
by Loq 7y ago
This is very insightful. Incidentally, the essence of what you say (the mind is always predicting and learns from prediction failure) is also the essence of idealist philosophy, and has found its most advanced expression in Kant's Cri
28.
by Loq 7y ago
I agree with you, in that pretending to drink (e.g Tonic instead of Gin & Tonic) is probably what a lot of us do, and the obvious way out. But the point of drinking is not really being sociable, but making yourself vulnerable. Vulnerabi
29.
by Loq 7y ago
one reason I do like working remote is that I don't have to deal with others' grade 8 drama skills!
30.
by Loq 7y ago
Could you give an example? The most popular trust-creation mechanism for adults seems to be getting drunk together, which reliably leads to little infractions, which every witness has the choice to exploit or not. The latter option engen

More ›