Nail2680

5 ms·

1.
by Nail2680 10d ago
How do you deal with bots?
2.
by Nail2680 10d ago
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.
3.
by Nail2680 10d ago
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 t
4.
by Nail2680 10d ago
As an american with a degree and years of experience and even a PhD, it is hard to move jobs.
5.
by Nail2680 10d ago
It isn't a maths paper, so the conventions are different.
6.
by Nail2680 10d ago
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 do
7.
by Nail2680 10d ago
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 shi
8.
by Nail2680 10d ago
But it could be, there are bits about doing computation in RAM, self modifying code could work.
9.
by Nail2680 10d ago
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
10.
by Nail2680 10d ago
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.
11.
by Nail2680 10d ago
Well it was a hot take.
12.
Ask HN: What are other "uncrackable benchmarks"?
3 points by Nail2680 10d ago|1 comments
13.
by Nail2680 10d ago
It isn't since there is not much about what it is!
14.
by Nail2680 10d ago
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.
15.
by Nail2680 10d ago
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 cr
16.
by Nail2680 10d ago
> 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.
17.
by Nail2680 10d ago
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
18.
by Nail2680 15d ago
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
19.
by Nail2680 27d ago
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 t
20.
by Nail2680 29d ago
Another similarish editor is Helix, which is, I think, nicer since it has tree sitter grammars builtin
21.
by Nail2680 1mo ago
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&#
22.
by Nail2680 1mo ago
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
23.
by Nail2680 1mo ago
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...
24.
by Nail2680 1mo ago
Thank you, this actually was a great answer for me. I really appreciate it.
25.
by Nail2680 1mo ago
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 interest
26.
by Nail2680 1mo ago
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.
27.
by Nail2680 1mo ago
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 be
28.
by Nail2680 1mo ago
> 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 Math
29.
by Nail2680 1mo ago
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.