jlokier

22 ms·

271.
by jlokier 3y ago
You'd be surprised. 1 billion instructions in 25ms is realistic these days. My laptop can execute about 400 billion CPU instructions per second on battery. That's about 10 billion instructions in 25ms. Ihat's the CPU alone,
272.
Debt Free – Tyler Tringas(tylertringas.com)
1 points by jlokier 3y ago|0 comments
273.
by jlokier 3y ago
I have seen it happen even within a local dual-redundancy cluster, with machines connected by redundant ethernet links. Some maintenance person disconnected power to the two servers, then reconnected the power assuming they would reliably r
274.
by jlokier 3y ago
In this context, it's about scrolling when you slide your fingers along a trackpad surface. It's supposed to be like "buttery smooth" scrolling on a smartphone. Whatever is on the screen should move with your fingers, w
275.
by jlokier 3y ago
If your logical expressions aren't too strange, and there aren't too many, that's well suited to an SMT solver, such as Z3. You might, for example, create a new logical expression for each pair of your original expressions, j
276.
by jlokier 3y ago
> LLMs are more like apps being produced by different companies trying to capture walled gardens, and their open source counterparts. I think the analogy to the web is stronger than that. For now the LLMs are mostly separate, but it won&
277.
by jlokier 3y ago
I'm using Orgzly on my phone now to take notes. I also have Emacs on my various computers, always open on at least one, though I never got into Org-mode much. Now, I'd like to try having the same notes on all devices. Synchthing
278.
by jlokier 3y ago
The App Store fee is down to 15% these days*, or zero if you buy Bartender from their own website. * For entities with < $1M annual revenue.
279.
by jlokier 3y ago
"cannot" isn't accurate. "cannot easily" would be accurate. For example, FPGAs themselves can be emulated in software with precise timing accuracy, so anything you can run on an FPGA can be emulated in software wit
280.
by jlokier 3y ago
I wasn't a big fan of the excessive blue LEDs that appeared everywhere after they were invented, either. Though it was understandable enthusiasm for something new by product developers, after decades of having only red-green combinatio
281.
by jlokier 3y ago
Fwiw, my 2022 IP67-rated Samsung phone failed after a few mild water splashes recently. It's supposed to be resistant to 1m submersion for 30 minutes, but failed with much less water exposure. I was stuck without essential functions u
282.
by jlokier 3y ago
Smooth scrollback in a terminal emulator using the mouse/touchpad, with terminal tabs, is way too useful for me to switch to tmux for general use. I use scrollback a lot. Sometimes I search scrollback too, which some terminal emulato
283.
by jlokier 3y ago
The halting problem asks, "Is it possible to write a program which correctly outputs YES or NO to the halting question for every possible input which is the code of a program?" The binary requirement comes from the question, not a
284.
by jlokier 3y ago
> Does the left column ever wrap? Yes, the left column wraps on mobile.
285.
by jlokier 3y ago
For recent dead comments, click on the time ("31 minutes ago") to bring up the comment's own page where there's a "vouch" option next to the other comment options if you have enough karma. For dead stories in t
286.
by jlokier 3y ago
There are technical methods to detect and revoke large-scale reuse of an uploaded id. I wrote more detail in another comment. That only covers large-scale reuse. It doesn't cover lending your id to your younger sibling if you want to
287.
by jlokier 3y ago
There's a unique identifier, but it's your secret and can't be used for tracking. Sites needing verification don't learn anything except that you "have" a token matching the condition they are checking. This
288.
by jlokier 3y ago
> But the central authority, a third party, will get a heads-up every time someone - whether child or adult - logs into the social media site. That's a privacy violation. Even if the verification system were set up in such a way tha
289.
by jlokier 3y ago
> But the only way to do this is to require ID checks, effectively regulating and destroying the anonymous nature of the internet That seems intuitive, but it's not actually true. I suggest looking up zero-knowledge proofs. Using m
290.
by jlokier 3y ago
> The nonprofit organisation thing seems very significant. That makes it fairly easy [...] I give Apple credit for making this clear rule: Having fewer than 1 million users on iOS in the EU means no fee, and you don't need to worry
291.
by jlokier 3y ago
If the entire dept was let go, then they were lying when they told her she was being let go because of her own performance metrics.
292.
by jlokier 3y ago
It's different enough that Apple thinks it's only safe for them to ship GPLv2 software on MacOS devices, not GPLv3. This might have something to do with the way they sign shipped versions and use TPM security to verify what'
293.
by jlokier 3y ago
Fwiw, Haskell is not from Microsoft Research. The Haskell 1.0 specification was published before Microsoft Research existed at all. (I worked briefly on a Haskell compiler in those days.)
294.
by jlokier 3y ago
Does it spin up the fan?
295.
by jlokier 3y ago
Despite various attempts at Linux async file APIs over the years, it turned out using a well-implemented thread pool for file I/O was the fastest way to do async file I/O on Linux, in most cases. In cases where it wasn't fas
296.
by jlokier 3y ago
I liked their idea, and I think it had a lot of potential for clever optimisation. Shame about the bankrupcy. But it's different to what I'm talking about. Tabula's extremely fast multipexing needed a lot of chip area.
297.
by jlokier 3y ago
I'm familiar with Bittware, F1 and Alveo accelerators. I've used F1 and might use Alveo this year. The cost of programming them is indeed high, but it's largely because of the design software whose paradigm remains firmly s
298.
by jlokier 3y ago
> trying to get acceptable latency for audio recording > In Windows or MacOS I would have been up and running immediately. I watched a couple of videos yesterday by musicians using Ableton on their new Apple M3 Max laptops with late
299.
by jlokier 3y ago
> Configuration of SRAM based FPGAs is rather slow because it requires a scan chain to program each logical element and shift config bits into, and doing it faster requires even more circuitry. You need to multiplex things onto the fabri
300.
by jlokier 3y ago
Chrome and Edge use the Blink rendering engine (except on iOS). Safari uses WebKit. Firefox uses Gecko. (Edge used to use its own engine, EdgeHTML, but switched to Blink and EdgeHTML is no longer developed. EdgeHTML was derived from the Tr

More ›