ykonstant

Try not to do that in an uncontrolled file system. Filenames can and will have newlines, including trailing newlines, because evil people like myself inject them everywhere in our local user folders to keep sysadmins on their toes. Use the (now, finally, POSIX) -0/-print0 options for all file parsing which produces the correct behavior on all UNIX systems.

BeOS was an absolute gem.

If you do not have -0 options in your xargs/find, I wonder if you will have those extensions in your awk/sed. Perl is a different story.

This is why I tend to stick to POSIX shell scripting these days, avoiding even bash. The restriction does make some things too painful, though. Before the latest POSIX revision, certain workflows were comically hard to do (unless you combine sh with... M4). The 2024 revision injects some much-needed sanity, but I am wondering, will random computers have shells compliant with that revision?

This comment gives a sliver of hope for us currently outside academia and in low income academic institutions: enthusiastic laypeople with access (read: funds) to the SOTA models can collaborate with destitute researchers to produce research the academic alone could not.

Plus, as a non-expert, you will naturally want to understand more about what you are proving together with the expert. LLMs can help there, too, by carving a path from elementary mathematics to the research problem more efficiently and in a more targeted manner than a generic exposition or survey.

That could give birth to a beautiful research-exposition pair that can benefit both academics and interested laypeople, who have (rightfully, but inevitably) felt excluded from the insights of high level research. I have long hoped for something like that. There, however, the academic must watch the LLM like a hawk, because expository interpretation of results is prime ground for hallucinations, and adversarial agents will not have much effect in improving it.

I wonder if at some point mathematicians will be over-flooded with proofs to check and eventually some over confident false claim will make it into math.

That point had come some time ago. Nowadays the literature is both enormous and littered with false proofs and an unknown, but nonzero, number of false published results.

Rest in Peace those of us unable to afford those models.

What do you mean?

I forgot to thank you, I didn't know qemu supported risc-v arch! I am already using it for various vms.

Perhaps, but I am struggling to find a worse phrasing to get a point across.

Indeed, the first thing I would do as a malicious state entity would be to flood any such app with fake reports.

Imagine we had that for software - "your JS is too big, you can't ship until you get it under 50 kB".

A man can dream.

For the record, I found programming in MISRA C guidelines really fun; but then again, I did it out of personal interest. If I had to do it professionally, I guess the pressure would be less pleasant.

This is mostly because their approach to SIMD is so different, but also because I can't test it at all. Are there any RISC-V "machines"? that one can use to do something useful or fun with that someone here could recommend?

I would also be interested in RISC-V emulators etc.

Thank you very much!

It is not "American AC" that is a serious contributing factor, much less the "main cause"(???).

I only have 16GB of RAM in my laptop, but I would love to run a powerful model like that even at 0.5 tokens/s. For the questions I am asking, such a speed is more than enough. If anyone has any suggestions, please let me know! I am not an expert on LLMs, just a humble mathematician.

Assuming the model doesn't decide you are trying to build a bomb and refuses to answer.

Only tangentially related, but this is why I gave up on fountain pens. They are cool and elegant, far too cool to be a practical tool for me. I realized this at one time I was in Bonn; I was thinking deeply about a problem as I was holding this wonderful Sailor Pro Gear in my hand. At some point it slipped, fell on the desk and bent the nib sideways, a total disaster. That broke my stream of thought and ruined my day. Nah. Tools need to cater to me, not vice versa.

That will certainly resonate with the generals (≧▽≦)

Genius! Rewrite Postgres in Rust by rewriting Rust in C!

Not always. As an exercise, try to find a continuous real function which is differentiable if and only if the Riemann hypothesis is true!

Feel poor??? Man... this is some prime ragebait title.

This is one of the best generalist books on mathematics ever published. I highly recommend it.

Unacceptable! If Oracle doesn't enter the consort, there is no way I am trusting it to be a legitimate defender of open source!

Oh my.

For realtime communications, I prefer IRC.

How on earth do you get people to talk in IRC? Am I missing something? Almost every channel I have joined is dead silent, and any time I tried starting a conversation I felt like I was asking Lebowski for my money.

Hmmm... very disappointing that when I unchecked "politics" in Filter, that post remained in the list.

I would also like to know. Surely some people here have at least second-hand knowledge, and silence can sometimes be deafening.

The first appendix to the Common Core text for the English Language Arts contains some very interesting discussion of the role of advanced literacy outside the confines of academia. It is worth a read.