remexre

25 ms·

301.
by remexre 4y ago
I thought the famous Hobby Lobby SCOTUS case wasn't abortion, it was contraceptive coverage in the health plan?
302.
by remexre 4y ago
It sounds like Safe Haskell might be getting deprecated soon [0]; it sounds like it isn't used much in practice... [0]: https://discourse.haskell.org/t/deprecating-safe-haskell-or-...
303.
by remexre 4y ago
Either to implement an interface, or because it branches to check if the value is nil before dereferencing it
304.
by remexre 4y ago
But at least formal methods tools can be applied directly to the specification, to show properties like "well, if you carve out this subset of TypeScript, you have something you can safely eval()" or "you can never have type
305.
by remexre 4y ago
I thought one of the benefits of DoH over DoT was that in the case where an adversary (e.g. a state with Internet censorship) is trying to block DNS access, it's not distinguishable from a normal HTTPS connection, which you can't
306.
by remexre 4y ago
Tracking of effects would be a big one; compare the number of sandbox escapes in Java to JavaScript to WebAssembly. It's much easier to secure a language without effects, and then slowly add the effects you can sandbox or control than
307.
by remexre 4y ago
LLVM-based CFI is interesting; does this mean that distros are going to start building kernels with Clang instead of GCC?
308.
by remexre 4y ago
Right, but at least anyone could look into it in the company repo, instead of needing to poke at the actual machine (or an image of it)
309.
by remexre 4y ago
This is literally a tool for children to use in classrooms to learn about how to respond to their emotions reasonably
310.
by remexre 4y ago
Haskell can actually do the "warn if it finds a problem" option: https://downloads.haskell.org/~ghc/7.8.2/docs/html/users_gui... I've been meaning to write up something comparing dynamic t
311.
by remexre 4y ago
I thought the common speculation was that they aren't allowed to call it ARM, because they extend the ISA significantly enough that ARM-the-company was concerned it'd fragment the ecosystem.
312.
by remexre 4y ago
oh, yeah, I can totally imagine that; this was being built for AArch64 though; with all the Cortex-A features, even!
313.
by remexre 4y ago
Sounds like this is intended to run on targets rustc would not support, given the claim that it "does not assume 8-bit addressability". Also, while I'm fully on board the "Rust as a default userspace systems language,&qu
314.
by remexre 4y ago
Interesting that shifts are in the <1IPC set; I thought those were fairly cheap with a barrel shifter; does this simply omit one for space purposes, or are they more expensive than I expect?
315.
by remexre 4y ago
And relevantly, people were clamoring for a non-LLVM AArch64 backend due to how slow LLVM is at codegen by comparison...
316.
by remexre 4y ago
Dental?
317.
by remexre 4y ago
What're the failings of elaborator reflection in providing this in your view? I haven't used it thoroughly, but I thought one could define custom binding forms with it (in Idris 1, at least).
318.
by remexre 4y ago
It's pretty believable to me that _some_ Java deserialization library from the early oughts totally does this as a default behavior.
319.
by remexre 4y ago
I would suspect Nix wouldn't be the optimal way to manage Ubuntu kernel modules; I suppose you could use it to build them, but I don't think Nix without NixOS will e.g. configure DKMS for you.
320.
by remexre 4y ago
ublk -- performant user-space block drivers; though maybe it's not of the most utility unless the network-raid things companies have been building on it get open-sourced (might've already happened, I haven't been following cl
321.
by remexre 4y ago
Yep, the founder of my company is still the "Vice President of Research"!
322.
by remexre 4y ago
- Integer promotion -- Nope, you need to explicitly cast; integer _literals_ get their type inferred, though. - Implicit casts It has the following coercions: + Subtyping, which is based on lifetimes, not inheritance -- e.g. I can use a glo
323.
by remexre 4y ago
They might've just embedded Lua into the Rust, same as one would for C
324.
by remexre 4y ago
It means an attacker with an arbitrary-write vuln needs to be able to target a page as the JITted code is being written to it, rather than being able to target any existing page with code in it.
325.
by remexre 4y ago
You already could, actually! zgrep CONFIG_9P_FS /proc/config.gz to see if your kernel's configured for it, modprobe 9p if it's built as a module. The article's talking about doing an in-kernel 9P _server_ instead
326.
The Organization of Networks in Plan 9(doc.cat-v.org)
6 points by remexre 4y ago|0 comments
327.
by remexre 4y ago
I can see email and chat, sure, but ebooks, forums, video tubes, and documentation? All four of those seem like they shouldn't require much JS, and I would be unsurprised to find good examples of each that work even with JavaScript dis
328.
by remexre 4y ago
> is when the component in question is a low level component in the system that must be relied upon for correctness by higher level parts of the system. And then, property tests are more likely to be possible, and IMO should be preferred
329.
by remexre 4y ago
> We've recently added these features: > [...] > - Security up through TLS 1.0 (SSL 3.1). uhhhhhhhh, isn't this removed from Firefox for having security holes fixed in later versions of the TLS spec?
330.
by remexre 4y ago
> Though I do wonder why there can't be a form of malloc that allocates in a stack like fashion in real time I think that's basically what the LLVM SafeStack pass does -- stack variables that might be written out of bounds are

More ›