lou1306

13 ms·

241.
by lou1306 2y ago
I am by no means an expert in CPython/V8 internals, but arguably Python is way more dynamic (e.g., dunder methods), performs way more runtime checks (whereas JS will happily keep on trucking if, say, you add a string to an integer), an
242.
by lou1306 2y ago
He (probably) means that the geometry of a PDF "page" can be customized. You can even have different sizes within the same document. But most people using LaTeX or even basic plotting utilities which export to PDF know this.
243.
by lou1306 2y ago
I'd reckon the median user is not someone who has been "publishing blog posts multiple times a day, seven days a week" at any point of their life and that the most likely risk is mindless consumption rather than endless produ
244.
by lou1306 2y ago
Yeah it is obviously informed by our local environment, the very definition of parsec is tied to the structure of our solar system.
245.
by lou1306 2y ago
Maybe OOP is a strong word, but it would make absolute sense to have an imperative core if you absolutely need the highest possible performance, or if the OOP/imperative core is pre-existing and you want to "regulate" access
246.
by lou1306 2y ago
Not a physicist but it seems to be part of astrophysics culture, and it's a good "base measure" for interstellar space (i.e., if something is < 1pc away it's likely within your same star system). A parsec is ~3.26 lys
247.
by lou1306 2y ago
Well, Standard ML was initially designed for a theorem prover, so you're definitely onto something here :)
248.
by lou1306 2y ago
Kudos for publishing in OOPSLA, but alas I'm skeptical. This seems to add visual clutter/mental overhead as one needs to parse a decision tree rather than having a "flat" sequence of patterns with the optional when-condi
249.
by lou1306 2y ago
This is not really related to Mediaset, but rather to illegal streaming of football matches.
250.
by lou1306 2y ago
For VSCode users who want to try out LanguageTool, I cannot recommend the LTeX extension [1] highly enough. Setting up a self-hosted configuration is really easy and it integrates very neatly with the editor. It was originally built for LaT
251.
by lou1306 2y ago
There is an entire ACOUP post [1] on what feudalism actually means, and it is a _lot_ more complex than "land in exchange of military glory for your overlord". Actually the "overlord" is surprisingly weak wrt. our curren
252.
by lou1306 2y ago
I feel no reason short of a mandate from a judge is so good to allow Google ( edit : or any other tech company, really) to completely lock someone out of their personal data. Give them a takeout link and send them on their way, at least
253.
by lou1306 2y ago
Well now I feel compelled to make a Gothenburg-centric remark, ha ha. I literally swam not far from the archipelago pier last weekend, and there are many swimmable lakes around the city. Since we're talking about swimming in the city
254.
by lou1306 2y ago
Since all other replies are a bit too concise, I'll try and dive deeper (ha ha). 1) Naturally, rains wash out street grime and small pieces of rubbish which may easily bypass the sewage system altogether and end up in the river. 2) Cit
255.
by lou1306 2y ago
Choice of appropriate notation can absolutely make one version of a formula "more perfect" than another. Maxwell's equations underwent a painstaking "evolutionary" process as vector notation improved. Ditto for proo
256.
by lou1306 2y ago
Absolutely, except it will 100% go down the Do Not Track way. Nobody will care. I mean, at this very moment AI companies are training their models on data that's been obtained in a less-than-compliant way...
257.
by lou1306 2y ago
On the contrary, it's exceedingly easy. The vibes are all off.
258.
by lou1306 2y ago
How did your parents meet? This seems like a bad bad way to start and anything but a "soft ball". There's a lot of people out there who'd rather think as little as possible about their family of origin.
259.
by lou1306 2y ago
The ships in the pic are not that tiny. I just looked up "US 310 ship" (the rightmost one) and it was a 100-meter lander that could definitely carry at least a dozen heavy tanks, or ~30 trucks [1]. You would need a lot of planes
260.
by lou1306 2y ago
Sometimes I wish someone would write a FUSE driver for IMAP/Exchange (and yeah I know Exchange is especially unlikely to happen). All attempts I could find on the Web seem abandoned, unfinished, or both.
261.
by lou1306 2y ago
Indeed it seems that the verification relies on Apalache, which is an alternate (symbolic) model checker for TLA. TLA (well, TLA+) gives access to a richer specification language, as it allows e.g., to express liveness properties (informal
262.
by lou1306 2y ago
Sure, it is not necessarily the pool depth. But that is almost surely the one factor that deviates the most from the "average". Paris is 50-100m above sea level which is pretty unremarkable gravity- and pressure- wise. Its water
263.
by lou1306 2y ago
But a lot of the swimmers themselves are not able to go anywhere near their personal bests: this is a sharp reversal from past Olympics, where many athletes reached new personal records. Plus, they are the worldwide foremost experts on co
264.
by lou1306 2y ago
It is worth noticing that, while the article might be trivializing the topic a bit, the researcher won an ACM Prize in Computing so I would wager she knows what she is doing. Digital twins may be a buzzword but there is also very very solid
265.
by lou1306 2y ago
If the PDFS are textual or have OCR, then pdf2text from the Poppler suite ought to be enough? If not, add Tesseract/ocrmypdf to the pipeline?
266.
by lou1306 2y ago
The funniest thing is, whoever wrote that is NOT repeating stuff. "never use seaborn" and "use matplotlib over seaborn" are very different statements.
267.
by lou1306 2y ago
Agree that soundness is desirable, but "it only works on a subset of instances" and "you are restricted to a non-Turing complete subset" are not equivalent in the slightest.
268.
by lou1306 2y ago
> Yes, by restricting things to a non-Turing Complete subset. No, not necessarily. There are procedures that _can_ verify properties against Turing-complete and even infinite-state systems. It's just that no _general_ (as in, sound
269.
by lou1306 2y ago
Point is, if you are using it as a tool to reach out to your community it's mostly okay, but if you are doing support or documentation up there you should really really think twice. In this instance: Amiga 600 Discord where we post pic
270.
by lou1306 2y ago
> We don't know if telegram is secure or not. I don't have anything against Telegram personally, but that sentence is by all intents and purposes equivalent to "Telegram is not secure". Meanwhile, every person I have

More ›