zokier

27 ms·

481.
by zokier 1y ago
Herbie can optimize arbitrary floating point expressions for accuracy https://herbie.uwplse.org/
482.
by zokier 1y ago
At least to me one of the challenges is relating to the problems that BGP solves. You can get pretty far in network complexity before BGP (or OSPF etc) really does anything for you. What would be good scenarios one could encounter in "
483.
by zokier 1y ago
it is frustrating that nowhere does it tell how it actually works. generally keyboards can not send specific unicode codepoints to host system, they only send scancodes that get interpreted by operating systems keymap. But most keymaps do n
484.
by zokier 1y ago
Worth noting that the GTX 1070 is nearly 10 year old "mainstream" GPU. I'd imagine a 5090 or something could push the numbers fair bit more higher.
485.
by zokier 1y ago
> The land is already purchased so you “just” need to re-lay the track. While the details are unknown, this project will almost certainly mean new tracks alongside the old tracks at least for the main lines. Which means that the existing
486.
by zokier 1y ago
There is one reason for optimism here: Finnish rail network is in quite poor shape and needs major work done anyways. So switching gauge allows funneling more EU funding into these projects that would need to be done either way. I imagine t
487.
by zokier 1y ago
Make CLT from thin enough boards and you got plywood
488.
by zokier 1y ago
> This should at least be the top comment on this thread to offset the content-free journalist pablum that's linked. The posted Techcrunch article directly links to the Nature paper, it is the very first link of the article
489.
by zokier 1y ago
I'm not sure your font rendering is very good example here. Windows has used vector fonts since 90s and ClearType since Windows XP. That is nearly 25 years ago. And it wasn't really much of a performance issue even back then.
490.
by zokier 1y ago
I wonder if the author considered at any point using Sparx-5 switch asic from Microchip? Those are available in single quantities for not too crazy price ($121 for 128G variant), and they are Linux based. Of course I understand that having
491.
by zokier 1y ago
Interesting that relativity is included here; to me it's one of the main things separating modern physics from classical.
492.
by zokier 1y ago
btw yocto has been using 64 bit time_t since last year: https://docs.yoctoproject.org/dev/migration-guides/migration...
493.
by zokier 1y ago
> The idea is that if a string is encodable in the legacy codepage, you should be able to make the roundtrip. But the which strings are encodable in legacy codepage depends on what we define as encodable! If we had separate codepoint for
494.
by zokier 1y ago
IoRing != io_uring. They are similar APIs but not the same thing.
495.
by zokier 1y ago
If "turkish lower case dotted i" would be separate codepoint, that still wouldn't cause ambiguity like you describe. It would just mean that "U+0069 latin small letter i" would not be (directly) transcodable to the
496.
by zokier 1y ago
That didn't answer the question, why would separate code point for Turkish lower-case dotted i break round-tripping?
497.
by zokier 1y ago
How would separate code point break round-tripping specifically?
498.
by zokier 1y ago
Why on earth would you run services on a server with --user and then fiddle with lingering logins instead of just using the system service manager?
499.
by zokier 1y ago
Intels X86S proposal[1] gives perspective on this. Both in how there would be reasons to get rid of legacy, and how yet it still got shot down pretty quickly[2]. It's unfortunate that I don't think we ever got more explanation on
500.
by zokier 1y ago
I think CTE is red herring here, the problem is in the sub-query regardless if it's in CTE or not
501.
by zokier 2y ago
Density is also bad. You spend 4 full racks and get 208 cores. Sure, they might be the fastest cores around, but that gets you only so far when even off-the-shelf Dell server has 2x128-192 cores in 1U server. Similarly 64 TB of RAM is a lot
502.
by zokier 2y ago
I agree that water analogy doesn't belong in this category because technically it works, but disagree on it being easy to visualize or pedagogically useful. Unless you have really solid understanding of hydraulics/fluid mechanics
503.
by zokier 2y ago
Typestates were also notable feature in early Rust, albeit in a very different form. I do recall them mentioned often in presentations/talks/etc at the time. Tbh it would make interesting blog post to compare modern typestate patt
504.
by zokier 2y ago
Pretty simple to fix by changing the _init to something like: def _init(self): init_complete = threading.Event() def worker_thread_start(): FooWidget.__init__(self) init_complete.set()
505.
by zokier 2y ago
How does that implicit state help with anything if you look at the system as whole? Sure, with terminal applications the costs are spread around in more components, but ultimately the total can not really be smaller. You still have the GUI
506.
by zokier 2y ago
> when the "talking directly to the display server" approach incurs so much more cost, unless you were willing to accept an unusably minimal user interface (worse than any terminal program would be). Talking directly to display
507.
by zokier 2y ago
> even if you count ncurses, the tty stuff is way, way lighter than all the rendering code, componentry, and hierarchical dispatch stuff that goes into a typical GUI toolkit But using tty/ncurses does not avoid the costs of GUI, you
508.
by zokier 2y ago
> Terminal text editors are also lighter due to the fact that the terminal is providing all of the windowing fuss for them and that terminals are light applications in and of themselves due to not having to do much that is extremely nove
509.
by zokier 2y ago
Using HTTP does not preclude having a reverse proxy. So the only difference between FastCGI and HTTP is really what protocol your proxy and your application use, and I don't really see why FastCGI would be major win there.
510.
by zokier 2y ago
It's baffling how FastCGI ever was popular, considering how weird it's premise is: let's take this well-known standard simple text based protocol and convert it to our own custom binary protocol, that will make writing servic

More ›