remexre

42 ms·

1. 511.▲
   by remexre 6y ago

   Well, Julia already got it via https://github.com/FluxML/Zygote.jl
2. 512.▲
   by remexre 6y ago

   I use https://docs.rs/frunk/0.3.1/frunk/ to get around this in the meantime.
3. 513.▲
   by remexre 6y ago

   I wonder if Clang can do better these days; I noticed that it seems to merge computed gotos to normal-looking control-flow (I suppose this is necessary for alias analysis).
4. 514.▲
   by remexre 6y ago

   As someone who's not a fan of JS in the browser, https://github.com/denoland/deno is _shockingly_ nice for "script-sized" tasks that need more performance than bash+jq makes easy.
5. 515.▲
   by remexre 6y ago

   You might find https://www.facebook.com/notes/daniel-colascione/buttery-smo... interesting and relevant.
6. 516.▲
   by remexre 6y ago

   And, Rust already has a way of avoiding trusting-trust attacks via mrustc.
7. 517.▲
   by remexre 6y ago

   I think in context, the thing you'd be making harder is eavesdropping, not use.
8. 518.▲
   by remexre 6y ago

   I think the question being asked includes, "would existing symbolic execution tools be able to tell that e.g. a page-table was mangled"
9. 519.▲
   by remexre 6y ago

   vDSO functions are still allowed to use arbitrary amounts of stack though, which means Go might still have problems with them without having to allocate much larger stacks than it normally would.
10. 520.▲
    by remexre 6y ago

    My understanding (as someone who doesn't run nor code for Darwin, yet at least) is that it's totally possible to use the microkernely features in userspace right up until you need to do a syscall, and even then you can have a task
11. 521.▲
    by remexre 6y ago

    This is pretty exciting! I've been wanting to mess around with Darwin without having to own a Mac; FreeBSD features on a microkernel sounds potentially really nice. Trying to bootstrap up from the last available ISOs is terrible though
12. 522.▲
    by remexre 6y ago

    https://en.wikipedia.org/wiki/Cab_(locomotive)
13. 523.▲
    by remexre 6y ago

    This seems really neat! The diagram in [0] has a typo in the header though, and I'd argue it doesn't make sense to use a chloropleth on states without normalizing for population. If this is something one can easily spin up, though
14. 524.▲
    by remexre 6y ago

    The second paragraph of [0] says about the same, with reasons. [0]: https://plfa.github.io/Preface/#personal-remarks
15. 525.▲
    by remexre 6y ago

    Intel's GPUs are fairly well-documented at https://01.org/linuxgraphics/documentation/hardware-specific... IMO, writing some Vulkan (it being a thin layer over what a modern GPU's "actually" do
16. 526.▲
    by remexre 6y ago

    I read that as, one step of his experimental procedure isn't published.
17. 527.▲
    by remexre 6y ago

    The VM that uses takes advantage of hardware-accelerated virtualization, for running amd64 VMs on amd64 CPUs. You don't have hardware-accelerated virtualization for amd64 VMs on any ARM CPUs I know of...
18. 528.▲
    by remexre 6y ago

    I think the goal is mainly to avoid people doing things that aren't useful to the amateur radio community on the fixed amount of spectrum made available by physics. (Well, and some Cold-War-era paranoia about foreign spies, but...)
19. 529.▲
    by remexre 6y ago

    What're your go-to choices?
20. 530.▲
    by remexre 6y ago

    well... signal doesn't have ads...
21. 531.▲
    by remexre 6y ago

    For AArch32, not AArch64, but there's https://salmanarif.bitbucket.io/visual/index.html as a SPIM replacement.
22. 532.▲
    by remexre 6y ago

    I'm (slowly!) working towards an OS where every user-invoked application is a GUI, most applications are many processes (more like Erlang than Unix), and every interprocess interaction, including GUI programs asking the OS to be drawn,
23. 533.▲
    by remexre 6y ago

    I've never seen Smalltalk-style self-editing in a JavaScript framework; is there a specific one you're referring to? Or just the fact that it has eval()?
24. 534.▲
    by remexre 6y ago

    And, adding assertions / very loud logs is a good way to be sure your assumptions hold: e.g. causing your tests to fail if the test user's password (or other privileged info, etc) appears in any logs is a fairly good extra safety
25. 535.▲
    by remexre 6y ago

    On the other hand, having to take conscious action to enforce the bubble (rather than needing to take action to pop it) might be beneficial / lead to less of a bubble.
26. 536.▲
    by remexre 6y ago

    https://ipfs.io/
27. 537.▲
    by remexre 6y ago

    Yeah, I've heard this referred to as the "people will find a way to get heroin anyway, so illegalizing heroin production/sale is pointless" argument
28. 538.▲
    by remexre 6y ago

    > In a separate paper, Calvo and his colleagues set out a theory of plant consciousness based on integrated information theory (IIT) – a leading theory of consciousness – which posits that we can identify a person’s (or any system’s) lev
29. 539.▲
    by remexre 6y ago

    > Defense lawyer Steven Pesso [... said ...] it was going to be a “fun deposition” in questioning the mother. Ugh, sounds like a shithead.
30. 540.▲
    by remexre 6y ago

    Well, I think it's fair to say that "among the Unix-derived OSes, macOS is the one with the best hardware support for the hardware it typically runs on." I've wasted months of my life futzing with Broadcom WLAN cards...