The Nineteenth Byte

Husnain Raza

12:33 AM

anyone have any good introductory resources on programming in assembly?

moonheart08

@HusnainRaza I never even found one myself (For x86-64). I had to figure it out manually. Good luck finding a guide. ):

quartata

@HusnainRaza what architecture

Pavel

12:56 AM

The Art of Computer Programming

moonheart08

1:12 AM

@HusnainRaza feel free to ping me if you need help, i can probably supply tips for a good number of assembly languages

quartata

moonheart08

i mean really a lot of them are quite alike

so tips in one can easily apply to another.

Quintec

1:58 AM

Wait, I'm confused now... are we a beta site or not? I always thought we were, but now that I look there is no beta, but we didn't get a site design?

feersum

2:10 AM

Supposedly we graduated a couple years ago, but many people believe it was faked.

Husnain Raza

5:00 AM

I wanted to implement this algorithm in x86 assembly maa.org/sites/default/files/pdf/pubs/amm_supplements/…

its part of a thing im doing where i do a project in 26 different programming languages for each letter of the alphabet

mınxomaτ

6:01 AM

@HusnainRaza The Agner books are the best resource available.

They are free: agner.org/optimize

New Main Posts

6:36 AM

0

Q: True color code

True color (24-bit) at Wikipedia is described in pertinent part as 24 bits almost always uses 8 bits of each of R, G, B. As of 2018 24-bit color depth is used by virtually every computer and phone display and the vast majority of image storage formats. Almost all cases where there are 3...

Leaky Nun

7:08 AM

Hopcroft is speaking!

Fatalize

@LeakyNun wat

Leaky Nun

Atiyah is the next speaker

2

Fatalize

inb4 nothing

Fatalize

7:32 AM

"We are reaching capacity limits on our streams. I apologise for the inconvenience. "

welp

ngn

7:43 AM

@Fatalize it asks me for a username and password

now it's 503 "Service Unavailable"...

Fatalize

@ngn pscp.tv/w/1zqJVLeqXYDKB

ngn

@Fatalize that works, thanks a lot!

Fatalize

(not actually watching cause at work, don't know how the sound is)

ngn

@Fatalize not perfect but some of what he says is still audible

Leaky Nun

8:29 AM

this concludes the livestream

ngn

^the only relevant slide. T(x) is the "Todd function".

the rest was historical trivia and a claim that he's found a formula for one of physics's dimensionless constant (alpha, the fine-structure constant)

H.PWiz

I didn't see him define the todd function. Did he?

ngn

8:47 AM

@H.PWiz I think he didn't, I assumed it must be something well-known

Neil

9:25 AM

tfw you switch brokers both using the same insurer and save over £100

Fatalize

13

Q: What is the definition of the function T used in Atiyah's attempted proof of the Riemann Hypothesis?

In Michael Atiyah's paper purportedly proving the Riemann hypothesis, he relies heavily on the properties of a certain function $T(s)$, known as the Todd function. My question is, what is the definition of $T(s)$? Atiyah states that this function is defined in his paper "The Fine Structure Cons...

open-problems definitions riemann-hypothesis

New Main Posts

-2

Q: Input a character

Store a character in any variable. Rules: Only python allowed. Must work on any platform. Program should ask for input but not wait for \n. If input char is number, var type should be int. For everything else var type should be string.

code-golf python

0

Q: Python: Find the indexes of the longest non-consecutively increasing elements in a list?

I have an array: [1,0,2,0,3,4] I want to find the longest non-consecutive increasing sublist, i.e. in this case it is [1,2,3,4] (values) or [0,2,4,5] (indexes).

subsequence

Fatalize

so @LeakyNun , your mathematician's opinion on that attempted proof?

Leaky Nun

Héctor, I think this one is for the blogs, if anyone wants to take it up. Atiyah has done some of the greatest mathematics in the past 50+ years, but it looks very likely that here he's "not even wrong", and it is for this very reason that he should be accorded some dignity in view of his epoch-making past work -- not a public raking at MO. That's just my opinion. — Todd Trimble ♦ 13 hours ago

but that aside, it relies on a mysterious function $T$ having those properties he claims

Fatalize

that's not your opinion :p

Leaky Nun

9:39 AM

indeed

@Fatalize so the thing is that his proof relies on a mysterious function $T$ defined in one of his other (new) papers about the fine structure constant. The fine structure constant is about physics so I have no idea about that.

And I can't really follow any of the logic in the excerpt of his preprint I quoted

he mentioned something about linear approximation, so 2.7 is just a linear approximation (sqrt(1+s) = 1+s/2)?

how does taking f=g=F in 2.6 allow us to deduce 3.3: F(s) = 2F(s)?

is it just another of his linear approximations?

so his proof is basically "314159 is approximately 310000 which is approximately 300000 which is approximately 0"?

Fatalize

lmao

Leaky Nun

@Fatalize is that my opinion now? :P

Fatalize

tl;dr your opinion is "bullshit"

Leaky Nun

10:01 AM

motls.blogspot.com/2018/09/…

@Fatalize I suppose so

Fatalize

11:05 AM

"his energy and ability to control much more than just the bladder at the age of 89+, but the proof of the Riemann Hypothesis will require more than that"

jeeeez

Luis Mendo

12:27 PM

I've noticed quite a few suspicions among mathematicians regarding Atiyah's purported proof. I can understand that.

I've also noticed a certain desdain about Atiyah's himself or his recent work. A feeling of "let's not even talk about this, to avod further embarrassment". That's where I get lost. What's the matter? Is it that Atiyah is not as good as he used to be, perhaps because of his age? Did he do something to earn that apparent disrespect?

Fatalize

Apparently he has claimed to have proven other well-known difficult problems and his proofs were also dubious

Luis Mendo

Ah, I see

"Dubious" as in "wrong", I take it

Fatalize

Don't really know the details

Anonymous

@LuisMendo Wrong doesn't even really begin to cover it. His recent work (like the 6-sphere debacle) is too meandering and nonsensical to even really be called wrong.

Anonymous

He almost certainly has some form of age-related dementia

Luis Mendo

12:36 PM

Oh my. I see

Now all the comments I've seen make more sense. Some asking for respect for his past work

Nathan Merrill

so, it sounds like he could definitely have those proofs in his head, but due to age, it is impossible to get them out in a sensical way

Anonymous

@NathanMerrill Possibly, which is a shame. 50 years ago, he was one of the brightest mathematicians on the planet

J. Sallé

1:39 PM

@dzaima sorry for the (very) late response, I'll check that out too. Turns out I never went home on friday >.>

quartata

does anyone know what the other paper with the Todd function definition is

ngn

@quartata drive.google.com/file/d/1WPsVhtBQmdgQl25_evlGQ1mmTQE0Ww4a/view

quartata

1:55 PM

ah OK

thanks

it looks like MO and MSE are trying to keep a lid on this which is understandable

Rushabh Mehta

2:39 PM

Yea, Atiyah has been putting out questionable proofs for quite some time now

quartata

the fact that the organizers of this decided to make it so public, to shout out from the rooftops, is what i find despicable

also reddit isn't helping

Rushabh Mehta

It's internet cred. Whatcha gonna do/

HLF wanted those juicy views

quartata

I respect the mods here for not wanting to be a party to this

we know there's errors, and that's all there is to say

Rushabh Mehta

Like when even nubs like me can see obvious flaws in the proof

bro

quartata

I know, I know, but the problem is that now it's a field day for trolls with basic knowledge to say dumb mean shit

While HLF profits

Rushabh Mehta

2:49 PM

I've been amusedly reading news articles like the following

mirror.co.uk/science/…

These articles read like someone heard HLF's announcement, then googled what RH was and Atiyah's wiki, and boom, article

quartata

pretty much

Pavel

Other than Atiyah, did anyone say anything interesting?

quartata

I hadn't really paid attention

heidelberg-laureate-forum.org/event_2018

mınxomaτ

3:06 PM

Google Cloud is deploying aggressive marketing tactics: They're sending me a free chromebook. Neat.

quartata

haha nice

Pavel

3:19 PM

@mınxomaτ I can't follow that link (school firewall), is there a way for me to get a free chromebook?

mınxomaτ

Probably not. They sent them to people who can decide to switch cloud providers at companies which are Azure customers.

Pavel

Hey, that does describe me!

New Main Posts

4:20 PM

0

Q: Validating a matrix against overlapping elements

I have a quite different issue to be solved. I am gathering some data from user input which I can arrange into a matrix. An example matrix below. A little brief about the data and validation rules: There are 4 number of rows and 5 number of columns in the above matrix. Columns are fixed. Row...

array-manipulation matrix

J. Sallé

Thinking of posting this challenge in a couple hours. Any more issues you guys see?

Nathan Merrill

5:52 PM

hey, I've got a really weird tech problem: Everything that is built on chromium can't connect to the internet. For example, Chrome, Vivaldi, even electron apps can't connect.

I'm not really expecting a solution in chat, but just baffled by how weird my problem is

Nathan Merrill

6:23 PM

hey, I found it! bugs.chromium.org/p/chromium/issues/detail?id=838707

dzaima

7:07 PM

@J.Sallé personally I think a minimalistic (same-char border, same-char trace) would be good

can the border and the trace be the same character?

also I think that people would call "as long as they're consistent with each other" an unclear-vote worthy line

J. Sallé

@dzaima that's not disallowed though. I left it like that for this exact purpose, so that people would be free to use any kind of border and trace they feel like. The only constraints I put is that you can't use the same character for the trace and the object, and that the borders must visually match each other

@dzaima I did add an explanation as to what I meant with that. Should I add an example of what is allowed and what isn't?

dzaima

@J.Sallé I know it's not disallowed, but I know I'd reread the challenge twice trying to find where it tells me to use fancy characters to no avail :p

@J.Sallé "visually match each other" is very vague. Would this be allowed? How about this?

A human is able to tell what's okay and what's not, but when golfing is required, everything can be abused to max (though I'd be surprised if everything didn't use either constant borders or built-ins :p)

J. Sallé

7:30 PM

@dzaima I see what you mean.

I'll rethink the borders thing, then

Transcript for