aseipp

110 ms·

931.
by aseipp 7y ago
Holy hell, they dropped the price on that thing pretty quick! I think you could originally only get the $700 price tag for Xavier via the "developer discount", which only applied to one unit. As a word of note, though, the chips i
932.
by aseipp 7y ago
Why on earth would you ever even consider getting a Mac Pro if a Mac Mini will do the job you need? Unless you have $5,000+ just sitting around you want to throw away on street creds? This is a serious question, because I really cannot po
933.
by aseipp 7y ago
Depends on what you mean by "clean". I'd say it's pretty good from what I can see? The examples are also incomparable; the one you link to is nearly 20 lines of code to define nothing more than an embedded triangle image
934.
by aseipp 7y ago
An easy case that I've used multiple times is equivalence checking. In other words: phrase a problem like "are these two programs equal" as "Is there any input X that can satisfy the following: F(X) != G(X)". If you
935.
by aseipp 7y ago
> Local taxi companies are more expensive than Uber and inconvenient Uber essentially sets money on fire in order to make the rides cheaper than alternatives, but that will eventually end. I've got some bad news for you about what h
936.
by aseipp 7y ago
Eh, I was in this same boat as a VMWare Workstation user -- I haven't upgraded my license recently, and v14 has a number of bugs that are very annoying -- but at this point with tools like Windows Sandbox in 1903, various Hyper-V/
937.
by aseipp 7y ago
For a bit of advertisement and any interested parties: I packaged liburing in the NixOS unstable branch a week or two ago (Jens hasn't done a stable release just yet, however), and I also pushed the 5.1 kernel release into unstable las
938.
by aseipp 7y ago
You do need code changes for Optane DIMMs, if you treat them as what they are, which is non-volatile memory. That simply requires a new programming model and also a new performance model, since Optane is "almost as fast as RAM"
939.
by aseipp 8y ago
> we are at a point of diminishing return of improving hardware We're already at the point where hardware is marginally increasing in efficiency year-over-year for most purposes. We've been there for like, 4-5 years now. Chips
940.
by aseipp 8y ago
`foldMap` and `fold` in Haskell only require Monoid because there are many common cases where you're folding over a monoidal type; they are simply conveniences. The alternative is to always define things in terms of `foldr` which is mo
941.
by aseipp 8y ago
Oracle JDK is just the Oracle(TM) Supported branding of OpenJDK, now. As of Java 11, there are no feature parity or real technical differences between OpenJDK or OracleJDK, just support/EOL differences from vendors. So, that's pre
942.
by aseipp 8y ago
Tegra systems use a unified memory controller for both GPU and CPU RAM. This means the GPU can access essentially all system memory as video memory and there is no meaningful distinction between the two. This has always been the case -- sim
943.
by aseipp 8y ago
Most end users as of very recently never even knew if access to a website was ever secure or not. The huge rise in TLS deployment (in part through services like Let's Encrypt and, ironically, Cloudflare), and browser UX mechanisms are
944.
by aseipp 8y ago
Chips themselves aren't actually very regular in terms of their layout -- not all tracks are connected the same way, parts are partitioned across different clocking areas, some parts of the chip contain things like memory resources whi
945.
by aseipp 8y ago
Why? Remote GPU compute is a totally viable solution for many classes of problems, and systems like QNX or Plan 9 would actually do it properly and allow you to have powerful setups such as thin clients with little configuration, without
946.
by aseipp 8y ago
This basic problem can always be summed up as something like: "Extreme nerds who are almost completely divorced from the needs and skills of 95% of all computer users are BAFFLED by the fact Social Effects Are Real, and people do not k
947.
by aseipp 8y ago
You're deluding yourself if you think the CDDL hasn't been a major hurdle against ZFS success in the Linux world. ZFS isn't successful in Linux because the CDDL doesn't matter, it's successful despite the fact it
948.
by aseipp 8y ago
If we're talking about desktop processors, it's still irrelevant, honestly; any desktop processor that can compete in a modern world is extraordinarily complex in implementation at every level. POWER, ARM, RISC-V, x86 -- they all
949.
by aseipp 8y ago
Binary-Ninja and IDA are a completely different class of tool from Radare. Don't get me wrong, I'm happy Radare exists. And I occasionally check it out and play with it -- I think "the vim of RE tools" is a cool point in
950.
by aseipp 8y ago
Nvidia spends more money on marketing, developers, tooling, documentation, infrastructure, and publishing high quality, usable libraries for GPU numerical computing. They have been doing this for years (CUDA is +10 years old) and are very g
951.
by aseipp 8y ago
Binja is the only real competitor in any remote sense IMO, and while the LLIL/MLIL are nothing compared to Hex-Rays, they do still dramatically improve the speed of the job. Binja is also fairly extensible/pluggable, though it&#x2
952.
by aseipp 8y ago
Doesn't look like it: https://coral.withgoogle.com/web-compiler/ The proprietary compiler thing sucks, but it is where a lot of the secret sauce is, unfortunately. But a binary wouldn't be too much to ask for
953.
by aseipp 8y ago
NixOS currently isn't there. A lot of this work is done, but much still remains. We have benefited greatly from Debian's work, though (Debian maintainers frequently come across as happy upstream participants to fix issues like thi
954.
by aseipp 8y ago
I spent some time looking at TimeSync and my primary takeaway was simply that while it was nice, there's no actual hard numbers on how accurate it really is. I suspect it is very accurate but proving this (to yourself) is going to be c
955.
by aseipp 8y ago
The problem with clever implementations isn't that they can't be reused or that they have abnormally high cost for end-users (though this is sometimes the case). It's that they inherently require more work to maintain, author
956.
by aseipp 8y ago
Unfortunately there is no way to propagate an environment variable thru a Worker. The closest equivalent is in fact this "resource binding" mechanism I mention -- but it's a bit different -- where as an environment variable b
957.
by aseipp 8y ago
Yes, I did find the google-able documentation, but I wasn't sure if the API worked or not, or it was just a temporary vision of the future, etc -- I guess I simply didn't try. :) Perhaps once my GH Actions Workflow is figured out
958.
by aseipp 8y ago
At the moment, no, but in theory if I had access to Workers KV (I do not), I could probably build something like that relatively easily. But, I haven't needed it at all -- maybe later when I plan on uploading some bigger public dataset
959.
by aseipp 8y ago
Workers are pretty neat. I've been using them as a mechanism for serving private Wasabi/Backblaze B2 buckets publicly, ideally so I can host project assets with more predictable costs. This is a very practical and useful case for
960.
by aseipp 8y ago
Yes, but you see, only one of those possibilities allows me to live out a fantasy of being a cool space colonist like Matt Damon. The other one requires me to be a usual suspect who has to deal with the material outcomes of living in societ

More ›