remexre

22 ms·

1. 151.▲
   by remexre 3y ago

   LLVM breaks backwards compatibility all the time, though...
2. 152.▲
   by remexre 3y ago

   And, perhaps also relevantly, your compute kernel probably fits in iCache, even with VLIW instructions.
3. 153.▲
   by remexre 3y ago

   Have you seen/considered the work on staged programming? Something like [0], while thorny, seems like a reasonable stab at it. [0]: https://okmij.org/ftp/tagless-final/TaglessStaged/beyond-tal...
4. 154.▲
   by remexre 3y ago

   "link the Boehm GC" got one line on an assignment in my University's compiler's course; it's literally a matter of changing exec ["ld"; "-o"; out_file; obj_file] to exec ["ld&
5. 155.▲
   by remexre 3y ago

   I think the concern was all the buggy apps that connect to databases will accidentally be getting SQL injected.
6. 156.▲
   by remexre 3y ago

   https://asciinema.org/a/kvYjBNJtpKXd5NOCDogY3KyP7
7. 157.▲
   by remexre 3y ago

   Wouldn't the hand-written one be more work to write and measurably slower than the re2c-generated one?
8. 158.▲
   by remexre 3y ago

   There's also https://docs.rs/allocator-api2/latest/allocator_api2/ -- I end up using this more often than I end up using custom allocators, simply because it has a stable version of the currently-unstabl
9. 159.▲
   by remexre 3y ago

   Rust uses the C compiler as a linker, because this is often the only way to ensure all the libraries needed by the system toolchain are included. (Compare to the CCLD variable in autotools -- it refers to the command to use the C compiler a
10. 160.▲
    by remexre 3y ago

    For straight-line code, something like %2 <- foo %0 %1 ... is effectively equivalent to (foo %0 %1 (lambda (%2) ...) Phis are sorta modeled inversely: %1: %2 <- const 0 br %5 %3:
11. 161.▲
    by remexre 3y ago

    Family income is easier to game than community income though?
12. 162.▲
    by remexre 3y ago

    The post linked in the article as "shouldn't use RSA" has a few examples: https://blog.trailofbits.com/2019/07/08/fuck-rsa/
13. 163.▲
    by remexre 3y ago

    Something's definitely "up with" the RISC-V GCC port; in principle maybe there are just some passes or backend options that need to be flipped on in some way? https://godbolt.org/z/cvc6j1sM6
14. 164.▲
    by remexre 3y ago

    There's a difference between features that need to be implemented as part of the engine such as Web Workers and those that can be implemented as a library, such as sorting; the latter can be shared between implementations much easier.
15. 165.▲
    by remexre 3y ago

    Kinda funny that instead of NVLink, they're just using (presumably standard) 100GbE as their connector/protocol; wonder if this also lets you wire up larger and more complex topologies of these cards across servers using normal 10
16. 166.▲
    by remexre 3y ago

    Googling suggests Intel's A770M has 16.79 TFLOPS, M3 Max's GPU has 16.4 TFLOPS?
17. 167.▲
    by remexre 3y ago

    Should the line Z_encoder_decoder = layer_norm(Z_encoder_decoder + Z) in Decoder step 7 instead be Z_encoder_decoder = layer_norm(Z_encoder_decoder + Z_self_attention) ? Also, is layer_norm missing in Decoder step 8...
18. 168.▲
    by remexre 3y ago

    Matlab still doesn't handle f(10)(2)... (The _(_) syntax is both function calls and indexing there.)
19. 169.▲
    by remexre 3y ago

    I wonder if it might be practical to bootstrap such a thing off of Wikifunctions, with a process to vouch for a function as "important enough to merit inclusion" and tooling to ensure that the Wikifunctions implementations actuall
20. 170.▲
    by remexre 3y ago

    The standard joke about my university's grad-level programming languages course is that its formalization unit does a great job of identifying undergrads by discussing Peano naturals and Hoare logic in the same lecture...
21. 171.▲
    by remexre 3y ago

    Does cargo test run unit tests in the file you're expecting to be formatted that isn't?
22. 172.▲
    by remexre 3y ago

    The "It's" in the quote (from the article) was referring to a particular snippet in the article, not the .as_ref() method.
23. 173.▲
    by remexre 3y ago

    unsafe does not disable the borrow checker, it allows calling functions that could not be otherwise written in code that is OK'd by the borrow checker.
24. 174.▲
    by remexre 3y ago

    You might be interested in CodeProber: https://www.youtube.com/watch?v=lkTJ4VL0xtY
25. 175.▲
    by remexre 3y ago

    I think the "It’s not unsound; it’s not even incorrect." is wrong... Clearly, it's unsound -- the problem in this post was documented[0] as a safety precondition of the one function they call in that block! In code I'd c
26. 176.▲
    by remexre 3y ago

    > In Java, the compiler inserts null checks before every single dereference and throws an exception for null references. Doesn't OpenJDK install a SIGSEGV handler, and generate the exception from that on a null dereference? (AFAIK,
27. 177.▲
    by remexre 3y ago

    But we're not expecting that the produced C (or LLVM IR) has already had target-specific optimization applied, so as long as the C compiler is an optimizing compiler, that's not a problem?
28. 178.▲
    by remexre 3y ago

    I don't believe Scheme as standardized has delimited continuations, only call/cc; it's just that Scheme implementations have often been the laboratories in which experiments on delimited control have been performed.
29. 179.▲
    by remexre 3y ago

    After you knock out those and exceptions, what's left in (C++98 - C99)? Destructors and templates? 98 won't have moves, so I'd imagine you'd end up boxing most of your structures to avoid needing to copy construct then a
30. 180.▲
    by remexre 3y ago

    Well, Wayland+Xwayland would be easy, just pipe the X11 out to a host-side Xwayland