The Nineteenth Byte

Downgoat

12:14 AM

anyone here familar with swig

dzaima

I wanted to make a nicer REPL for my APL thing (so I could use arrow keys to move the cursor..). Ended up making a python REPL calling it..

Java was way nicer in Processing. (well, processing didn't have console input at all, but of the two possibilities, I'd say that's the better choice.)

Anonymous

@dzaima Why not just use GNU readline?

dzaima

@Mego because I don't know what that is

Anonymous

It's the library that makes REPLs fancy with arrow key support and stuff

dzaima

12:29 AM

eh I'd have to get some library to use that and turns out pythons readline actually probably is that

Riker

1:40 AM

@flawr nah I was at a summer camp

leaving again on sat for the same thing so I'm stockpiling reddit posts

ASCII-only

3:00 AM

@dzaima it is

ngn

5:43 AM

@dzaima you've reinvented rlwrap

Downgoat

6:10 AM

> Could not register user for website identifier web.org.vihan.axtell.development1, received response 204

Apple why are you so stupid

204 is a successful code :|

Pavel

6:55 AM

@dzaima Wha..? new Scanner(System.in).nextLine() has line editing already.

What were you doing?

Adám

@cairdcoinheringaahing I don't think so. It is just to let evaluation happen while the code that uses the result continues as far as possible.

@H.PWiz Yes. I think that won't actually evaluate f ⍬ until 100↑.

Pavel

Those two statements contradict each other :P

Adám

@Zacharý AltGr+Shift+U, ?

@Pavel What, mine?

Pavel

Yeah. WHat H.PWiz described is basically how Haskell's infinite lists work.

Adám

@Pavel Oh. Well, I don't understand them then.

Pavel

7:08 AM

@Adám You have a function that builds a list by connecting a value to the result of a lazy recursive call.

Basically, Haskell infinite lists are generator functions. I don't think APL has those though, iirc

mınxomaτ

9:29 AM

RISC-V hardware is here (sort of): rise.cse.iitm.ac.in/shakti.html

New Main Posts

10:13 AM

-1

Q: How to multiply two matrix using constant memory?

I need to multiply two matrix using constant memory. Note that the result should be stored at one of the matrix after operation. Printing the result without storing is trivial. Storing the result seems to be difficult. Another way of approaching this to find out two 2x2 matrix can be multiplied w...

ATaco

9

That's, uh, helpful.

New Main Posts

10:45 AM

0

Q: I need help with C programming assignment. I'm in a self learning institution and I don't know how to start

Goals The goal of this project is to introduce you to basic algorithm and to have you manipulate inputs/outputs. Chapter IV General Instructions • You’ll have to submit a file called author containing your username followed by a ’\n’ at the root of your repository. $>cat -e author xlogin$ • The ...

board-game fastest-algorithm programming-puzzle algorithm

ASCII-only

11:10 AM

@ATaco are you sure you didn't accidentally type fancy unicode in there :P

@Zacharý better than Scottish and German at least

ATaco

(It's actually because I wrote -help, but it assumes it's a 1 character flag with elp as the argument)

ASCII-only

@ATaco :| why would you do such a thing

basically it's because gcc doesn't think anyone is insane enough to do that :/

ATaco

I wanted quick information about command line arguments, and I'm not running linux.

So I can't just man g++

ASCII-only

@ATaco well everyone knows it's always -h and/or --help :P

ATaco

I did try -h afterwards :P

But it has some other functionality on G++

So google to the rescue.

feersum

11:19 AM

Programs with one-hyphen long name flags are hardly uncommon.

Fatalize

11:30 AM

Question to native English speakers: Markovianness or Markovianess?

feersum

What? How about neither?

Fatalize

…what would you use instead?

feersum

What is that supposed to mean?

Fatalize

say a sequence follows the first order Markov property

I want to talk about the "Markovianess" of the sequence

feersum

If such a word has to exist it would be the double-n

Fatalize

11:34 AM

if that word doesn't exist I don't see what i would use instead

ASCII-only

12:46 PM

@cairdcoinheringaahing ... the you aren't optimizing enough

@cairdcoinheringaahing is this like a ripoff of Deorst :P

*then

@cairdcoinheringaahing ew, so wasteful (in terms of bytecount of course)

@Zacharý so how exactly does that work

dzaima

1:51 PM

@ngn yay. As I said I didn't know what readline was (and that I was actually using it already)

@Pavel it doesn't for me (at least not moving the cursor with arrow keys)

Pavel

@dzaima What's your Java version/terminal?

caird coinheringaahing

@ASCII-only Started off like that, then everything but the name changed

dzaima

2:06 PM

@Pavel Java 10.0.2, gnome Terminal 3.18.3

Pavel

...weird, works here.

caird coinheringaahing

@ASCII-only Yeah, that's the part I understand. Speeding it up is the mystery :P

quartata

2:26 PM

@Downgoat dont use 204

when making something external facing using anything other than 200 is asking for trouble

dzaima

............. while trying to figure out why IDEA wont start I finally found why my .config folder disappeared a long time ago. It was dragged in .IntelliJIdea2018.1. I hate how easy it is to drag a folder into another one by accident

quartata

I mean can you honestly expect clients to write if code // 100 == 2 over if code == 200

theyre not going to

Dennis

If somebody thinks that 200 is the only successful HTTP code, that's their fault.

5

quartata

also 204 has some weird browser semantics

Dennis

TIO uses 202 and 204 in a couple of places.

quartata

2:36 PM

@Dennis yeah but it's internally facing. It fine because you know what it means

Pavel

@quartata if (code.IsSuccessStatusCode) :3

Dennis

I just received an email that told me, among other things, to Please delete the space bar.

quartata

But if you've ever interacted with an API and you haven't just been lazy and compared to 200 for success then im sorry youre just lying

why not make it easy

@Pavel more keystrokes, few will know it exists if the language even has it, etc

Dennis

Maybe there's no strong case for 204, but 200 simply doesn't mean the same thing as 202.

quartata

What I posted with the division is the "correct" way but no one can read that

Pavel

2:39 PM

I know that success codes are just 200 - 299, but I always try to use the builtin check for successful status.

Dennis

And there's no replacement for 206, anyway.

Although you won't get that one unless you ask for it.

quartata

@Dennis but is 202 the response that route always returns?

@Dennis client will always be expecting it

Dennis

@quartata In TIO's case, yes. But 200 vs 202 can be used to distinguish between a request that has be and that will be processed. If the client cannot handle that 202, it's buggy and should be fixed.

quartata

If the route by definition doesn't "process" the request then the 202 is superfluous imo

If it's only sometimes then sure

Dennis

@quartata But if 200 <= code < 300 surely is readable, no?

quartata

2:50 PM

Yeah, sure

But again few people will do this if there's no indication the route won't just return OK

in this particular case I would be surprised if Apple's specification doesn't require it to be 200

(It's a webhook as far as I can tell)

Dennis

HTTP/2 222 Deal with it

Poke

3:10 PM

@quartata personally if i'm writing a script to hit an api i'll check for the expected response code. usually it's a 200 but if i'm deleting something 204 is what i'll generall check for. don't just check for "success". check for your expected output

there's a reason that 202 and 204 exist as standard response codes

theoretically you could just use a 400 for bad authentication/authorization too

but that would be stupid

aditsu

3:34 PM

hello folks

anybody speak APL?

Dennis

A little.

aditsu

basically I'd like to confirm whether this is counted correctly, as the TIO link has a lot more code (e.g. in the header)

also, I think this is the only recent answer in a language older than the question, right?

DJMcMayhem

@aditsu Adám is the resident APL expert

Zacharý

Yeah, Adám is definitely the resident APL expert.

aditsu

I guess so, but I don't know if @Adám is around

Pavel

3:47 PM

@aditsu Also @ngn. By this point Adám pretty much taught everyone at least some APL by now though.

aditsu

ngn wrote the answer (not saying he's trying to cheat :p)

I kinda got over the codepage thing (although I still resent it somewhat)

ngn

@aditsu see codegolf.meta.stackexchange.com/questions/9428/…

Zacharý

Yes, the portion in the header and footer do nothing. It's a function: you have to store it in something. It's a lot like x=>x in JS, an anonymous function

Pavel

@ngn The TIO link doesn't actually work, btw

ngn

@Pavel huh...

Pavel

3:52 PM

Is ⎕io←0 the default on any system?

dzaima

@ngn that's what you get for using dyalog classic

jslip

@Pavel It's just to do with the boxing. Turn that of and it works. Alternatively change to dyalog unicode. Then it works

Pavel

@jslip I know, but I thought ngn should know since it's his answer.

Dennis

It might have broken with the update to Dyalog 17.

aditsu

@Zacharý so that means it's all good, right?

ngn

3:53 PM

relevant discussion in the Orchard: chat.stackexchange.com/transcript/message/45655018#45655018

dzaima

@Dennis no, I recall that not working on 16 too

Zacharý

@aditsu Yeah, pretty much. That only gets in debate when stuff like ⎕+⊢ is used.

aditsu

I... probably don't want to find out what that is

Pavel

@aditsu Learn APL, it's fun

6

Zacharý

join us

Just input pluss argument, but it's not reusable.

Adám

3:55 PM

@aditsu I'm almost always around except Friday afternoons–Saturday nights UTC.

aditsu

I won't give in to the dark side :p

Zacharý

Then learn K for ngn!

ngn

@Zacharý one step at a time! lion taming, apl, then k :)

Zacharý

No, that would be APL then J. K is its own beast.

Pavel

@Adám Being awake consistently from Sunday to Thursday doesn't seem healthy

aditsu

3:58 PM

@Adám cool, any comments on my original inquiries? (just above where I tagged you)

Adám

ngn

I wonder if I was drunk when I posted that answer or something has changed on TIO since

Adám

@aditsu Well, it was already answered. Yes, the counting is correct — you may almost always count 1 byte/char, and the header does nothing other than enable the nice boxed display and switch to 0-indexing.

aditsu

@ngn I think I checked it last week and it was working

Zacharý

Hey, it's my thing to criticize other people's spelling and grammar.

Pavel

4:00 PM

@Adám Is ⎕io←0 default anywhere?

Adám

@ngn Things did change, Classic lost its ability to ignore the -script switch, but Dennis made necessary changes, I think.

@Pavel Yes, in ngn/apl.

Zacharý

@Pavel Yes, people who migrated from an APL where there was only ⎕IO←0.

aditsu

@Zacharý oh im sory four stepink on yor toeses

Zacharý

I think GNU as well, where it's actually classified as a default.

@aditsu >_<

Adám

@Pavel Also, it is optionally a system-wide setting, so some people don't have to switch to ⎕IO←0. I.e. it can be part of the install, as opposed to the code.

Zacharý

4:03 PM

@Adám In RAD, people can just change one number in the code to make it ⎕IO←0, or ⎕IO←2 even. I don't know if that counts or not.

aditsu

thanks Adám; also, nobody commented on my 2nd question, so I guess the answer is yes

Adám

@Pavel VisualAPL also has ⎕IO←0 as default or only option (not sure which), and APL# had it so as well.

Zacharý

@Adám Can that be considered a "default" when it's the only option?

Pavel

I'd say yes

Adám

@Zacharý Well, ngn/apl has ⎕IO, you just can't change it!

Zacharý

4:07 PM

._.

Adám

@Pavel Oh, SAX (Sharp Apl for *niX) had ⎕io←0 by default too.

Pavel

How many different APL systems are there ._.

I feel like there aren't even this many C compilers

aditsu

on a different note, anybody from Paris?

Adám

@Pavel How many Python systems are there?

quartata

actually a lot

I know at least 8

Pavel

4:11 PM

I know CPython, IronPython, Jython, Cython, and PyPy

Dennis

Stackless, RPython.

dzaima

@Pavel APL has a lot of things people might want out of it. Hence me making my own version so I can add my own features

quartata

@Pavel Cython is still CPython

Pavel

@Dennis Isn't RPython PyPy, or something like that?

quartata

not really

Dennis

4:12 PM

PyPy is written in RPython.

Adám

@Pavel There were historically a lot, as they were all commercial time sharing systems (that's what cloud computing was called before the internet), but their APL implementations were mostly compatible. Today, only three commercial systems remain (IBM APL2, Dyalog APL, and APL+), but have lately been joined by the FOSS implementations NARS, GNU APL, ngn/apl, etc.

Pavel

Ah

.oO(Why are there so many Pythons?)

Dennis

RPython exists so they could write PyPy in it.

Zacharý

RAD isn't really APL, more like (6*DyalogAPL+3*Jelly+K)/10. There exist derivative languages: such as J and K which can't really be classified as APL. They're APLs.

caird coinheringaahing

Which Python is the 'normal' one? CPython?

Dennis

4:15 PM

CPython is the reference implementation.

Pavel

I know of 3 C#s, 2 Javas, only one Perl 5 (unless you count Strawberry and Active as seperate, but they come from the same source code), 2 Rubys...

Adám

@Zacharý Shouldn't it be /9 ;-)

Zacharý

@Adám 6+3+1=10

Adám

@Zacharý Sure, but you're gaining overall functionality by combining features from each, so the total is more than the sum of its parts, no?

Zacharý

Yeah, but it loses some functionality as well. The shape v. depth contrast is lost from APL. The minimalization of the atoms is lost from K. And the extreme golfiness and the esoteric classification is lost from Jelly.

Oh, and it loses speed as well. That was a more major factor than it is now, but still: O(n^2)

AdmBorkBork

4:21 PM

Besides, 9 is one byte shorter than 10

Zacharý

._.

It's not meant to be a golf lang... more so it's meant to be used for golfing, which drives some, but definitely not all, of the design choices.

AdmBorkBork

I'm just joking around. :)

Zacharý

The point still stands. It's sort of in-between APL and Jelly in golfiness. It's designed to be golfier than APL, but nothing like Jelly whatsoever.

caird coinheringaahing

@Zacharý Just curious, what was your aim when developing RAD? AFAICT it's similar enough to APL to just use APL instead

dzaima

@cairdcoinheringaahing RAD = Rankless APL derivative

caird coinheringaahing

4:27 PM

I don't know what rankless means

Zacharý

Mostly, it was my first attempt at an actual language with syntax.

dzaima

@cairdcoinheringaahing there are no multidimensional arrays, only nested (ragged) arrays

caird coinheringaahing

@Zacharý And the APL derivative because it seems easiest of the practical languages to implement, or that you use APL a lot?

Zacharý

@cairdcoinheringaahing It's probably both. It definitely was easy to implement (barring side-effect disasters I still run into). I also have gotten used to programming in APL.

caird coinheringaahing

See, I never know if I should respond to a deleted comment. Like, if I have a follow-up question, is it rude to ask it? The person obviously didn't want the comment there in the first place, so a follow-up may not be appreciated :/

Zacharý

4:39 PM

@cairdcoinheringaahing It's also so I have a slightly-golfier language than APL that I can use for PPCG; it's one that I know every nook and cranny of, since I created it. Some slightly-golfier features are non-needed {}s in some programs.

caird coinheringaahing

@Zacharý You say you know every nook and cranny, but there's almost one command that surprises you when you next use it :P Happens with all my languages :P

Zacharý

I mean: a lot more so than I know APL (especially with dfns), JS (weird type-stuff), D (stuff like lazy void), and Python (So many modules, I just learned of readline yesterday. )

Adám

@cairdcoinheringaahing APL is actually quite a minimalistic language. It has very few built-ins, and a very simple and regular syntax. Each built-in is just very powerful.

quartata

in Charcoal HQ, 4 mins ago, by ArtOfCode

hmmmm

HMMMMMMMM

:thonk:

Pavel

@quartata I don't get it

quartata

4:50 PM

look at the middle row of "customers"

Pavel

:thonking:

quartata

I wonder how that selection process works

Maybe it's just channel activity

in which case I guess it's understandable we'd show up

Zacharý

5:14 PM

I realized that I broke nested ()s (they're fixed now, just waiting for a pull). ((1 2)(3 4)) wasn't working >_<

quartata

5:37 PM

I just decompiled DDLC and it's bugging me so much that there's like 10-20 lines of whitespace in between screen definitions

why couldn't it be just 2

Pavel

Why tho

quartata

it's not like this in any of the other files

look at this shit:

Pavel

Are you trying to mod ddlc

quartata

no I just wanted to learn Ren'Py because it looked cool

actually I probably shouldn't post a snippet here

but suffice to say we're talking a lot of whitespace

Pavel

I don't know if the best way to learn Ren'Py is by decompiling DDLC

quartata

5:39 PM

@Pavel actually it's taught me a lot

went faster than reading the docs would have I suspect

Pavel

Good for you I guess

H.PWiz

@quartata How do you get whitespace from decompiling? I'd have thought that information would have been lost

quartata

@H.PWiz it's not really compiled

more like a funny archive

(not these parts, at least)

Pavel

Ren'Py is, well, Python based

Downgoat

6:08 PM

@ASCII-only do you have any syntax files for charcoal (codemirror, textmate, highlightjs?). Also idk of on Axtell we'd want to use special verbose-mode byte-counting or we'd want to just use an SBCS

flawr

@Riker Just found Djazz (djent + jazz) via rob scallon: reddit.com/r/Djazz

Downgoat

@DJMcMayhem what codepage does V use?

Leaky Nun

6:27 PM

So I defined an inductive type

inductive nested : Type
| nest : list nested → nested

is there an easy computable bijection with N with computable inverse?

H.PWiz

@LeakyNun Is that different from this

Leaky Nun

yes, because my type doesn't have extensionality

H.PWiz

extensionality?

Leaky Nun

so it surjects to HFS

@H.PWiz [[],[]] is different from [[]] in nested

H.PWiz

Ah

Pavel

6:40 PM

@Downgoat Latin-1

H.PWiz

@LeakyNun I'm gonna say they are uncountable

Leaky Nun

I think they are countable

all lists are finite

H.PWiz

Ok, maybe countable then

ngn

6:58 PM

@LeakyNun does this mean lists that can contain only other lists?

Leaky Nun

to give an object of type nested is to give a list of objects of type nested, and every object is formed this way

that's the "mantra" that comes with an inductive type

ngn

how about: enc([])=0, enc([a,b,c])=100...0100...0100...0 (binary) where the stretches of 0s are of lengths enc(a), enc(b), and enc(c) respectively

Leaky Nun

I'm not sure if this is injective

ngn

7:18 PM

@LeakyNun I read this carefully a couple of times and I still can't figure out if it's a yes or a no. My enc() assumes a yes.

Leaky Nun

you really like to point to the wrong message lol

ngn

20 mins ago, by Leaky Nun

to give an object of type nested is to give a list of objects of type nested, and every object is formed this way

this one ^ ?

I did mean to point to it.

Pavel

I can't tell if this discussion is about applied programming or pure math

ngn

@LeakyNun So, any nested structure of lists has a corresponding natural number (0 included) and every natural number has a corresponding list of lists. Why is it not injective, or even bijective?

Leaky Nun

I don't know

ngn

7:24 PM

@Pavel there's no well-defined boundary between them :)

Pavel

TIL Type theory is a thing

quartata

@Pavel you didn't know? :P

We certainly talk about it enough around here

what with Downgoat trying to make a new type checker every 6 months

Pavel

Searching "type theory" doesn't bring up a lot of results actually

quartata

Type theory wasn't really a CS thing per se originally though

New Main Posts

0

Q: Display percent battery remaining

Display the remaining battery charge, as a percentage of maximum charge Remember if you can't run your code on a phone, calculator, etc, you can probably install your environment on a laptop at least. If you absolutely can't run on a device that has a battery, then unfortunately your language ju...

code-golf

flawr

7:32 PM

@quartata don't forget @NathanMerrill

H.PWiz

@ngn I don't understand your encoding, which list is encoded as 1

ngn

@H.PWiz 1 is the separator between lists and it also occurs before the first list; the elements themselves are encoded by the number of zeroes in each stretch

in APL: enc a b c ←→ 1(enc a)1(enc b)1(enc c)/1 0 1 0 1 0

H.PWiz

Okay, but which nested list is encoded as 1? I thought it was meant to be a bijection

nvm. I understand now

ngn

@H.PWiz 1 is a 1 followed by 0 zeroes, so [[]]

ngn

7:53 PM

hm... this could make a nice golfing challenge :)

DJMcMayhem

@Downgoat What Pavel said

You can see the code page with Try it online!

New Main Posts

8:20 PM

0

Q: Calculate power series result

Related: Calculate Power Series Coefficients Given a number X and an max exponent N calculate the result of a power series. Example: Assume 0 ≤ (X + N) ≤ 100 Test Cases 1 2 => 3 2 3 => 15 3 4 => 121 2 19 => 48568 Standard code-golf rules apply

code-golf

HyperNeutrino

I'm pretty sure I've been off of this site for so long that my existence has been forgotten :P

I think all of my chat rooms and languages have died a long time ago xD

H.PWiz

@ngn I agree. I think going from number to list is harder

I've only done it Haskell though. APL might be the other way around, thinking about it

Downgoat

@HyperNeutrino you were gone?

._. you were only gone for a month

Poke

@Downgoat maybe in earth time

we don't know where he has been

ngn

@H.PWiz I made a sample solution in python:

def e(x): # encode: nested list -> natural number
    r = 0
    for y in x: r = (2 * r + 1) * 2**e(y)
    return r
def d(n): # decode: natural number -> nested list
    r = []
    while n:
        m = 0
        while n % 2 == 0: n //= 2; m += 1
        n //= 2; r = [d(m)] + r
    return r

HyperNeutrino

8:32 PM

@Downgoat has it actually only been a month

wat

I mean that's Earth time. Neutrinos operate on a separate timeline.

Downgoat

@Poke I don't know any place within a few thousand parsecs that has decrease gravitational influence to the extent that the time dilation would change HyperNeutrino's perceived time by an extent significantly more than a month O_o

H.PWiz

@ngn Yeah, that's fairly similar to me. If you are going to make a challenge, will it be to implement that specific bijection, or any bijection

quartata

@Downgoat i do

ngn

@H.PWiz I was thinking any, with this one as an example

Downgoat

@quartata pls provide coordinate

Poke

8:34 PM

@Downgoat what if he didn't travel in space, but in time

O.O

HyperNeutrino

@Downgoat it's at Y=246732981042564752094497 at 0/0

Downgoat

@Poke Pretty sure if anyone had a time machine they wouldn't choose to go to 2018

I mean they are so many better years

Poke

well that's rather subjective

HyperNeutrino

2035 is quite nice

can't tell you why though, comrade 267 would probably report me for leaking top-secret information

Poke

maybe he wanted to see the peace agreement between north and south korea

Downgoat

8:37 PM

Poll: How did you do on SAT

Poke

i don't think my score is on that poll

HyperNeutrino

@Poke they fought a very intense war and now it's east and west korea

Poke

@HyperNeutrino classic

though i don't really remember what i got on the sat or act

Downgoat

@Poke if you did it on 2400 scale just multiply by 2/3

HyperNeutrino

pfft american things

i'm probably going to do the sat eventually lmao

Downgoat

8:38 PM

@HyperNeutrino what is canadian equiv of sat

HyperNeutrino

^ nothing i think

Downgoat

:O

HyperNeutrino

we don't have that much of a standardised testing system

ontario has this weird EQAO thing but that's only read/write/math for grade 3/6 and math for grade 9 counting for a whole 20% of your mark

Downgoat

brb moving to canadia

HyperNeutrino

there's also the OSSLT which is basically just "do you know english and do you have enough money to buy enough coffee to stay awake the whole time"

spoiler alert i didn't i just finished it and tried to sleep and then slept for a whole 3 minutes

flawr

8:41 PM

@Downgoat why don't you move to switzerland? there's some great cheeses:)

HyperNeutrino

@flawr hey I'm in switzerland right now lmao

flawr

@HyperNeutrino you are? where?

HyperNeutrino

yep :P am in mu:rren/lauterbrunnen/jungfrau or whichever one is a city/region thing

flawr

oh cool!

how long are you staying there?

Downgoat

@flawr no amazon prime there

flawr

8:43 PM

@Downgoat but amazon composite

Downgoat

what is amazon composite?

flawr

not prime

HyperNeutrino

@flawr just tonight and tmr night, we'll be in bern in time for the national day celebration thing

Downgoat

@flawr :|

HyperNeutrino

@flawr :/ i thought that was an actual thing

flawr

8:44 PM

@Downgoat you have to order froma ll the surrounding countries^^

HyperNeutrino

just live somewhere and then go to literally any other country to buy things

you will become rich

flawr

@HyperNeutrino oh nice:)

HyperNeutrino

switzerland things are like 2x cost or something

flawr

well I would have loved to meet a fellow golfer, but it is a little bit too far away for my current work schedule:/

HyperNeutrino

@flawr hm yeah. that would've been nice but like i am travelling with family so i doubt they'd like me meeting random internet person anyway xd

flawr

8:46 PM

@HyperNeutrino just a friendly slow snek

HyperNeutrino

lmao

flawr

well anway I hope you enjoy your visit:)

HyperNeutrino

thanks :D

flawr

I guess you flew via Zürich?

HyperNeutrino

well we went to germany first

so we were meant to fly toronto -> reykjavik -> munich

but the first flight was delayed by 1/2h so we missed the transfer and got delayed 6h and went reykjavik -> oslo -> munich

and then drove around a lot around germany and austria and then into switzerland

Zacharý

8:55 PM

Can someone fill me in on this conversation? I was trying to comprehend Meredith's single axiom ...

Erik the Outgolfer

@flawr lol what a weird assumption

It would open up some more possibilities if we could assume that \$ x\neq 1\$, then we could use \$ 1 + x + x^2 + \ldots + x^n = \frac{x^{n+1}-1}{x-1}\$, but it is probably too late for that =) — flawr 21 mins ago

flawr

@HyperNeutrino Oh that is quite a nice trip!!! I'm just slightly jealous =P

@EriktheOutgolfer after some amount of a certain kind of math you immediately see this identity and the only thing you're interested in is whether \$ x \neq 1 \$ :)

Zacharý

Never mind, I think I understand what's happening with the conversation.

flawr

@Zacharý doesn't seem to have been on topic for quite a while?

Zacharý

@flawr What hasn't been on-topic for quite a while?

HyperNeutrino

9:01 PM

@flawr ah ok i see :P

flawr

@Zacharý meredith's single axiom

HyperNeutrino

sorry internet died (mountain wifi is 8/10 for effort)

and then got distracted by stars

2

@flawr ah ok i see :P

sorry for double-sending things, internet is bad

@Zacharý TNB

Zacharý

@flawr I know, I just got distracted by it.

flawr

@HyperNeutrino in case you're a juggly/magic/puzzle/gamey kind of person I recommend this store in Bern.

anyway, need to go, have a nice time!

HyperNeutrino

@flawr oooOo nice, thanks! o/

Erik the Outgolfer

9:05 PM

@flawr but it's probably less bytes to do it the fair way lol (at least in some languages)

Zacharý

@flawr Wait ... when was Meredith's axiom on topic?

New Sandboxed Posts

9:24 PM

Sandbox for Proposed Challenges - Programming P…: Answer by ngn for Sandbox for Proposed Challenges

posted on July 30, 2018 by ngn

Bijection: nested lists - natural numbers A nested list is defined as the empty list or a list containing only nested lists. Natural numbers can either include 0 or not, according to your preference. The task is to create a pair of functions or complete programs f and g (they don't have to be named like this or even named at all) that implement a bijection between nested lists and the n…

ASCII-only

10:47 PM

@cairdcoinheringaahing well unless you're messing up really bad it shouldn't be slow. see Charcoal, it's not optimized at all

@Downgoat only sublime rn, and it's super outdated

New Main Posts

-2

Q: Make crazy fractals that look like stuff

Once, I thought of this. Rules: 1: You must make a fractal that looks like the specified thing. 2: One thing per round. 3: Algorithms are rated by two scores: Resemblance and Compactness. The one that gets the highest scores wins! 4: Only I can tell what thing must be made. PM me when a game ...

fractal

Transcript for