lou1306

16 ms·

271.
by lou1306 2y ago
Really interesting feature set! I'd like to ask, are notes and highlight saved separately or are they embedded with the PDF?
272.
by lou1306 2y ago
SAT appears to be rather impervious to statistical methods because it is very non-linear and non-local (besides, of course, being NP-complete). Flip one single literal anywhere and poof!, your formula mght go from SAT to UNSAT, or vice vers
273.
by lou1306 3y ago
Unpopular? One of Italy's most popular historians likes to joke that, back in ancient Rome, any budding politician would have taken a post in Syria or Lybia over one in Gaul or ( shudders ) Britannia any day of the week. And every time
274.
by lou1306 3y ago
Surely 1/2 = 0.5 is what a statistician would expect? Whereas 1/2 = 0 is what happens in C, C++, Ruby, Java, C#, F#, Rust... Essentially most of the popular programming languages with the exception of Python and JS/Typescript
275.
by lou1306 3y ago
The shift towards // vs / also shows great acumen by the Python designers: they tried (and arguably, largely succeeded) in catering to the greater data science/statistics/numerical analysis communities, where 1&#x2F
276.
by lou1306 3y ago
> Ordered data types are core to computers actually: arrays, heck even the memory itself Has this been actually true in the last, say, two decades? Or is just a thin veneer to make your highly concurrent machine look like a PDP-11? Right
277.
by lou1306 3y ago
The problem is, when you are competing with the center of Paris, it is pretty hard to build a compelling alternative. Say what you will about the streets being loud, chaotic and dirty, the area between the II, III, V and VI arrondissements
278.
by lou1306 3y ago
Not that bright but it is visible to the naked eye even in presence of mild light pollution.
279.
by lou1306 3y ago
I can't possibly imagine sleeping posture being such a a pristine research area that there is no prior work on the topic
280.
by lou1306 3y ago
Let me be clear. These websites list your full name, date of birth, main address (including the exact apartment number if you live in a flat), your flatmates if any, the size of your apartment, and the average salary in your neighbourhood.
281.
by lou1306 3y ago
The problem I see is companies harvesting these records and profiting from making them available over the Internet. Maybe just add a rate limit to how many such requests a single entity may apply for?
282.
by lou1306 3y ago
Phone number? Heck if you know their first name, city of residence, and approximate age that's already enough in most cases.
283.
by lou1306 3y ago
Well to be fair, that constraint is also part of the mathematical definition of a graph, where the set of edges E is a binary relation over vertices V (i.e., a subset of V x V). You'd need either a multiset or a labelled relation (i.e.
284.
by lou1306 3y ago
Judging from this section in Chapter 3, I guess so :) https://kk.org/mt-files/outofcontrol/ch3-b.html
285.
by lou1306 3y ago
This is an advertisement for underwear. And it features a professional actor. Context matters.
286.
by lou1306 3y ago
I don't really think that the average iPhone user (at least in Europe) gets a new device every season. Actually the opposite is true: Apple does gives you the opportunity to stick to your old device, if you want. iOS 15 still gets upda
287.
by lou1306 3y ago
Besides Jtsummers' great list of citations, I would also suggest [2] as an overview of traditional process algebras and how they formalize and reason about concurrent processes. It focuses a bit more on a specific way of doing these th
288.
by lou1306 3y ago
Always good to see classic concurrency theory/process algebras on HN. But I do wonder why this paper specifically and not other, much more mature works (even by Milner himself!)
289.
by lou1306 3y ago
This might explain why scambots routinely try this approach on messaging apps (Telegram/Whatsapp/you name it). As in, send an absolutely out-of-the blue message like a table reservation, wait for the predictable you-got-the-wrong-
290.
by lou1306 3y ago
Technically speaking it a) unrolls all loop up to their length (if it can be statically determined) or to a given verification bound; b) transforms the code into SSA; c) transforms the SSA into a SAT formula. If the SAT formula is satisfiab
291.
by lou1306 3y ago
Come on, that kind of check is almost trivial to implement. Anyway, there you go: extern int nondet (void); int x = nondet(); if (x < 42) { assert (x != 12345); }
292.
by lou1306 3y ago
> “a parliament of owls” draws on ancient Greek mythology, in which an owl accompanies Athena — the goddess of wisdom and reason, representing freedom and democracy across the Western world. This is rich, given that Athenians never had a
293.
by lou1306 3y ago
It should suffice to check out what happens (code-wise) if one of the "players" has only one square left. Does the "winning" player have a chance to hit that square and conquer it? Or does the program immediately registe
294.
by lou1306 3y ago
Chaotic systems? As in, fully deterministic systems that are highly sensitive to initial conditions? EDIT: browsed the code a bit and there is some randomness in the bounce dynamics, so it's only "fully deterministic" if you
295.
by lou1306 3y ago
Toggles are actually not that bad as a checkbox replacement. But I feel they convey a lot of meaning through color (in iOS, sliders turn green when selected), whereas checkboxes reimain immediate even in b/w. I wonder whether people wi
296.
by lou1306 3y ago
Engineers can fail, and when they don't QA may, but it's management that chose to believe otherwise
297.
by lou1306 3y ago
Yeah I'd say if Norwegian goods (ore, in this case) can freely enter the common market, then they should be bound to the same regulations as EU mining companies, or they would have an unfair advantage. We'll see how the EU reacts
298.
by lou1306 3y ago
> nVIDIA - clearly riding the AI wave More like "the ones selling shovels during the Gold Rush", in my opinion.
299.
by lou1306 3y ago
Thank you for the reply and congratulations on the PhD position! I am still not 100% sure about the specifics but my new team focuses on cyber-physical systems and whatnot, so probabilistic modelling and analysis techniques will likely play
300.
by lou1306 3y ago
What do you mean? I thought runtime errors in C were almost always catastrophic; the real issue is UB (first example that comes to mind is out-of-bound array access; sometimes you segfault sometimes you just get random data) or, in general,

More ›