The Nineteenth Byte

« first day (2621 days earlier) ← previous day next day → last day (2517 days later) »

H.PWiz

21:00

excellent, thanks!

Dennis

21:11

@Pavel xbindkeys + xdotool

Downsheep

@quartata I forgot what it does but it was stolen from pytek iirc does something with function chaining

quartata

well that's not what it means in pytek

<: is lazy

caird coinheringaahing

I've almost finished the base interpreter for this, anymore feedback, especially regarding the bullet points at the end?

moonheart08

I wonder if a challenge to implement the R16K1S60 would be interesting. Any thoughts?

I plan on trying to golf a R16K1S60 interpreter anyways, so i thought i'd ask

Downsheep

21:27

@quartata @ASCII-only is this what it was supposed to do in VSL too

@Dennis could you change my name back to Downgoat, I am not able to because of the 30-day thing

orlp

@user56656 eh

Now we will focus on φ → (A → A). This can't be the result of introducing any of our axioms (why is left to the reader), so it must once again be a modus ponens.

but (~A -> ~A) -> (A -> A) matches that

setting φ = (~A -> ~A)

and (¬φ → ¬ψ) → (ψ → φ) is an axiom

user56656

Perhaps I should have been more clear. This can be the result of introducing more axioms, but it doesn't help us to do so.

orlp

yes but the difference is MASSIVE

Zacharý

Axiomatic proofs. Yum.

orlp

your proof implies (up to that point) everything is deduced in one step

but it's not

you're leaving out a branch of where you try (~A -> ~A) -> (A -> A) and find it fruitless

Downsheep

21:36

@ASCII-only should unrelated casts be getter or function? e.g. myInt.asString or myInt.toString() or some variant

user56656

@orlp Should I include the full proof? It is much longer if I follow that path.

orlp

@user56656 you at least shouldn't imply that the proof follows logically step by step like you did

user56656

To be clear, I'm not proving anything, I'm just showing my thought process for arriving at the proof.

The end result is still valid. I can show that it is the shortest valid proof, but I just wanted to show an example.

@orlp I've edited the offending sentence.

Anonymous

22:04

@Pavel Not well

Anonymous

@Downsheep a.b should be a property b that the object a has, not a representation of a. If you're casting to a different type, it should be a function/method.

Pavel

22:42

@Dennis Thanks, will read man pages

New Main Posts

23:09

Q: Reserved Javascript

As of ECMAScript 2015, Javascript has 33 reserved keywords, such as break, const and new, as well as 10 future reserved keywords, such as let and await. Your task is to chain together the largest number of consecutive1 distinct reserved keywords2 while writing functional code3. Consecutive r...

Christopher

feedback?

A: Sandbox for Proposed Challenges

Knapsack Problem Given a set of items, each with a weight and a value, determine the number of each item to include in a collection so that the total weight is less than or equal to a given limit and the total value is as large as possible. Wikipedia for more information For example you can be...