remexre

41 ms·

1. 481.▲
   by remexre 6y ago

   So I'd imagine it has "linear-like" ownership?
2. 482.▲
   by remexre 6y ago

   Not a (drug) policy expert by any means, but my speculation is that drug legalization is too much of a "soft on crime" move to be politically viable in most places. Note that this doesn't require that a majority of people are
3. 483.▲
   by remexre 6y ago

   like C++, rust frees values once they've gone out of scope; the result of CString::new(filename.as_str()).unwrap() is a temporary which is freed at the end of that line, since the .as_ptr() returns a non-lifetime-encumbered va
4. 484.▲
   by remexre 6y ago

   I think back in the day (typewriters thru... 90s?) you wrote quoted text `like this.'
5. 485.▲
   by remexre 6y ago

   Back in the day, this was basically how Thinkpads were, right?
6. 486.▲
   by remexre 6y ago

   I mean, Pine's and System76's laptops don't even use the same CPU architecture as each other currently...
7. 487.▲
   by remexre 6y ago

   We had a joke that our PL course is a maturity test, because Coq and Hoare triples come up in the same lecture...
8. 488.▲
   by remexre 6y ago

   I work on (well, mostly near) an extensible C compiler, designed so extension authors can independently create extensions, and users can import them as easily as libraries: https://github.com/melt-umn/ableC/ (and
9. 489.▲
   by remexre 6y ago

   My constant struggle is some motherboards (mine!) refuse to boot the Windows installer from the UDF-formatted image Microsoft provides as a download; IIRC I have to copy all the files to a FAT32 partition on the disk instead. (I assume thei
10. 490.▲
    by remexre 6y ago

    For real -- SLIME's almost 2 decades old, and having used it makes me hate developing Python and JavaScript; being able to fix up broken code when it throws an exception, without having to restart the program is just so dang nice durin
11. 491.▲
    by remexre 6y ago

    Though of course, https://i.redd.it/zcavazlx5sm51.jpg applies to that :)
12. 492.▲
    by remexre 6y ago

    Why not use a mount namespace? And how are you creating a /dev without root?
13. 493.▲
    by remexre 6y ago

    My shortlist would be, PF, jails, and the handbook. PF in particular is much nicer to use than iptables to an incredible degree.
14. 494.▲
    by remexre 6y ago

    hcreate is POSIX, hcreate_r (which allows having multiple hashmaps per process) is the GNU extension, iirc. I thought POSIX added a bunch more safe pointer casts, but I don't know off the top of my head...
15. 495.▲
    by remexre 6y ago

    That's a different style of proof, based on equational reasoning; Agda [0], Coq [1] and Lean [2] are three theorem provers that work with those proofs better. Being able to quickly and informally perform equational reasoning on functio
16. 496.▲
    by remexre 6y ago

    Already tried; patch that lead to the fork was "not adding this feature," sadly.
17. 497.▲
    by remexre 6y ago

    Yep, I got frustrated with Zola, ended up maintaining a couple patches, and eventually ended up writing my own (ad hoc, not generally usable) SSG...
18. 498.▲
    by remexre 6y ago

    On my machine, which to my knowledge hasn't had this setting changed, ulimit -l reports each process can only lock 64KiB of memory... I feel like "you should use mlock()" isn't really practical advice.
19. 499.▲
    by remexre 6y ago

    That's part of my concern, though since scripts can use the CPU arbitrarily, they could already mine on the CPU. A larger concern is bugs like [0], since GPU drivers are highly complex and highly privileged code. [0]: https:/&#x2
20. 500.▲
    by remexre 6y ago

    Kinda :/ on there not being a GPU permission (that I can find in the post or the docs); GPUs/GPU drivers have been a vector for some pretty nasty attacks in the past...
21. 501.▲
    by remexre 6y ago

    I think Cabal is "fixed" these days, at least on Linux and FreeBSD; it behaves approximately like Cargo now.
22. 502.▲
    by remexre 6y ago

    Well, the point isn't to have errors for a lack of documentation, the point is that dependent types offer a lot of expressiveness in modelling what it means for programs to be valid in your domain, both so the compiler can tell the pro
23. 503.▲
    by remexre 6y ago

    I definitely prefer miniKanren, but (with a small sample size) find that non-logic programmers have an easier time reading simple Prolog than equally-simple miniKanren.
24. 504.▲
    by remexre 6y ago

    https://nixos.org/ and https://guix.gnu.org/ are both angling to do this, but... it's hard.
25. 505.▲
    by remexre 6y ago

    If ahash is using multiple different algorithms under the hood, shouldn't there be multiple different lines for it on the performance graph?
26. 506.▲
    by remexre 6y ago

    Bizarrely, using institutional access gives me [0]... EDIT: Though it does note that it is for publication in March, so it might not be intended to be generally available yet. [0]: https://cdn.remexre.xyz/screenshots/84
27. 507.▲
    by remexre 6y ago

    Yep, that's through the BGRT, which is part of ACPI. I'm not actually sure if a GPU could export one to the BIOS, but I assume not.
28. 508.▲
    by remexre 6y ago

    Rust/Cargo definitely learned what not to do from pip...
29. 509.▲
    by remexre 6y ago

    Hey, finally got around to playing with Smalltalk; their interactive tutorial makes a great appetizer.
30. 510.▲
    by remexre 6y ago

    https://xkcd.com/1808/