ykonstant

Ah, Adobe, how I want you to burn in an enormous, abyssal hellfire.

Quite a lot of cynicism and contempt expressed in this thread, and not entirely unjustified: historically, "governments of intellectuals" led to some of the worst regimes.

However, I want to look at this experiment more optimistically, see if this assembly can defeat the stereotype. I'll be observing its activity with interest!

In some clusters, senior academics are exactly like that.

My understanding is that companies tend do disclose the bare minimum they are required by law, and keep everything else to themselves.

Can we, like, also have a pinterest breach plz?

We just need the squirrels to coordinate as well!

Leave the general computing to us, citizen.

This is phenomenal, super important for me. I have always had my concerns about the classification, and the verification that such a monumental proof is correct gives me great confidence about the way we have been doing mathematics so far.

> Having a contact on linkedin who's hiring doesn't really count in that scenario.

Darn!

Ooh that's interesting, can you point me to the exact videos?

> Is it simply a bias in the sampling or are the people in math (the discipline) as shaken as the stuff that shows up on HN makes it look like?

My local community is in a mixture of denial and despair. Especially for the PhD students and postdocs, and faculty in terms of hiring (how do we hire?).

>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...