Nail2680

How do you deal with bots?

I love you, keep it up dude. Exactly the kinda shit I would say if I didn't want to lose more fake internet points now.

NX means not executable, so some bytes are excutable, some are non excutable. so some are instructions for the processor and others are data. Sometimes those are mixed and the cpu pukes out a bunch and restarts interpretation. most of the time those are normal. keep it normal and go fast.

As an american with a degree and years of experience and even a PhD, it is hard to move jobs.

It isn't a maths paper, so the conventions are different.

So that is only true because we do it, there is a world where we optimize differently and that self modifying version works better, reread the synthesis kernel thesis(one, it is super easy, two they did this), we could have hardware that does this. Because we don't have hardware that does this we don't

Yeah, that works okay, but really is a you shouldn't, with pipelining you lose all the predictive decoding. The Synthesis kernel did some cool ass shit with this, but failed in other architectures due to pipelining, which speeds up shit, but change the opcodes(with other instructions(ie selfmodyfing code)) and shit gets flushed.

But it could be, there are bits about doing computation in RAM, self modifying code could work.

Don't spend too much time on what was at the moment not meant for adults, like there is alot of other art to look at and interpret. It was more of a don't get crazy into it, my own Dad got super weird into interpreting things he thought he found in Doctor Who. It was both sad and weird. Just maybe don't dwell to much on things people didn't also give much thought to.

I click the thingy and don't see that, I know D2 as the big language split for Dlang, I click around, I still can't tell what this is.

Well it was a hot take.

It isn't since there is not much about what it is!

Oof, maybe don't. A lot of them are written directly for children, which they mostly work for, but only later bits have stuff mostly for adults and are vaguely worth analysing.

Hot take: NX bit is shit W^X is shit. proper JIT is having objects written as needed, and cache line flushing is full bullshit, we need self modifying code as a first class citizen and with modern techiques we can have it work and not be crazy slow, it is currently cuz shits fucked, but we can do better.

> What did they actually do to kill it?

They did Wayland instead, that killed X11 since X11 windows and such can be spawned under Wayland. but wayland isn't x11 so people miss shit and wish it was there.

Ages ago Redhat people wanted to stop supporting X11 since it was old and harder to maintain with all the weird extensions and it being older C code. They wanted to move to Wayland and people claim that maybe in maintaining X11 Redhat also made some changes that made X11 worse. You can find all kinds of discussion of why Wayland is bad or why X11 is bad and Wayland is the one and only future. Now things are settled and Wayland won.

Firefox is the best of a bunch of bad options, but isn't above critique. It does suck when they do anticonsumer stuff and shove weird stuff like pocket in, but you can't leave which makes it similar to the democratic party where you can't really do anything, but they keep making really poor decisions.

Right, there is a problem with even defining "smart", a decent number of mathematicians I have known would not call themselves smart, but persistent. I have known a lot of physicists too, some of whom forget simple integrals all the time, but publish like a monster, and some very smart physicists who know almost any fact you could want off the top of their head who don't publish almost at all. One group is more successful than the other.

Another similarish editor is Helix, which is, I think, nicer since it has tree sitter grammars builtin

Huh, I missed all of that. The linked discussion about the renaming from your link was a bit odd: https://discourse.rocq-prover.org/t/coq-community-survey-202...

It seemed to me from the survey that most people didn't want it changed or didn't care, but due to anglophone users they decided to change it anyway.

Needing to manually call flush seems like a major issue, is there a friendlier wrapper in the std lib to print and flush and use some static storage for the buffer? Since that seems like it would become step one of any zig project

There are some issue using T5 for regular people since the tokenizer has some issues. mT5 though, that one is pretty solid to start with.

Example: https://stackoverflow.com/questions/75851029/t5-fine-tuned-m...

Thank you, this actually was a great answer for me. I really appreciate it.

I might be too stupid to understand why this is interesting and useful. If it helps I am a working physicist, and a lot of pure math is lost on me. I think I followed this, but I don't know why one would care or this would be interesting.

I was hoping for a post about learning to use the Jam build system that Boost uses, but the "extended fiction"part was interesting. I don't think I still understand what this is.

I do like the idea behind Have I Been Pwned, and honestly if a government took it over that might be nice if we had some guarantees. It feels like something that ought to be a public service with super duper special oversight to avoid it being used by law enforcement(since sending any information is necessarily bad)

> In particular, Astra’s key mathematical step combined ideas first found in two papers from 2016 and 2019. Andreas Thom, a mathematician at the Dresden University of Technology, who co-authored both papers, summarized the result on MathOverflow.com, calling it “creative and at the same time elementary.”

Looking at the mathoverflow post, he says:

``` I think it is too early to judge if this construction will serve any other purpose than providing the right framework to apply these earlier results efficiently. On the other side, I was looking myself for such a mechanism ever since we wrote the paper in 2019 and admire the efficiency of this construction. ```

So it maybe is a pretty interesting result.

I attended a Sukkot, druing which the host jokingly called the tent a "Jew Fort" and they had some lovely food and burned some herbs and overall had a great time. I really like the religious festivals that integrate more people. Like Holi, where I got to throw a lot of colored sand or something at people and eat good food. I feel like events like that really help integrate communities.

Not Estonian, but a Swedish fellow I knew always had a summer event with lawn darts and other odd games and food each summer