setopt

25 ms·

391.
by setopt 2y ago
It’s also hard to prove that a statement definitely lies in the “space of true statements”. Moreover, whether a proof assumes “A = B” or “B = C” can make them closer together or further apart in such a space depending on whether it is estab
392.
by setopt 2y ago
On the other hand, compiler tricks like tail call optimization can e.g. reduce an O(n) algorithm to an O(1) algorithm. Is it a “different program” if the same source code is compiled with a new compiler?
393.
by setopt 2y ago
I use comint-mime [0] to show images in IPython buffers started with `M-x run-python`. [0]: https://github.com/astoff/comint-mime
394.
by setopt 2y ago
Exactly. How well would a 1912 student do on an 8th-grade test today for comparison? They would lack any info about world wars, decolonization, computers, space race, internet, climate change, just to pick some topics taught today.
395.
by setopt 2y ago
I like the build system analogy for the epigenetics, it is quite apt since the mechanism is to “turn and off features that are already in the code base”. Not sure I get the preprocessor analogy though. Unless you mean specifically changing
396.
by setopt 2y ago
I used to this, but with a family I feel that streaming services are just easier to share despite having to juggle services. I occasionally torrent hard-to-get stuff, like content not available in my region.
397.
by setopt 2y ago
I wrote a program to add Roman numerals using Sed. You really just have to use regular expression substitutions to convert it all to unary (e.g. substituting IX -> VIV, IV -> IIII, V -> IIIII in that order), then remove plus and wh
398.
by setopt 2y ago
I tend to cycle between Netflix, Disney+, Amazon Prime, HBO Max, Apple TV+. We usually have 1-2 of the services at a time for a couple of months, where we watch everything new interesting on that platform, and then cancel the subscription a
399.
by setopt 2y ago
Great overview. Add to the list the nuclear option of a “gene drive”, a genetic modification that spreads exponentially through a mosquito population.
400.
by setopt 2y ago
The point was that if the laptop is taken out and doesn’t go through the scanner, but the rest of the student has to go through the scanner, then the laptop is a great hiding place. Presumably that scanner can at least beep at a pocket
401.
by setopt 2y ago
> Couldn't you have the laws of physics change based on your speed but without changing based on location, direction, or over time? No you can’t, that’s basically what e.g. the Levy-Leblonde reference proves :). I encourage giving a
402.
by setopt 2y ago
“Instant” (i.e. infinite speed of light) also permits causality. That’s the historical Galilean model. That is in fact the only other way to make a causal universe that satisfies a few common sense assumptions (“the laws of physics are th
403.
by setopt 2y ago
Not exactly the same… But recently I wanted to pick a library in Python or Julia for simulating differential equations using a GPU. So I asked ChatGPT which libraries exist for this (JAX, CuPy, etc.), asked it to generate code to solve e.g.
404.
by setopt 2y ago
> It wasn’t until my mid-30s that I found a method that made me productive (going from 2-3 hours of work a day to 9-10 hours What was this method ?
405.
by setopt 2y ago
Is it a space-time trade-off if you end up with little space and little time? Twitter chose to minimize both by storing less, that’s not really a “trade”. I usually understand the term to mean that using more space lets you use less t
406.
by setopt 2y ago
I would love to instead have one official upstream runtime type checker which can be enabled per function, class, or module via decorators. Basically, providing opt-in strong typing as a language feature. Currently, I’m using the third-part
407.
by setopt 2y ago
And the “dom” refers to how it completely dominates that fan.
408.
by setopt 2y ago
You should learn Arabic, then you can write in the other direction and watch the right-handed normies struggle with this :)
409.
by setopt 2y ago
Another formulation of this which I like is that the Mahalanoubis distance measures “how many standard deviations apart” two state vectors are. Note that since the covariance matrix has variance on the diagonal, it corrects not only for cor
410.
by setopt 2y ago
I think emitting a warning every time an unspecific exception is caught might be a better balance. That way, you could still do a quick “try: … except: …” when drafting new code, but the code might warn you if the bare except block is ever
411.
by setopt 2y ago
Google Translate hallucinates as well. It’s particularly obvious if you translate between languages with vastly different grammar, e.g. Korean -> English, since Korean doesn’t require a subject per sentence but English does – so Google T
412.
by setopt 2y ago
I should perhaps have added this wasn’t a “corporate” network but a university network. As a PhD candidate that was my “work network”.
413.
by setopt 2y ago
I’d 100% understand if they want to block it… but for a while I ran my home server as a Tor hidden service just to get free dynamic DNS and NAT traversal, and could SSH into it from my office by accessing Tor from there. That’s arguably a l
414.
by setopt 2y ago
I was for a while faking a 16-color terminal without support for 256 colors just to avoid this configuration hell. I also tried https://no-color.org/ because I’d rather have no colors than bad colors. These days I just gave
415.
by setopt 2y ago
> But if you search for "≥" it should not return the ">=" disguised as "≥", ...right? That’s my issue :). Languages like Julia permit both “>=" and "≥" in the source code with the same m
416.
by setopt 2y ago
Many alternatives: - Like the sibling mentioned, you can use a “compose key” (it’s built in on Linux and can be installed on other platforms). There are other OS-wide options like the TeX input method for Gnome, or TextExpander snippets on
417.
by setopt 2y ago
The main reason I stopped using programming ligatures that much is that many languages actually support Unicode characters in the source code, and this is actively used in some projects I work on. It then becomes important to see the differ
418.
by setopt 2y ago
That’s why many countries have government “watchdogs” you can report illegal contracts to, who will investigate it and potentially sue the company if they believe its a scam or somehow against consumer rights.
419.
by setopt 2y ago
Zotero 7 is excellent. I also like the official Zotero iPad app, which is quite decent to read and annotate papers in your Zotero library on the go.
420.
by setopt 2y ago
Is that considered a legal contract?

More ›