remexre

19 ms·

1. 241.▲
   by remexre 3y ago

   The problem is that LLVM IR makes breaking changes fairly frequently -- for instance, LLVM 15 made all pointers untyped; where before you'd have a type like *i32, now you just have ptr. If you're trying to run the same IR on 32-bi
2. 242.▲
   by remexre 3y ago

   Doesn't the Flynn effect state that our IQ-valuing society is producing higher-IQ people?
3. 243.▲
   by remexre 3y ago

   I thought you could implement those in terms of delimited continuations easily by making your top level the delimiter.
4. 244.▲
   by remexre 3y ago

   I thought the root cause isn't the total number of people, it's the fact that developed-nation lifestyles are a lot more environmentally impactful than developing ones; (6B * current developed-nation avg carbon footprint) > (8B
5. 245.▲
   by remexre 4y ago

   I wonder if this might be made even more powerful by using a zippers instead of a single left-right pair; then, the generalized-macro could traverse the entire top-level form?
6. 246.▲
   by remexre 4y ago

   That'd require it to be sound and programs to be total: an infinite loop is a proof of anything, and type system unsoundness leads to false proofs
7. 247.▲
   by remexre 4y ago

   Also, macOS seems to have copied many of them, so they're worth learning for that too IMO.
8. 248.▲
   by remexre 4y ago

   https://lwn.net/Articles/823738/
9. 249.▲
   by remexre 4y ago

   I wonder if the structure sociograms like the one at the end of the article could be used as some metric of a species' (social) intelligence
10. 250.▲
    by remexre 4y ago

    Not "people" happen to live in high crime areas (of course people do anywhere -- crime can't occur without people!), but rich people, who write letters to newspapers that get nationally published, and complain on forums for t
11. 251.▲
    by remexre 4y ago

    https://css-tricks.com/css-based-fingerprinting/
12. 252.▲
    by remexre 4y ago

    The codebase is old and almost entirely in Lisp; parts of the runtime are in C, but they're also not the parts that are getting worked on, because they're not where the bugs are (because so much of it is in Lisp). Unless Rust has
13. 253.▲
    by remexre 4y ago

    Why? I don't think of SBCL's problems as being particularly related to the language it's implemented in, but a lot more related to the complexity of making an optimizing non-JIT compiler for a language as complex as CL.
14. 254.▲
    by remexre 4y ago

    Do annual checkups involve blood tests where you are? I've only had blood taken as part of one once, and that was in direct response to a new diagnosis of a health condition in a grandparent.
15. 255.▲
    by remexre 4y ago

    malloc() and the kernel would need to conspire to know this before you call read, when malloc() gives you back the memory in the first place
16. 256.▲
    by remexre 4y ago

    Huh, I was proficient in Rust before "properly" learning C++, so maybe that accounts for it, but I didn't realize C++11 was controversial. Is it just move semantics, or are there some library things that are hard to implement
17. 257.▲
    by remexre 4y ago

    What's c++xx?
18. 258.▲
    by remexre 4y ago

    Agda does too! https://plfa.github.io/ for examples
19. 259.▲
    by remexre 4y ago

    I run FreeBSD for networking purposes -- I still find PF much more comprehensible and reviewable than nftables.
20. 260.▲
    by remexre 4y ago

    I thought we tried this with Google's NaCl and nobody liked it; the WASM problems don't seem to be particularly related to the instruction set, but rather to its lack of OS services; you'd need to reinvent those for a NaCl-li
21. 261.▲
    by remexre 4y ago

    You said in another thread it's in "the Microsoft paper" -- could you point me at which one you were referring to? I didn't see it in https://cdn.openai.com/papers/gpt-4.pdf , but it's possible
22. 262.▲
    by remexre 4y ago

    > I personally think the end is in sight for C++ but the consensus seems to be it'll live forever. As the office Rust shill, I'm actually pretty excited about a lot of Herb Sutter's work [1]; I think there's a reasona
23. 263.▲
    by remexre 4y ago

    Humans are a lot better at "I don't know how to do this; hey Alice, can you look this over if you've got a sec and tell me if I'm making a noob mistake"
24. 264.▲
    by remexre 4y ago

    I didn't see it in https://cdn.openai.com/papers/gpt-4.pdf -- which paper are you referring to? (Or if I missed it, what page number?)
25. 265.▲
    by remexre 4y ago

    Does this actually work for nontrivial functions, e.g. a hashtable lookup function?
26. 266.▲
    by remexre 4y ago

    I was clarifying the kind of non-commodity that decommodification of resources refers to
27. 267.▲
    by remexre 4y ago

    I think the idea is to make water like air, not to make it like art.
28. 268.▲
    by remexre 4y ago

    Not too knowledgeable about macro -- is that tantamount to saying that monetary policy doesn't work? And what's the windfall in this case, given that the dollar is the reserve currency; RMB-denominated assets?
29. 269.▲
    by remexre 4y ago

    The improved sandboxing model is supposed to be why this one's going to turn out better (and why it's worth losing some of the ease of development of the old ones...)
30. 270.▲
    by remexre 4y ago

    Then I'm running their code outside of the world-class sandbox the browsers provide.