Viewing profile — yau8edq12i

What do you mean? With dotnet fsi? I just tried it and it reads UTF8 just fine, at least in windows terminal.

The initial state is A, the tape is full of 0 (on both sides).

Infinite tape of zeros.

Based on my quick and dirty benchmarking, it's similar in terms of performance. The vector comparison is consistent, the unpacking comparison is about 1.5x faster if it can exit ea…

Fun fact: the French word engin still retains its original meaning of contrivance, contraption. But we still translate "search engine," which refers to this archaic English meaning…

It's funny how little time it takes to go from "cultural" to "ethnic". Say what you think instead of using whistles: you think that Denmark conforms to your racially focused worldv…

What do you mean by "for reference"? That URL is feature prominently in the linked blog post.

I program MCUs as a hobby. I wish I could use something better than C. Even C++ with RAII would be better. But somehow, even C++ support is spotty, with unsupported features, broke…

It's not much of a "runtime", though. How is it better than a plain executable?

I guess I don't understand the point. Could someone summarize why I would use this rather than writing my utilities in something that doesn't compile to a quirky, limited programmi…

As usual, the US plays lone wolf and screws its "allies" over. We have a saying in France: promises only bind those who believe them. I'll belive the US is actually intent on curbi…

Uh... I have a PhD, I'm a tenured professor, and I even supervise a couple of PhD students. How about you? Given your snarky tone, it sounds like you'd have mentioned something lik…

... What? That's just symbol soup. What are you trying to write? Do it in latex if it helps.

> "Initiating legislation" for example, is just another way to say "decide what the law is". It's not. > It can only acquiesce to or slow down the Commission's decisions. That's no…

How can you frame a paper from 1965 as "very old" when the linked article is about Grothendieck, who started his math PhD in 1950 (and presumably studied math before that)?

As a mathematician, I have never, ever seen the equal sign used to denote proportionality. I cannot tell what you mean by "identity" that wouldn't be equality. And a definition in …

I think it's the first time that I witness this comic https://xkcd.com/793/ happening but with math as a target.

Forgive me because what follows will sound harsh, but I think you need to hear it based on your response. > HaystackDB is designed from the ground up for write intensive workloads …

Even a single person can be hypocritical or self-sabotaging sometimes. And "an employer" is often not a single person but an organization with a bunch of people pulling in differen…

At first it was "making decisions", then it was "initiate legislation", and now it's "decide what the law is". It's tiring to argue against moving goal posts and bad faith. Besides…

Seriously? In my experience, having lived in several places in Europe and in the US: Americans like to pretend that calling it "pop" or "soda" depending on where you are in the cou…

I wasn't aware that "make decisions" meant exclusively "initiate legislation". You don't have to play coy, though: it is also middle school level knowledge that the parliament cann…

The EU parliament can absolutely make decisions. https://en.wikipedia.org/wiki/European_Parliament#Powers_and... This is middle school level knowledge...

The USA is much, much more homogeneous than Europe.