The Nineteenth Byte

Erik the Outgolfer

20:00

@Adám ...then communicate with the IT guy first?

@MagicOctopusUrn no that isn't possible anymore

Adám

@MagicOctopusUrn I can't do that when streaming live.

Magic Octopus Urn

@EriktheOutgolfer Wow, shows what I know lmao.

Erik the Outgolfer

one can't insert new annotations anymore

Magic Octopus Urn

@EriktheOutgolfer I haven't uploaded a youtube video since... Idk, 2009? It was probably a runescape video lol.

Adám

Wonder if links may be abbreviated, like omitting "https://www." and "/index.html"…

Do I worry too much?

moonheart08

20:04

No chat for the D programming language on stackoverflow. :V

Magic Octopus Urn

@Adám can you use like, a scrolling "stock ticker"?

Adám

@MagicOctopusUrn <marquee>

Magic Octopus Urn

@Adám Oh god... the forbidden tag...

moonheart08

<blink>forbidden? usur</blink>

AdmBorkBork

Reminds me of my old GeoCities page.

Auto-play MIDI files ... "Under Construction" GIFs ... man, that was the life.

Magic Octopus Urn

20:10

@Adám jsfiddle.net/bnqvrkbx show the link like this.

@AdmBorkBork code.divshot.com/geo-bootstrap did you know you can get a geo-cities bootstrap lol

Adám

@MagicOctopusUrn What about a tiny box, just big enough for a capital M scrolling a long copyright notice just fast enough to be finished at the end of the video?

Magic Octopus Urn

@AdmBorkBork I make bootstrap websites at work sometimes, and on april fools last year I replaced the regular bootstrap.css with the geo-bootstrap.css lmao.

My boss thought it was hilarious, nobody else really did.

Adám

@MagicOctopusUrn The search bar is way too modern.

Magic Octopus Urn

@Adám I use btn-primary as my main button instead of default... So it changed ALL of the buttons to that rainbow-animated-gif button.

Christopher

Hahah

AdmBorkBork

20:15

@MagicOctopusUrn That's awesome.

Magic Octopus Urn

The best part is that it overrides ALL FONTS with comic sans, like, no matter what lmao. I mean you can declare CSS to get around it, but default text is sans lol.

Christopher

Hahhahahahah

moonheart08

lul

Christopher

I hate you two while on mobile. Profile pics are similar :P

moonheart08

Which two?

oh

AdmBorkBork

20:16

Us two

Magic Octopus Urn

@Christopher "What do you MEAN you people?"

Christopher

XD

moonheart08

i see which two

AdmBorkBork

@MagicOctopusUrn Excellent reference.

Christopher

I'mma go eat food and stuff ttyl

Magic Octopus Urn

20:17

I've offered to invert my avatar like 5 times since I was here second lol.

It even confused me once to the point where I replied to myself.

AdmBorkBork

I inverted my avatar and added a curly-cue green stem a while back for Halloween.

Magic Octopus Urn

So like, a blood-red pumpkin?

My avatar is dark red when inverted.

AdmBorkBork

It was pretty orange. Lemme find a pic.

i.sstatic.net/N3Vxa.png no onebox

Magic Octopus Urn

@AdmBorkBork Lol did you add the red marks now? Or what was that created for lol.

Erik the Outgolfer

didn't even bother to html edit >_>

AdmBorkBork

20:24

I added them back when I made the picture, when I hit 11,111 rep.

Magic Octopus Urn

When I hit 11,111 rep I also had 1.1k monthly gain lol.

totallyhuman

similar avatar, same rep pattern... they're the same people D:

Magic Octopus Urn

:42862199 O-o

caird coinheringaahing

ಠ_ಠ Siblings

Although, I got an eclair out of it, so ¯\_(ツ)_/¯

AdmBorkBork

@MagicOctopusUrn Nice. Given my pattern of upvotes and downvotes, I'm on track to hit 22,222 as well.

Magic Octopus Urn

20:28

@cairdcoinheringaahing Generic meme response b/c I'm too confused to respond.

totallyhuman

what even is bojack

Magic Octopus Urn

@totallyhuman BoJack is... interesting.

I'd recommend it if you have a dark sense of humor or a really sad backstory.

AdmBorkBork

Wasn't Bojack a villain in Dragonball and/or Dragonball Z?

Magic Octopus Urn

@totallyhuman It's honestly an attempt to expose the light on later-life regret, depression, etc... Very, very in-depth on mental issues in humorous ways. Raphael Bob-Waksberg is the creator and he posted stuff on it.

totallyhuman

2

A: The Programming Language Quiz, Mark II - Cops

???, 1167 bytes The Man They Called Dennis (a song). Dennis: a extremely decent golfer. PPCG: a group of golfers. Act I: Chorus. [Enter Dennis] "Dennis; The man they call Dennis. He took inspiration from J and he made the lang Jelly. Stood up to the challenges and gave 'em what for. Our love f...

Magic Octopus Urn

20:31

@AdmBorkBork ~~You thinking of Majin-Bu?~~ dragonball.wikia.com/wiki/Bojack

caird coinheringaahing

@totallyhuman I wonder what language it is...

> The Hero of PPCG: the man they call Dennis.

Magic Octopus Urn

@totallyhuman Scans the entire song intently for TnLq...

AdmBorkBork

@MagicOctopusUrn Wow, surprised I remembered that.

Magic Octopus Urn

Btw, if anyone owns and Esolang, or really likes an esolang ".xyz" domains are $1.99 right now are name.com, on a related note 05ab1e.xyz now exists.

Adám

@ThomasWard Are you still able to run the TIO Bot into its (frozen!) room?

Ah, the TNB chat room link effect.

caird coinheringaahing

20:45

@totallyhuman Of course Dennis is the one to crack it :D

New Sandboxed Posts

0

A: Sandbox for Proposed Challenges

Falling Zeros Given a list of numbers l, arrange l vertically, letting all non-zero digits pass through 0's. Worked Example Say we were given the following as input: ['0000312941295', '239124000124581598', '32852353800451258', '10235923505185190', '1491359102149'] First we arrange it vert...

Magic Octopus Urn

@totallyhuman My favorite part of using ??? for that challenge is the fact that you literally tell everyone what language it is.

CMC: Using an esolang, output that esolang's codepage in any format.

caird coinheringaahing

Jelly, 2 bytes: ØJ

Magic Octopus Urn

Try it online! - 05AB1E (7 bytes)

caird coinheringaahing

Yay for builtins :P

Magic Octopus Urn

20:57

Actually...

05AB1E - 0 bytes - no input.

Techincally, I guess.

@cairdcoinheringaahing I need to read ~~more~~ something on Jelly.

Mr. Xcoder

print('utf-8') :P yay to loopholes

Assumes Python is an esolang.

Adám

@MagicOctopusUrn QuadR, 5 bytes ⎕AV⊣⍵

caird coinheringaahing

@MagicOctopusUrn That depends if the output is only the code page

Magic Octopus Urn

@Mr.Xcoder Ahahahaha!

Mr. Xcoder

@Adám Isn’t that 6 bytes?

caird coinheringaahing

20:59

I only count 5

Mr. Xcoder

O wait nvm

Adám

@Mr.Xcoder No, it uses its codepage :-P

Magic Octopus Urn

O_O CPU share: 111.37 %?

dzaima

@MagicOctopusUrn SOGL, 1 byte: █

Mr. Xcoder

Mobile fonts make the box look like 2 small boxes stacked together

Magic Octopus Urn

21:00

@dzaima Oh lawd, you get outta here with that.

DJMcMayhem

@MagicOctopusUrn V, two bytes: <M-,><C-a>

Magic Octopus Urn

@dzaima You have an eval function too right? And a[b]? If so SOGL would be epic for restricted source.

caird coinheringaahing

> Safe! (according to your computer's time)

Does that mean I can make my answers safe by moving the computer clock forward?...

Magic Octopus Urn

"Push index, codepage[index], eval" = win restricted source.

dzaima

@MagicOctopusUrn yep, utilized that before (indexing is W or w (which one differs because I'm a moron), eval unfortunately is !!) :p

caird coinheringaahing

21:02

@MagicOctopusUrn Assuming that none of those commands are forbidden characters

Magic Octopus Urn

@dzaima Ughhh.... 05AB1E has a similar idea for eval .V and I've been burned like 5 times with V being banned lmao. Base conversion allows me to basically make any command with >, <, 255B and .V.

Mr. Xcoder

@MagicOctopusUrn Triangularity, 31 bytes

Magic Octopus Urn

@Mr.Xcoder Would this also be the answer for languages like C#/Java?

I really haven't looked into how we defined a "code-page" for OOP stuff.

Mr. Xcoder

@MagicOctopusUrn Yes, I think.

dzaima

@cairdcoinheringaahing in one HW without the alphabet CMC the ws were banned and I had to go with iterating over that, pushing the characters and moving the stacked items around, so usually it's not that useful :p

Mr. Xcoder

21:04

@MagicOctopusUrn UTF-8 is the default, unless otherwise specified.

Magic Octopus Urn

@Mr.Xcoder What would be the output for a UTF-8 codepage lol.

I'm really confused on the idea of "codepages" for non-esolangs that don't explicitly specify to be completely honest.

caird coinheringaahing

x = 1; while x: print(chr(x)); x += 1

Mr. Xcoder

@MagicOctopusUrn The set of printable Ascii

But the bytes are counted in UTF8

caird coinheringaahing

I just had the time to take a complete look at TPLQ2 leaderboard and am amazed at how good it is. Brilliant job @NieDzejkob and thank you so much!

Mr. Xcoder

And... Wow you’re right

Then I guess languages without codepages should print the entire UTF-8 /o_o

caird coinheringaahing

21:08

:O So many answers from TPLQ have appeared in the LQPs review

DJMcMayhem

@cairdcoinheringaahing Yeah, it's been nice :P

Cause I'm working towards 1000

caird coinheringaahing

Oooh, only 37 to go!

Magic Octopus Urn

@Mr.Xcoder That works... how? Lol.

DJMcMayhem

If only the election was like a month later, I would tie mego for candidate score lol

Magic Octopus Urn

Also, crack this: codegolf.stackexchange.com/a/155773/59376 It's Java, I promise.

Mr. Xcoder

21:10

I think I know, but I am on mobile ._.

caird coinheringaahing

@MagicOctopusUrn Well, its not 05AB1E :P

Magic Octopus Urn

@cairdcoinheringaahing SIR, lol, no, it's not, even though my last 4 were.

caird coinheringaahing

¯\_(ツ)_/¯ I'm not really competing as a robber

Magic Octopus Urn

@cairdcoinheringaahing Want a tip for being a cop? Don't compete with the same language 4 times even though each of your attempts are legit AF. Especially if that language is your top answered language.

Wheat Wizard

@DJMcMayhem You are getting close to late answers too

I'm just trying to catch up

Magic Octopus Urn

21:12

I was so happy that Zalgo worked for 05AB1E, but I really wish I'd pawned it off on someone who'd never used 05AB1E before.

caird coinheringaahing

@MagicOctopusUrn I used Commentator and Add++, my most used language and my language designed for polyglots and obfuscation. I failed at being a cop :P

Erik the Outgolfer

@DJMcMayhem talk about "un"fairness :~)

Magic Octopus Urn

@cairdcoinheringaahing Yeaaah, I really am unsure if anyone here even uses the one I posted most recently though. It may make it. Sure as shirt it isn't too obvious.

DJMcMayhem

@WheatWizard really? Uhmmmm... I almost never see those

Do you mean first posts?

Wheat Wizard

Sorry you are getting close to reviewer

DJMcMayhem

21:14

I only have 160 in late answers

caird coinheringaahing

CMP: Have you voted in the election?

Οurous

Yes

Wheat Wizard

I guess 90 is still a bit

DJMcMayhem

@WheatWizard I actually gained two reviewer badges just this week

Mr. Xcoder

Bah I though there was something to review given the recent discussions anout reviews , but they’re empty

Magic Octopus Urn

21:15

@cairdcoinheringaahing What election? <the joke is in the history @caird>

Mr. Xcoder

@cairdcoinheringaahing Yea

dzaima

@cairdcoinheringaahing voting right now :p

DJMcMayhem

@cairdcoinheringaahing Three times! :P

caird coinheringaahing

@MagicOctopusUrn The PPCG mod election (I'm glad you edited that :P)

DJMcMayhem

@MagicOctopusUrn I'm running! :)

Mr. Xcoder

21:15

@MagicOctopusUrn codegolf.stackexchange.com/election/2

AdmBorkBork

@cairdcoinheringaahing Vote early, vote often.

Magic Octopus Urn

@DJMcMayhem Once again, I do want your avatar on the mod panel. Well, I mean THAT mostly, but you also do a decent job.

Mr. Xcoder

@cairdcoinheringaahing o_O don’t draw attention upon... that

caird coinheringaahing

I'm only voting for Mego if he promises to sign all his mod actions (flags, deleting etc) with "Noot noot" :D

Magic Octopus Urn

@cairdcoinheringaahing #Nooting4lyfe

Mr. Xcoder

21:18

Wow I realised I have been extremely inactive on Main today

Magic Octopus Urn

@Mr.Xcoder OH LORD, THE HORROR, A USER INACTIVE FOR A DAY.

Punishment will be swift and severe!

caird coinheringaahing

Using Swift is a punishment :P

Magic Octopus Urn

@Mr.Xcoder In your defense though only 2 questions have been posted today.

Mr. Xcoder

@MagicOctopusUrn When you earn +105 in a day and the next day you get 0, it doesn’t feel too good :P

caird coinheringaahing

It does for me :/ I almost never get >100 rep in a day

Mr. Xcoder

21:20

@cairdcoinheringaahing Good lord that’s true! Especially if you want to index in/get subsequences of strings or want to use complex arithmetic!

Magic Octopus Urn

@Mr.Xcoder Pick one of my sandbox posts for me to post for you to compete in lol.

I need to delete anything that's stupid too tbh lol. I have like 20

Mr. Xcoder

None rn, already going to bed. But please no palindromes again.

Anyway brb

Magic Octopus Urn

@Mr.Xcoder ?No palindromesemordnilap oN?

caird coinheringaahing

@MagicOctopusUrn I have 7 IIRC

Magic Octopus Urn

@cairdcoinheringaahing That's a lot of Interesting IRC channels you own.

@cairdcoinheringaahing (that was my idiotic way of asking what IIRC means).

AdmBorkBork

21:23

If I Recall Correctly, it's "If I Recall Correctly"

caird coinheringaahing

If I Remember Correctly you're the old one out of you and Adm? (old ~ 37)

Magic Octopus Urn

@cairdcoinheringaahing I'm 26, but I feel 36... so, prolly.

Mr. Xcoder

Adm > Magic (when it comes to age)

caird coinheringaahing

Their profile pictures are too similar D:D

Magic Octopus Urn

My age is like 26 but my maturity is akin to a ~~Lvl 3 on Runescape who is WTB GF - 200k~~ 12 year old.

caird coinheringaahing

21:25

Huh?

Mr. Xcoder

Another PPCG effect: When I joined, I only competed in Swift. Nowadays I use anything but Swift :P

@cairdcoinheringaahing Should I make my picture background black P:P

caird coinheringaahing

Please no :/

New Sandboxed Posts

0

A: Sandbox for Proposed Challenges

Build a vertical quine Inspired by Take a stand against long lines, Your task is to build a quine with as short a line length as possible. Scoring Shortest line length (excluding newlines) wins, with full code length as a tie-breaker. Line length is determined as the longest line in your pro...

Magic Octopus Urn

Is this a good valentines day challenge: pastebin.com/AXNP6ZWW ?

AdmBorkBork

I need to start coding more in Jelly, just to mess with people.

Οurous

21:27

I have three characters, $yY, left to assign to builtins. Not sure what to do with y and Y. If I can't think of anything for $, it'll be the current value of a bitcoin until I have something better.

caird coinheringaahing

@AdmBorkBork s/Jelly/05AB1E/

Mr. Xcoder

Oh no I am sick of KC, palindromes and primes :/

4

AdmBorkBork

I tried 05AB1E once, found it even more confusing than Jelly for my PowerShell brain.

Magic Octopus Urn

@Οurous steal something from another language.

caird coinheringaahing

CMC: Output the current value of bitcoin in USD at the moment its run

Pavel

21:28

@AdmBorkBork I like seeing PowerShell wizardry though :(

Magic Octopus Urn

@cairdcoinheringaahing Try it online! - 05AB1E 8 bytes (It's a random number between 0 and 20k, essentially the value of BTC)

AdmBorkBork

Oh, I wouldn't give it up. Just try to expand my horizons, so to speak.

caird coinheringaahing

@MagicOctopusUrn +1 :D

Mr. Xcoder

@AdmBorkBork I thought so too before learning Pyth and abandoning Swift :P

Magic Octopus Urn

@AdmBorkBork I loved 05AB1E more than Jelly because it's like Java but with STUPIDLY SMALL METHOD NAMES.

Mr. Xcoder

21:31

Yah imo 05ab1e is faaaar easier compared to Jelly

Οurous

@MagicOctopusUrn Excellent. Now I just need to implement it.

dzaima

@MagicOctopusUrn 4 bytes in SOGL :p

caird coinheringaahing

I find Jelly easier, for some reason :D

Pavel

It's easy if you're an expert

Magic Octopus Urn

@cairdcoinheringaahing I really think it's a mindset, and that people who prefer Jelly have this abstract concept of organization that will benefit them to the level of Dennis later in life O_O.

Mr. Xcoder

21:32

Stack manipulation is extremely easy in 05AB1E, but 05AB1E has quirks

Magic Octopus Urn

05AB1E is more like... "HAY, DIS IS WHAT I WANNA DO, HERE IS TOOLBOX OF TOOLS."

Jelly is like, if the tool box isn't on the correct side of the hammer, then WTF are you even doing?

caird coinheringaahing

ಠ_ಠ On the topic of Jelly, I have a new respect for Dennis. Tacit languages are hard to make

Pavel

wat

Mr. Xcoder

And 05ab1e is imo completely terrible at matrices

Magic Octopus Urn

@Mr.Xcoder Cross out ~~imo~~ it IS horrid at them.

Mr. Xcoder

21:34

^^^^

Magic Octopus Urn

@Mr.Xcoder Almost every other week I look for challenges Emigna is not on. And they're 50% of the time matrices, but I still compete in 05AB1E losing to Python.

Mr. Xcoder

I got to answer a couple of challenges in Osabie lately

Leaky Nun

hmm, is it true that all computable functions R->R are continuous?

Magic Octopus Urn

@Mr.Xcoder May honestly be a polygot in 05AB1E, or was at some point.

Mr. Xcoder

@MagicOctopusUrn Lol 05ab1e == Osabie

caird coinheringaahing

21:35

@MagicOctopusUrn Jelly is like What is tool box? I think you mean Ṫọȯŀ Ɓ©×

Magic Octopus Urn

@Mr.Xcoder Oh, I was thinking 2sable, IDFK why.

@Mr.Xcoder Also, no, it doesn't, scoffs in hexidecimal, it equals 371486.

H.PWiz

@LeakyNun What makes you think that?

totallyhuman

@Mr.Xcoder no but please make it so that the triangle isn't cut off :P

Magic Octopus Urn

Has an ASCII heart been done for valentines day lol?

Mr. Xcoder

@LeakyNun I think the answer is yes, because all R->R are continuous, and computable R->R functions are a subset of R->R functions, right?

Leaky Nun

21:37

@H.PWiz some guy online saying that

H.PWiz

It seems rather far fetched to me

Magic Octopus Urn

@H.PWiz being honest, did you crack my Zalgo by knowing my favorite language lol?

Leaky Nun

@Mr.Xcoder nice, thanks

caird coinheringaahing

33

Q: Draw the Heart Shape

Challenge Draw a Heart shape ...as ASCII art! Your art doesn't have to look exactly like mine, but it has to look like a Heart Shape. The inside of of the heart has to contain the words "Love" at least 20 times Rules The program must write the art to the console. Shortest code (in bytes,...

Mr. Xcoder

No problem

H.PWiz

21:38

@MagicOctopusUrn Yes

Magic Octopus Urn

@H.PWiz xD dang, I spent time obfuscating my code when I needed to obfuscate my soul.

Leaky Nun

@H.PWiz but it's true :P

caird coinheringaahing

@MagicOctopusUrn Kinda

Mr. Xcoder

> The same phenomenon occurs in classical computable analysis, by the way. Any computable function f from ℝ to ℝ which is well defined with respect to equality of reals (and thus is a function from ℝ to ℝ in the normal sense) is continuous.

Magic Octopus Urn

@cairdcoinheringaahing chris.com/ascii/index.php?art=holiday/valentine wanted to post something from here, but 'meh'...

H.PWiz

21:40

@LeakyNun Maybe I don't know what "continuous" and "computable" mean.

Leaky Nun

@H.PWiz let's say it means there is a program that when given n digits of the input will give you m digits of the output

where m as a function of n goes to infinity

Mr. Xcoder

That’s “computable”

Leaky Nun

right

Thomas Ward

@Adám I can unfreeze the room and launch it into there if necessary.

do you need me to run a copy of the bot? I might not have an updated copy.

H.PWiz

@LeakyNun Right, it's still not clear to me why that is continuous (especially at 0)

Leaky Nun

21:44

@H.PWiz because you can't define a discontinuous function that is also computable

Thomas Ward

@Adám clarification on exactly WHICH TIO bot is also helpful, since there's technically two

Leaky Nun

e.g. the function "1 if x>0 else 0" is discontinuous

it is also not computable

given n digits of the input, you can't know if it is > 0 or <= 0

H.PWiz

How are negative numbers given as digits?

Leaky Nun

let's say you have the integer part

Mr. Xcoder

But is the reciprocial function computable?

Leaky Nun

21:45

@Mr.Xcoder it is not total

Mr. Xcoder

Due to 0 right?

Leaky Nun

right

and you can't make it computable by patching the hole

(you can't decide if a number is 0)

(real number has no decidable equality)

Mr. Xcoder

... But 1/0 is, by convention, not in R right :P

Leaky Nun

@Mr.Xcoder you can patch the hole to make it total

the convention is to make it 0

Mr. Xcoder

By defining it as f:R*->R? :P

Leaky Nun

21:47

(the convention, when you want to create a total function)

well that's also one way to make it total

and in that case, it is continuous

H.PWiz

@LeakyNun Is it, it doesn't look continuous ∞ → 0 → -∞

Unless continuity has a definition I don't know about

Mr. Xcoder

Is a restriction of a function f:R->R also a real function?

Leaky Nun

@H.PWiz its domain is R*

informally, the point of discontinuity is not in the domain

Mr. Xcoder

Or just functions that have both the domain and codomain R are called real functions?

Leaky Nun

both domain and codomain

Mr. Xcoder

21:51

So f:R*->R isn’t a real function.

Leaky Nun

right

Mr. Xcoder

@LeakyNun And formally?

Leaky Nun

@Mr.Xcoder formally, it satisfies "forall a forall e>0 exists d>0 forall x, |x-a|<d implies |f(x)-f(a)|<e"

Mr. Xcoder

Nice

H.PWiz

Now we've gone off on that tangent, how is a negative number given as digits?

Mr. Xcoder

21:57

Perhaps -749 => [-7, 4, 9]? Hm, interesting question

Leaky Nun

just use any reasonable method

it doesn’t really matter

H.PWiz

Surely, if it is negative, one can see that from the first digit?

Leaky Nun

this definition of computable might have some problem though

H.PWiz

So I always know if an input is ≤0. But maybe not always when it is =

Leaky Nun

I need to pick a different definition

Mr. Xcoder

21:59

But... I think it should be [-7,-4,-9] insead tbh, to satisfy (-7) x 100+ (-4) x 10 + (-9) = -749

Leaky Nun

the claim is wrong under this definition

Mr. Xcoder

Too much formalism & generalism :P

H.PWiz

In my experience computability is pretty hard to pin down

Magic Octopus Urn

I voted for the election :O.

PhiNotPi

:O

Mr. Xcoder

22:04

Though decision, right :s

H.PWiz

I voted for the candidates

Leaky Nun

just had a brief discussion with some other dude

Mr. Xcoder

Relevant.

Leaky Nun

the digits don't have to be normal form

so 1 can be 1.0000000... or 0.999999........

so x>=1 becomes undecidable

and the claim is rectified

Erik the Outgolfer

@LeakyNun what an old debate in here

Magic Octopus Urn

22:06

@H.PWiz cries in abject semantics

PhiNotPi

@Mr.Xcoder I'm not sure if you realize that, even though people get 3 votes, only the top 2 are getting selected. Because I've talked to at least some other users who didn't realize that their vote order (1st, 2nd, 3rd) matters a lot.

Leaky Nun

@EriktheOutgolfer quotes taken out of context ;_; :P

Mr. Xcoder

It seems to me that you’re abusing non-unicity :P

@PhiNotPi Lol I was 100% serious. It was very tough to decide which candidate to vote for

(I mean, the order was hard to decide, y’all are great)

H.PWiz

@LeakyNun I think I forgot that the function should return the same result for the same value.

e.g -0.00000000 and 0.0000000

Leaky Nun

@H.PWiz I didn't state that the input doesn't need to be in normal form

so my definition was wrong

H.PWiz

22:10

Right, I did however assume it

Leaky Nun

so did I

H.PWiz

because it would be too easy otherwise

Leaky Nun

let’s just focus on the corrected theorem now

H.PWiz

Agreed, it seems plausible now

DJMcMayhem

@MagicOctopusUrn Randomly chosen by us? Or at runtime?

Do they have to be distinct?

H.PWiz

22:17

@MagicOctopusUrn Can we choose the upper bound?

Magic Octopus Urn

Just three random numbers above 1000, each number above 1000 has equal opportunity to appear.

H.PWiz

Integers?

Magic Octopus Urn

claps hands together nvm, was bad even for a CMC lol.

DJ can you blast that CMC lol.

Riker

i gotchu

Magic Octopus Urn

Thx Riker. Off-topic: You remind me of the dealership I bought my car from.

Ricart.

Riker

22:20

hm ok then

sounds french

betseg

gnu core utils + zsh, some bytes: shuf -i1000-$(((2**63)-1)) -n1

Riker

@MagicOctopusUrn in other news I've got a rough estimate of your location

H.PWiz

@LeakyNun You're leaving me hanging...

Magic Octopus Urn

@Riker I bet lol, I'm easily DoXable man.

Riker

close enough for a nuclear missile but luckily for you I'm a high school student with literally zero access to advanced weaponry

Magic Octopus Urn

22:21

@Riker My original username had my last name in it.

Leaky Nun

@H.PWiz ?

Riker

@MagicOctopusUrn well there's a car dealership with your last name too congrats

Magic Octopus Urn

@Riker Classic cars are awesome tbh.

H.PWiz

@LeakyNun I thought you were going to continue, and prove it. nvm if you don't want to

Magic Octopus Urn

Something about the 2017 Malibu I own doesn't feel... like... y'know... awesome?

Feels legit, no doubt, but still. I want a Chevelle for no reason >_>

Leaky Nun

22:24

@H.PWiz hmm, I don’t really know how to prove it

H.PWiz

That's cool, I couldn't prove it myself. But attempting to think of counter examples makes me think it is true

Leaky Nun

same here

oh well

it follows from the definition doesn’t it

for any a for any epsilon

find the digits needed to bound the output within epsilon

use the definition of computabulity

H.PWiz

Yes, so long as the computation converges given enough digits, which may be implicit in the definition (I can't remember it precisely)

New Main Posts

0

Q: Is there a bump?

Given a list of integers determine if there is an element that is either greater than its two neighbors or less than its two neighbors (a "bump"). To be clear a bump can never be the first or last item of the list because they only have one neighbor. Your program should output one of two consis...

code-golf number array-manipulation

Leaky Nun

22:47

@H.PWiz I just saw a more rigorous definition

> The typical definition is the one which takes an index of a machine outputting digits of a real and outputs index of another such machine

where by machine one means turing machine

> So those are only really defined on computable reals

H.PWiz

Ok, that is nicer in that it is more obviously "computable". But it is a shame to exclude the infinitely many uncomputable numbers

Although they were bound to be left out anyway

Leaky Nun

I think that's a more reasonable definition though

but I think my proof still works

H.PWiz

Definitely better

Leaky Nun

so the definition of continuity is that f is continuous if:

for all a, for all epsilon>0, exists delta>0, for all x, |x-a|<delta implies |f(x)-f(a)<epsilon

caird coinheringaahing

ಠ_ಠ I left this room an hour ago and Leaky and H.P were taking maths, I return and the first thing I see is Leaky talking maths

Leaky Nun

22:53

o.O

caird coinheringaahing

ಠ_ಠ Damn mobile chat

Leaky Nun

so given a, i.e. the turing machine outputting digits of a

plug it into f

get f(a), i.e. the turing machine outputting digits of f(a)

if epsilon<10^-n for some n

then look at the first (n+2) digits of f(a)

hmm, now I'm stuck

Destructible Lemon

I changed a x = sorted(x) in a function to x.sort() prior to running the function and the bugs no longer seem to exist

PhiNotPi

23:18

Phigs> [7 8 9]o
[7 8 9]
Phigs> [2 3 4] [8 9] * o
[16 27]
Phigs> 2 8 ^ o
256

It lives!

Conor O'Brien

23:54

:D

can you link me to the chatroom @PhiNotPi?

Transcript for