The Nineteenth Byte

« first day (5140 days earlier) ← previous day

Dannyu NDos

00:51

@Simd Is the key printing the Japanese Yen sign? Or the Korean Won sign maybe?

New Posts

01:35

Q: Tips for golfing in Maple

Maple is designed for mathematical computation, with a focus on symbolic algebra, calculus, and data visualization. I’m experimenting with code golf in Maple and want to make my scripts as concise as possible. What are some clever techniques for reducing character count in Maple? I’m especially i...

Sandbox Posts

A: Sandbox for Proposed Challenges

Implement Uiua's 'tuples' function In the programming language Uiua, there is a higher-order function called tuples which is a generalization of getting the permutations or combinations of an array. Tuples takes a list \$ a \$, a sample size \$ r \$, and a function \$ f \$ taking two numbers repr...

Simd

02:20

@DannyuNDos sadly nothing so interesting

l4m2

Language idea All existing questions on PPCG and nothing else are builtins. E.g. to add two numbers you need to refer to codegolf.stackexchange.com/questions/84260

lyxal

02:34

Step 1: ask interpret python challenge, step 2: submit python exec answer, step 3: ???, step 4: free bulltin python interpreter :p

l4m2

Looks not quite useful, tools there should be already enough

from idea if there's a lib with every questions there, then I remove the language

3 hours later…

emanresu A

05:19

→ 1 wifi password moved to 192.168.1.1

@l4m2 I've actually had this idea before as a challenge type :p

practically, implementing it has proven ... difficult, because I wanted essentially a way to link code submissions together

Dannyu NDos

@emanresuA Should I flag that post? I don't wanna click on its link, so

emanresu A

The link's just to localhost. It's not spam, just a very confused person

it'll get roomba'd in a few days

Dannyu NDos

I thought localhost was 127.0.0.1?

emanresu A

05:37

192.168.1.* is devices on the local network, roughly. In any case it's not a publicly accessible link

l4m2

05:48

Currently any language is a number meaning "the N-th possible program under some rule", and the rule easily filter so compiling takes reasonable time?

and it needs be good on golfing

3 hours later…

Themoonisacheese

08:20

@TheEmptyStringPhotographer isn't this literally just a worse hashmap?

2 hours later…

mousetail

10:00

CMQ Good names for subsets of integers that are short but not yet taken

Suprisingly there are no "safe numbers" though "safe primes" are a thing

Neil

10:19

unfortunately there's only an infinite number of names so you'll run out pretty quickly

2 hours later…

mousetail

12:40

> Just a few dozen monkeys with a good proof assistant each will produce hunderds of trivial proofs and tautologies. The challenge thus is not to proove as much as possible but to find the intersection between provable and interesting theorums.

> The real mathamatics is not in the proof itself but knowing when to stop, underline the last statement, and write Q.E.D.

lyxal

But can you prove it's time to stop?

mousetail

The entire point of the thought experiment is to prove: only a human can do that

lyxal

I was more going for a never ending proving session :p

mousetail

That's what the monkeys would do without intervention

lyxal

As would a human getting stuck on showing it's time to stop the proof, and then delving into a recursive proof chain of "it's time to stop proof x-1 proved by proof x"

mousetail

12:48

It's the same with Shakesphere, an infinite number of monkeys could write Shakeshere but it would still require someone to say: "Hey, this is Shakesphere". Else it would just get burried under the nonsense and be no use to anybody

lyxal

it's like that library that has every book ever written

mousetail

The human specifically is unable to follow any kind of algorithm to determine when to stop the proof, because as you say such an algorithm would be self-contradicary.

This is all from this paper btw: webusers.imj-prg.fr/~michael.harris/androids.pdf

4 hours later…

The Empty String Photographer

16:32

@Neil What is the ranking of the last name? Omega? Omega squared?

@mousetail 唉 numbers

Ginger

@TheEmptyStringPhotographer please stop requesting access to the bakery. only room owners have access to it, and requesting access pings all of them unnecessarily.

2 hours later…