aseipp

104 ms·

901.
by aseipp 7y ago
It is also a fact that both meterorites and rain fall from the sky sometimes, but that doesn't mean the "chance" of a meterorite hitting my head are the same as a raindrop. You're only going to get actual, reliable and u
902.
by aseipp 7y ago
Flexible Launch Control (setting your own keys) is available in the NUC7CJYH, apparently: https://github.com/ayeks/SGX-hardware#hardware-with-sgx2-sup... So even worse availability than I thought, I figured more than o
903.
by aseipp 7y ago
FWIW, SGXv2 enabled machines -- to my knowledge -- have a user-programmable MSR that you can stuff your own key into. So Intel is no longer needed at all for attestation. (I think they even released an SDK so you could more easily implement
904.
by aseipp 7y ago
Mail providers like Mailgun live or die based on their reputation. If they as a sender get marked as spam by "The Algorithms", then their product is useless. They almost certainly respond to abuse reports quickly and have enough r
905.
by aseipp 7y ago
Web stuff is pretty popular in Haskell already (I'd say "Web Stuff" is probably the biggest portion of production Haskell users these days), but then again it's also popular with many languages where people use throughpu
906.
by aseipp 7y ago
Because a thing that programmers tend to call "design" directly impacts how a user is able to interact with the tooling, obviously? Are you seriously asking "How could a thing like 'core design of the system' ever i
907.
by aseipp 7y ago
Kent has admitted (many times) that snapshots are one of the more difficult features to add in a reliable and safe way, and will require significant work to do right, especially for what he wants to see them do (I assume "really damn f
908.
by aseipp 7y ago
Is programming speed really that bad for the ultra high-end devices? Minutes? I don't remember it being that bad for the Amazon F1 when I ported a Xilinx build to use the F1 SDK (I didn't spend lots of time with our prior one, so
909.
by aseipp 7y ago
Making RTL portable, so it can be used with different toolchains, is certainly possible -- and how/why you do this is, like everything, is an engineering tradeoff. Sometimes when you write C code it's easier to just use Linux feat
910.
by aseipp 7y ago
GMP has constant time functions for the relevant primitives you'd need to implement RSA (notably, constant-time/space modular power functionality). You'll probably still fuck it up completely anyway if you're doing it yo
911.
by aseipp 7y ago
Most people formalize "kernel languages" that contain all the bare essentials of the language at hand. There are a variety of tools to do this; a lot of people just end up embedding their language semantics in Coq or something and
912.
by aseipp 7y ago
It's always hilarious to read the ever-puzzling reply that you see here, which is basically "Why don't you just manually re-build this design into every single application you've ever written, repeating yourself and scop
913.
by aseipp 7y ago
Cap'n Proto has good a good Rust library, but it's overall language support versus alternative formats is somewhat lacking, unfortunately. That said, Cap'n Proto has a substantially better design (both in theory and implement
914.
by aseipp 7y ago
Yes, absolutely. There are a lot of possible approaches in this design space, but recent CPUs from ARM can do this using memory tagging at a much finer granularity than process-wide. I don't think any silicon is actually shipping with
915.
by aseipp 7y ago
HWASAN detects against spatial and temporal memory errors; i.e. you have a pointer to memory that gets freed, and use it again (temporal), or a stack overrun into nearby memory (spatial). Pointer Authentication is used to sign pointers to g
916.
by aseipp 7y ago
I think it's a generally frugal market even if some of us are flush with a bit of cash. There's a lot you can get done for free with various FOSS stacks, and outside of highly specialized tools that aren't easy to replicate i
917.
by aseipp 7y ago
That's not really relevant to the suitability of WASM in hardware, though. uops are an implementation detail of microarchitectures; even if you do not introduce the uop design into your architecture, x86, ARM, etc ISAs are still effici
918.
by aseipp 7y ago
Here's my hot take, as a Linux distro developer with an Office356 sub: Excel is absolutely ridiculous and anyone who thinks anything in the FOSS world can compare or stand up to what Excel does is completely deluding themselves, and th
919.
by aseipp 7y ago
There are probably some people who see a 3k bug report number and think that, but realistically tons of projects have thousands of open tickets for any number of things from legitimate bugs to duplicates to actual user questions. Linux, pro
920.
by aseipp 7y ago
There are significant advantages to having the entire Nixpkgs package set in a mono repository. While I think Flakes are quite interesting for a number of reasons, I hope it doesn't result in the primary package set getting split up to
921.
by aseipp 7y ago
That was how it worked in the past, but it becomes frustrating because some changes result in many, many package rebuilds which hold up everyone else, or otherwise drains resources of the CI system, which would be better spent building exis
922.
by aseipp 7y ago
What does "equivalent power" even mean ? It's completely useless without any qualifiers or specific metrics/goals. My Nvidia GPU also doesn't run x86 programs at the speed of my desktop, but I never expected it to.
923.
by aseipp 7y ago
I moved myself to this, along with the family plan ($99/USD/yr, IIRC). The nice thing is that you can still buy the Office suite separately if you want. The other thing is I finally wanted to settle on "one" cloud storag
924.
by aseipp 7y ago
Yes. I work on a Linux distro, and the amount of time my 1st gen 32 core Threadripper has saved me is truly mind blowing. It made it possible to do changes I wouldn't have dreamed of. As an example, I worked a bunch on our PostgreSQL i
925.
by aseipp 7y ago
It's just how it works out in practice, in my experience. LLVM is a large, fast moving target that's incredibly complex to understand, because it has a complex job. It resolves many issues for you when you're developing a com
926.
by aseipp 7y ago
It wasn't just Apple, even several Google engineers working on WebGPU agreed that simply mimicking Vulkan wasn't the right model. There are some notes here: https://docs.google.com/document/d/1-lAvR9GXaNJ
927.
by aseipp 7y ago
Well, the A/AAAA record and the host you're contacting aren't necessarily the same information, right? You could connect to 10 wildly different sites all behind a CDN and get the same A record for all of them, but vastly di
928.
by aseipp 7y ago
The ability to write or design reliable compilers/debuggers that people will use in the real world, and estimations of "hardware complexity", has very little to do with how difficult it is to emit object code for some ISA, I&
929.
by aseipp 7y ago
Almost all of those points are true of any mainstream architecture (x86, ARM aren't going anywhere, your skills are valuable today, you don't have to throw away any code anytime soon, Rust works today on both) and the others (&quo
930.
by aseipp 7y ago
Why would that be an issue? People already have Mesa and AMDGPU working fine on non-x86 architectures (people have demoed physical POWER, RISC-V and AArch64 machines, all with various Radeon GPUs and the newer AMDGPU stack) and the support

More ›