phi-go

13 ms·

31.
by phi-go 1y ago
Hardware definitely supports this but it might need compiler support, as in adding instructions to do prefetching. Which might be done automatically or requires a pragma or calling a builtin. So it can be implemented in any case.
32.
by phi-go 1y ago
Thank you, I was kind of expected this. I can understand your frustration, the name is definitely misleading. Sorry for another ignorant question. Does WFC have a corresponding algorithm name in constraint solving literature? The paper I me
33.
by phi-go 1y ago
Interesting algorithm, thanks for sharing. I was wondering what the connection of Wave Function Collapse is to constraint solving, since it seems to do very similar things. Looks like there was a paper written on this topic: "WaveFunct
34.
by phi-go 1y ago
Interesting to see, I was wondering how to encode this puzzle for a logic solver. One nit, this doesn't seem to handle the case where a box can have both true and false statements. As per the rules only one box needs to have only false
35.
by phi-go 2y ago
> This sort of problem also occurs when you're trying to do CRDTs, which can roughly be described also as "design something that does Git better." Aren't the goals of git and CRDTs different. With git you want to get
36.
by phi-go 2y ago
Did you ever go to a sleep lab to have your sleep checked? I didn't have this so extremely but could sleep pretty much any time during the day. Turns out I have sleep apnea. Now since using a CPAP machine, sleeping during the day is mu
37.
by phi-go 2y ago
I understand gp to say that the database data is changed not the data in the event. Surely, some data needs to change if a password is updated?
38.
by phi-go 2y ago
Thank you, appreciated!
39.
by phi-go 2y ago
Do you have source on that? I would like to know more. Not disputing this, just curious.
40.
by phi-go 2y ago
They still need someone to write 75% of the code.
41.
by phi-go 2y ago
I thought I read that they had enough maintainers already and so don't need to write any guides on kernel development.
42.
by phi-go 2y ago
Doctests are tests they are not part of a release build. Also I don't believe there is a supported way to access code in doctests from the outside. So (sadly?) no literate programming
43.
by phi-go 2y ago
What's your point? Doesn't it only matter where things are now, not how long it took to get there? Or is this about more people knowing C++?
44.
by phi-go 2y ago
There is a talk on how this is possible due to multiple dispatch: https://www.youtube.com/watch?v=kc9HwsxE1OY
45.
by phi-go 2y ago
Most peer-review procedures I know of are actually double blind, so the reviewers do not know the author and vice versa. Only in the final publishing step do you add a name, should be easy enough to use a pseudonym.
46.
by phi-go 2y ago
There are a few games that use LLMs and voice, they are usually hilariously janky.
47.
by phi-go 2y ago
For example Rust: https://doc.rust-lang.org/std/keyword.enum.html
48.
by phi-go 2y ago
Isn't Rust only used for kernel modules? So no one needs to depend on Rust code if not needed?
49.
by phi-go 3y ago
You can have real separate windows in egui. Either running on the same thread or another. See here: https://github.com/emilk/egui/blob/master/examples/multiple_...
50.
by phi-go 3y ago
To add to the other comment. Game music/soundtracks can be good for that, lots of options there, usually that music is to fill the background and keep someone engaged with the game. I also find LoFi music good for that purpose.
51.
by phi-go 3y ago
https://github.com/Z3Prover/z3 Here is an actual description: https://z3prover.github.io/papers/programmingz3.html#sec-int...
52.
by phi-go 3y ago
That branch seems to be a prototype.
53.
by phi-go 3y ago
RISC-V is designed to provide op-code space for custom instructions, so it can be extended for specific tasks.
54.
by phi-go 3y ago
While I can see that Mathpix might be the superior choice. What matters to me is that knowing the affiliation of the GP the comment has a very different feel to it.
55.
by phi-go 3y ago
You should mention that you are the CEO of Mathpix.
56.
by phi-go 3y ago
Interesting that tail calls are mentioned and implied to never come to Rust. I agree with your assessment and actually there is a RFC[1] in the works to support them. (Note that while I'm the author, this RFC is definitely a community