ykonstant

>If they broke laws then they would be investigated.

Ah, I love your optimism.

...really? Downvoting for the recursion joke?

>My prediction is that the "Hacking is Cool" dumb idea will be a dead idea in the next 10 years.

Too optimistic!

> I'd like to fantasize that it will be replaced with its opposite idea, "Good Engineering is Cool" but so far there is no sign that's likely to happen.

Now that's the right amount of pessimism.

On what grounds??

Let me guess: the webpage simply contains a link to itself.

Rawwrr, use dependent types and write your entire program in the signature!

Ifdef soup is still horrible, so those times (which I didn't experience firsthand) must have been abysmal.

> What is the size of a pointer though?

a MISERABLE_LITTLE_PILE_OF_BITS

> UNIX was an extremely niche operating system until Linux won the data center

?!? What a claim!

What in tarnation?

I hope the above user is being sarcastic.

Dead code? No, no. "That is not dead which can eternal lie..."

Right, the reason I am mentioning effexor is because venlafaxine is one of the basic SNRIs, relevant to the parent comment.

For the record, since I am on a mix of concerta and effexor, effexor alone does nothing to alleviate my symptoms (at the 150mg dosage). Although for me the adhd medication is no problem. It is actually effexor that torments me, because I have extreme withdrawal symptoms if I go even one day without it.

I don't doubt that. For me, however, drugs like concerta changed my life from near catatonia to almost-regular function. If you see me behaving "normally", that is because I have taken my prescription. Otherwise, you will not see me because I will be sleeping, or worse, you will see me.

LOL, is it trying to speak in Haikus?

I love the idea of Sage, and think an open-source state of the art CAS is essential in this day and age, but in trying to master it I got sick of Python.

I truly, honestly loathe the way Python handles for symbolic computation, and digging down I traced my disdain all the way to the fundamental object model of Python; so there is no way some surface-level modification will work for me.

On the one hand, it allows the sloppy "integration" of various systems (like you mention). On the other hand, it is not a real integration, just a patchwork of the worst kind. You never know what kind of interface you will face next, there is no coherence among tools, everything is its own world and you need to translate manually between them. Assuming you know the interfaces beforehand. If not... good luck.

A good reminder that soundness bugs in trusted kernels are not merely a theoretical consideration.

We can call it AI Engine Optimization and it will become alright...

How is this not explicitly unconsittutional??

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.