remexre

50 ms·

1. 661.▲
   by remexre 6y ago

   Yeah, and it shouldn't be too hard to hook up existing nightly Rust to use the Kernel's panic functionality; it already supports user-overridable panics for no_std, iirc
2. 662.▲
   by remexre 6y ago

   For many packages, gentoo's portage handles this with slots
3. 663.▲
   by remexre 6y ago

   Have you tried iterate (wrt the loop sucks problem)
4. 664.▲
   by remexre 6y ago

   article actually uses one of his tweets as an example -- twitter already blocks comments on ones they judge to be over the line. there's also mention later about how to deal with bad actors.
5. 665.▲
   by remexre 6y ago

   NYT in fact has to go through non-trivial technical effort to authorize Google to act on their behalf.
6. 666.▲
   by remexre 6y ago

   I think the concern was more that if I can XSS example.com, Google is now serving that for some period of time after example.com's administrators notice + fix this. (In the absence of a mechanism to force AMP to immediately decache the
7. 667.▲
   by remexre 6y ago

   If I publish mycoolthing.com/thing, it could be mirrored over a P2P network as peer1.com/rehosted/mycoolthing.com/thing, peer2.com/rehosted/mycoolthing.com/thing, etc., in a way that would make it evident
8. 668.▲
   by remexre 6y ago

   RIP computer science, materials science
9. 669.▲
   by remexre 6y ago

   https://arxiv.org/pdf/1908.08313
10. 670.▲
    by remexre 6y ago

    I spent a week recently working from a Pinebook Pro after spilling water on my primary laptop; my workflow was already fairly SSH-centric, but I had fairly few problems with software compatibility that weren't fixed by binfmt_misc + qe
11. 671.▲
    by remexre 6y ago

    > isn't as optimal as it could be from a huffman encoding perspective I've been toying with the idea of literally having decoding as decompression, where there's a special instruction to change the dictionary. I guess this
12. 672.▲
    by remexre 6y ago

    This actually surprises me, with how cruddy it is, I assumed it was proprietary... My uni switched to canvas from Moodle, to the general detriment of anyone without fast internet and a fast PC.
13. 673.▲
    by remexre 6y ago

    For a more optimizing compiler for a machine with more registers, you might, to be able to store the stack in the registers. The Z80 has few enough that I can't see it being an improvement.
14. 674.▲
    by remexre 6y ago

    Sure, I mean more like there'd be some interface ByteStream, and probably another interface TerminalInput extends ByteStream; TerminalInput would then contain the especially terminal-related signals (e.g. sigwinch). If a program doesn&
15. 675.▲
    by remexre 6y ago

    At that point you're writing something for /usr/libexec, not /usr/bin though. (i.e., at that point it becomes sufficiently inconvenient to use from the shell that no user-facing program would do so.)
16. 676.▲
    by remexre 6y ago

    My complaints with unix (as someone running linux on every device, starting to dip my toe into freebsd on a vps); apologies for lack of editing: > everything is text I'd often like to send something structured between processes with
17. 677.▲
    by remexre 6y ago

    article explains this later; sounds like the logos are from apple-mfred parts that end up in larger (overall refurb) parts. unless you were contradicting the article's saying so, in which case "yeah probably unideal, but the lower
18. 678.▲
    by remexre 6y ago

    I think the line you'd see is that there exists some task where the language-based model suddenly lacks the ability to perform the task despite the fact that it "should." I'd conjecture that this might include something
19. 679.▲
    by remexre 6y ago

    I assume if a school or church had a decades-long history of unjustifiedly killing civilians in a discriminatory way, it would be shut down by the justice system. When the justice system itself has this dysfunction, however, that doesn&#x27
20. 680.▲
    “The Other America” (1967)(youtube.com)

    2 points by remexre 6y ago|0 comments
21. 681.▲
    by remexre 6y ago

    I almost wonder if WebAssembly might be sufficient here? I suppose that'd break support for third-party binaries, but you don't need exec() to load a wasm blob /shrug
22. 682.▲
    by remexre 6y ago

    I believe that it's not a proof by contradiction, but a direct proof of a negative statement. Subtle distinction: Direct proof of negative statement: Assuming P is true, there is a contradiction. Thus, P is false. Proof by contradictio
23. 683.▲
    by remexre 6y ago

    I mean, how long does it take to convince yourself a function will halt vs how long does it take to use implement it with well-founded recursion, with comparable readability? Not that it's not possible, it's just more of a pain.
24. 684.▲
    by remexre 6y ago

    While I don't want to say that McNuggets /aren't/ going to kill you, there are a few scientific inaccuracies in your link. It raises concerns about MSG consumption; however, from https://www.fda.gov/food&
25. 685.▲
    by remexre 6y ago

    reminds me of the communists in Hail Caesar
26. 686.▲
    by remexre 6y ago

    GitLab loads enormous amounts of JS, and requires more server resources than just about anything else I've tried to run that wasn't a game server.
27. 687.▲
    by remexre 7y ago

    I used to have the same annoyance about group and category theory; learning some about the type-theory-as-foundations work (particularly homotopy type theory and cubical type theory) has helped w/ this; in that setting, you have severa
28. 688.▲
    by remexre 7y ago

    Glue language aside (which arguably is a lot more true of unices than other platforms), I'd argue Forth might make a better language / minimal environment for learning the low-level parts of a computing system. It's got inter
29. 689.▲
    by remexre 7y ago

    Lancet [1] seems like it fixes at least some of the unpredictability. (Haven't used it though, only read about it on another site.) [1]: https://github.com/TiarkRompf/lancet
30. 690.▲
    by remexre 7y ago

    For the frontend, PureScript (or Reason, or OCaml with BuckleScript) work well; Rust inherits most of Haskell's type system as well.