samsquire

11 ms·

1. 61.▲
   by samsquire 3y ago

   I enjoy a website called halfbakery It's not wise to wonder why things aren't good anymore. The zeitgeist of what people value is different to what it was in the 90s. I want to make and do good things so that's what I focus o
2. 62.▲
   by samsquire 3y ago

   Thank you for you and for sharing your knowledge gpderetta, appreciated, TIL.
3. 63.▲
   by samsquire 3y ago

   Thank you loeg, I appreciate you and information you brought that TIL. I've been using a compiler fence to force reloads from memory to prevent -O3 from optimising away my variables/structs changing by other threads and keeping da
4. 64.▲
   by samsquire 3y ago

   When you check available, you might have to do it as a (__atomic_load_n(&sender->realend, __ATOMIC_SEQ_CST) and do __atomic_store_n when setting available. rather than just a plain load.
5. 65.▲
   by samsquire 3y ago

   Thanks for your reply. This subject is still new to me. My understanding of that syntax is that it is a compiler memory barrier, not a CPU memory barrier because the asm block is empty (no sfence or mfence).
6. 66.▲
   by samsquire 3y ago

   I tried to write a lock free ringbuffer with weak atomics, I haven't proved it right with TLA+ yet but I started writing a model in it. I use tagging to avoid the ABA problem. they're all on https://github.com/sams
7. 67.▲
   by samsquire 3y ago

   Thank you phgn I submitted my personal homepage. Those GitHub conventions are helpful. I was hoping people would create entire repositories in a standard convention too. Similar to Rails conventions.
8. 68.▲
   by samsquire 3y ago

   Love these kind of animations I have my own animation here - if you scroll down. You can see the parsing I do for an async syntax (scroll to the hearing named Definition) - you can edit the syntax and it reparses and displays the parsed out
9. 69.▲
   by samsquire 3y ago

   I enjoyed this post, thank you. I'm encouraged by the same ideas. Sometimes you just want something that stays running and doesn't go down and can scale to zero and scale upwards, ideally with revenue. I kind of want a special meg
10. 70.▲
    by samsquire 3y ago

    I don't know if my website is eligible. My homepage is a small introduction and a table of projects with links to those projects, which are also github repositories with a blog underneath. This community standardisation I really like &
11. 71.▲
    by samsquire 3y ago

    This is interesting. The dream of telling the computer where to end up is something I have to. It might be interesting to someone but I used A* to do code generation to go from one state to target state. I'm not experienced with the pl
12. 72.▲
    by samsquire 3y ago

    Thank you, this was really interesting. Multithreading and parallelism is my hobby, so I'm curious how emacs implements this. I imagine it would be really difficult to migrate the entire ecosystem from code that is not designed to be a
13. 73.▲
    by samsquire 3y ago

    Would love to talk to you more about this, do you have an email address I can get to you at?
14. 74.▲
    by samsquire 3y ago

    Would love to talk more about this with you, do you have an email address I can email you with? Did you regex engine support commutative events? (Happen in either order?)
15. 75.▲
    by samsquire 3y ago

    I've read casually around petri nets and graphical diagrams. I would love to talk more about this. Would you like to talk more about this subject?
16. 76.▲
    by samsquire 3y ago

    I just hope that within 6 months to 1 year you'll have found and built something you really enjoy working on and learn from, even if unfinished. Keep going. Positive conviction and optimism. Have faith. I hope you don't think nega
17. 77.▲
    by samsquire 3y ago

    I am thinking about state machine progressions and TLA+ style specifications which are invariants over a progression of variables. Your package manager knows your operating system's current state and the state space of all the control
18. 78.▲
    by samsquire 3y ago

    This is really exciting. I am an absolute beginner at TLA+ but I really like this possible design space. I have an idea for a package manager that combines type system with this style of deterministic testing and state space exploration. Im
19. 79.▲
    by samsquire 3y ago

    Things I want: * lots of screenshots * a README.md that is extremely long and detailed * tutorials, reference, design documents, architecture diagrams * mental model documents to explain how things are thought of by the authors
20. 80.▲
    by samsquire 3y ago

    I designed a syntax for this: that everything is a state machine progression, a bit like sequence types in the article. state1a state1b state1c | state2a state2b state2c | state3a state3b state3c This means wait for state1a, state1b
21. 81.▲
    by samsquire 3y ago

    Thanks for the article. Regarding the article which talks about multicore. Multicore and distributed systems are hard. Behaviour implementation, and transforming event sequences across multicore and multimachine consistently is the hard par
22. 82.▲
    by samsquire 3y ago

    Interesting. Thanks for sharing. I am in early stages of writing a low latency barrier which provides low latency lock free communication between thread pairs ( 1 thread bidirectionally with 1 other thread ) but wiring up to other barriers
23. 83.▲
    by samsquire 3y ago

    This is interesting because in some kinds of software, if you just keep adding features then the software becomes hard to understand and reason about because of the multiplied interactions between features. The software become so heavy that
24. 84.▲
    by samsquire 3y ago

    LISP is postorder evaluation order of a tree. We can go further and more mind expansive than this! The future I am trying to design is a language where traversal order is arbitrarily repetitive and arbitrary and corecursive and has term rew
25. 85.▲
    by samsquire 3y ago

    I really enjoy C programming. I am a beginner. I wrote a JIT compiler in C recently. Why didn't I write it in Rust? The semantics of C really fit how what I think about what computers do: that we move around things between boxes of mem
26. 86.▲
    by samsquire 3y ago

    I would have hope that anybody who uses your code doesn't want to keep it a secret, because it would be good if people use the same common base code and changes can benefit everyone. Since there's no requirement to credit a zero c
27. 87.▲
    by samsquire 3y ago

    I use the zero clause licence for my all my work because it just removes all the overhead of using my code. I think (please correct my understanding) zero clause BSD can be embedded in a GPL project too, it just becomes one-way included, su
28. 88.▲
    by samsquire 3y ago

    I use a tag masked into the stored data to try prevent the ABA problem. Every thread has its own unique tag. long original = me->realend;
29. 89.▲
    by samsquire 3y ago

    This would be an interesting GUI that could be in a web browser to cross reference effects between programs such as communication between programs and Wayland. Specifically the parameters of syscalls create an effect, like write to block. W
30. 90.▲
    by samsquire 3y ago

    I kind of think of computer microarchitecure as a factory, as in factorio (Which I admit I have not played, because I've been warned against it) There's instruction stream streams into L3, L2, L1 caches from DRAM, PCIE, DMA then t