The Nineteenth Byte

I.e., three lasers where the first one was active initially. When you block that laser, the second one activates. Block the second and the third activates. Block the third and the first activates.

@CᴏɴᴏʀO'Bʀɪᴇɴ It's more in the sense that if you host anything like a public web page on C9, it won't stay up indefinitely.

zʏᴀʙiɴ101

@CᴏɴᴏʀO'Bʀɪᴇɴ They are after they hibernate, but the next run of the IDE into a hibernated workspace will take a longer time.

Cᴏɴᴏʀ O'Bʀɪᴇɴ

oic

Helka Homba

@EᴀsᴛᴇʀʟʏIʀᴋ codegolf.stackexchange.com/questions/84851/run-stackylogic btw

El'endia Starman

7:05 PM

@CᴏɴᴏʀO'Bʀɪᴇɴ Ah yes, the ' thing. I see that relatively often too. :P

Cᴏɴᴏʀ O'Bʀɪᴇɴ

Oh, right! XD

zʏᴀʙiɴ101

That is used to wake the workspace up again, showing a nag screen.

Eᴀsᴛᴇʀʟʏ Iʀᴋ

@HelkaHomba yeah, saw that.

Helka Homba

k

zʏᴀʙiɴ101

That suggests you to upgrade to have workspaces working anytime.

Eᴀsᴛᴇʀʟʏ Iʀᴋ

7:06 PM

have 5 rep

Nathan Merrill

hey, aren't the rules of logic fundamental?

Cᴏɴᴏʀ O'Bʀɪᴇɴ

Bob or not bob?

Nathan Merrill

aka, is it possible to make a different set of rules of logic?

Eᴀsᴛᴇʀʟʏ Iʀᴋ

yes

zʏᴀʙiɴ101

But aside that, you have a small amount of memory and disk space that you are free to use.

Including runners for many main stream langs.

Nathan Merrill

7:07 PM

I mean, we could make a different equality table, but that's really just different names for things

Helka Homba

@NathanMerrill What do you mean?

Nathan Merrill

well, for example, in math, we make certain assumptions about the Cartesian plane

zʏᴀʙiɴ101

Interesting fact: My Stack Exchange profile hides communities that I have 101 rep and no rep changes on.

FryAmTheEggman

@NathanMerrill The logic system we use is just one of many potential formal systems, each of which can prove different things, however they all have the same limitations from the incompleteness results.

Helka Homba

@CᴏɴᴏʀO'Bʀɪᴇɴ To Bob or not to Bob...

zʏᴀʙiɴ101

7:09 PM

Currently I have 4 communities hidden.

Nathan Merrill

@FryAmTheEggman what's a different formal system?

FryAmTheEggman

List of formal systems

This is a list of formal systems, also known as logical calculi. == Mathematical == Domain relational calculus, a calculus for the relational data model Functional calculus, a way to apply various types of functions to operators Join calculus, a theoretical model for distributed programming Lambda calculus, a formulation of the theory of reflexive functions that has deep connections to computational theory Matrix calculus, a specialized notation for multivariable calculus over spaces of matrices Modal μ-calculus, a common temporal logic used by formal verification methods such as model checking...

zʏᴀʙiɴ101

I was just bobby trapped by Straw Polls Featured Polls asking me to choose a Pokemon GO starter.

Geobits

Hopefully you answered correctly: Squirtle.

zʏᴀʙiɴ101

I did play Pokemon previously, so the I don't play Pokemon... choice doesn't make sense for me.

Helka Homba

7:12 PM

@Geobits You mean Charmander, surely?

Nathan Merrill

@FryAmTheEggman that's way above my understanding. What does A -> (B -> A) mean

FryAmTheEggman

I feel like I'm the only person I've met who picked bulbasaur :[

Geobits

@HelkaHomba Pfft, lil flametail? Nah, he gets sick if he even gets wet.

FryAmTheEggman

Err, ok lemme try to find a simple one, maybe that will help. FYI a really good book that mentions this kind of stuff is en.wikipedia.org/wiki/G%C3%B6del,_Escher,_Bach

Helka Homba

@Geobits You can't even hug a squirtle. It'd be like hugging a mailbox.

Nathan Merrill

7:14 PM

oooh

Sherlock9

@El'endiaStarman What's c9?

Nathan Merrill

@FryAmTheEggman does it mean that if A is true, that A is true no matter what B is?

Geobits

@HelkaHomba I don't usually hug things when they're on fire, either. Having charmander around is a guaranteed way to never be allowed home insurance.

FryAmTheEggman

Ah, this question is about a very underdeveloped system involving only a few operations.

zʏᴀʙiɴ101

What to do: choose I don't play Pokemon... and waste my only vote on this poll, but get out the bobby trap and be able to ask/answer polls again.

Geobits

7:15 PM

You don't have to answer it at all...

zʏᴀʙiɴ101

Good, so I'll have to wait until a featured poll that is good to answer for me.

Business Cat

Squirtle is the best, end of story.

Geobits

Thank you. Someone with some sense :D

Business Cat

How could you not hug him?

He's the most huggable

zʏᴀʙiɴ101

I'd choose Bulbasaur if I played PkMn GO, but I don't.

Eᴀsᴛᴇʀʟʏ Iʀᴋ

7:17 PM

@BusinessCat meow

i am more huggable than any pokemon

Geobits

I doubt that. Cats have always seemed to hate hugs in my experience.

Cᴏɴᴏʀ O'Bʀɪᴇɴ

3 v 3

Helka Homba

@Geobits It's no more dangerous than a large candle. And barbecuing things would be a cinch.

Geobits

@HelkaHomba A large candle that moves around on its own? Yes, that sounds safe >_>

It wouldn't be so bad if he could control it more. But no, if his tail goes out he dies.

How sad is that?

Business Cat

Very sad

FryAmTheEggman

7:20 PM

@NathanMerrill Do you mean the -> thing? Where did you get it from? In normal logic the -> means "implies" so that would mean A is true only if ( B is true only if A is true ) which is always true

Eᴀsᴛᴇʀʟʏ Iʀᴋ

@El'endiaStarman @NathanMerrill @DrGreenEggsandIronMan and @quartata: Portal 2 finished.

@HelkaHomba need 2 more gold and 1 more silver. :P

Cᴏɴᴏʀ O'Bʀɪᴇɴ

17 mins ago, by Cᴏɴᴏʀ O'Bʀɪᴇɴ

Bob or not bob?

it's a tie :/

Eᴀsᴛᴇʀʟʏ Iʀᴋ

SOMEBODY VOTE YES PLEASE

NOOOOOO

NOOOO

pls bob

@CᴏɴᴏʀO'Bʀɪᴇɴ ɪ ᴄᴏᴍᴍᴀɴᴅ ᴛʜᴇᴇ ɪɴ ᴛʜᴇ ɴᴀᴍᴇ ᴏғ sᴍᴀʟʟ ᴄᴀᴘs, ɴᴀᴍᴇ ɪᴛ ʙᴏʙ

Cᴏɴᴏʀ O'Bʀɪᴇɴ

@EᴀsᴛᴇʀʟʏIʀᴋ ɴᴏ

Sherlock9

@EᴀsᴛᴇʀʟʏIʀᴋ How does small caps?

Eᴀsᴛᴇʀʟʏ Iʀᴋ

7:26 PM

github.com/RikerW/Keyboard-Layouts

Nathan Merrill

@FryAmTheEggman right.

that's what I was saying in human english

Cᴏɴᴏʀ O'Bʀɪᴇɴ

I am going to generate a random dictionary word.

Nathan Merrill

:)

Cᴏɴᴏʀ O'Bʀɪᴇɴ

"segment" ._.

Sherlock9

@EᴀsᴛᴇʀʟʏIʀᴋ OS X only ;_;

Eᴀsᴛᴇʀʟʏ Iʀᴋ

7:27 PM

ik

Cᴏɴᴏʀ O'Bʀɪᴇɴ

are you on windows?

Eᴀsᴛᴇʀʟʏ Iʀᴋ

but @CᴏɴᴏʀO'Bʀɪᴇɴ has a windows one i think

Cᴏɴᴏʀ O'Bʀɪᴇɴ

yes I do

orlp

twitch.tv/gamesdonequick

SUPER

MARIO

WORLD

FryAmTheEggman

@NathanMerrill Alright, then I think I'm confused about what you are asking :P

@orlp can't that be speedrun in a couple minutes because of the register bug?

Nathan Merrill

7:29 PM

@FryAmTheEggman I was initially asking what it meant, but I figured it out (I think)

TùxCräftîñg

@CᴏɴᴏʀO'Bʀɪᴇɴ you should name it Bob

5/4

FryAmTheEggman

Ah, OK, that's good then :P

Helka Homba

An almost-Rubik's cube in Minecraft :D

Redstone Bric-a-brac: Rubik's Room {3}

►

(Though the better video qualities are still processing :/)

mınxomaτ

Thumbnail looks like a cornell box

TùxCräftîñg

no subtitles and with my bad english i dont understand anything :/

FryAmTheEggman

7:33 PM

@NathanMerrill If you want to read more I found the wiki article: en.wikipedia.org/wiki/Material_conditional

zʏᴀʙiɴ101

@TùxCräftîñg @HelkaHomba should speak French to do French sub titles :|

But he can do English sub titles and let Google Translate do the rest.

TùxCräftîñg

no i ~understand english but not oral english

New Main Posts

2

Q: The Camouflage Color Changing Chameleon Challenge

Chameleon challenges are a bad thing, apparently. Too bad, chameleons are beautiful creatures. Time for a change! As we all know, many chameleons posses a remarkable ability to blend in with their surroundings by changing the color of their skin. Which is also the objective of this challenge. ...

zʏᴀʙiɴ101

However, I don't think if Helka talks heavily in his videos, at least moderately.

Helka Homba

I talk a lot in them but at least for the tutorials you can follow along visually

Cᴏɴᴏʀ O'Bʀɪᴇɴ

7:36 PM

@EᴀsᴛᴇʀʟʏIʀᴋ please pull

zʏᴀʙiɴ101

Good, you can do sub titles for some of the videos where you talk a lot.

@CᴏɴᴏʀO'Bʀɪᴇɴ search I don't see something to pull. What exactly do you want to pull?

Cᴏɴᴏʀ O'Bʀɪᴇɴ

@zʏᴀʙiɴ101 dude. I'm not asking you to pull anything.

zʏᴀʙiɴ101

But what do you want Riker to pull?

Nathan Merrill

another language design question: variables/parameters can be defined as "readonly", which defines that you can only call the "read" functions. Should "readonly" be added by default for parameters on non-pure functions?

zʏᴀʙiɴ101

(Easterly Irk = Riker, you get it?)

Nathan Merrill

7:38 PM

if that was too terse, sorry

Cᴏɴᴏʀ O'Bʀɪᴇɴ

@zʏᴀʙiɴ101 (a) none of your business. (b) yes, I do know his name.

TùxCräftîñg

like const parameters in C/C++ ?

Nathan Merrill

aka, if you pass a list to a function, the function isn't allowed to call list.add() unless you add "write" to the parameter

not sure how const works in C++

TùxCräftîñg

consts pointers disallow setting the value under the pointer

Nathan Merrill

yeah, this is a bit different

def magicFunc(list:List){
    list.add(1)
}

aka, the above is invalid

def magicFunc(list: List@write){
    list.add(1)
}

but that is valid

FryAmTheEggman

7:43 PM

I think the problem with doing that is if having a copy of the value simplifies your code, but you don't want to overwrite the value that was passed, you have to copy it out in the function. It seems like it would be kind of a gotcha?

Martin Ender

@HelkaHomba I just saw "The Camouflage Color Changing Chameleon Challenge" in my inbox and was seriously surprised that it isn't one of yours ;)

Nathan Merrill

@FryAmTheEggman you'd have to copy it anyways, right?

Lynn

What’s a ridiculously small URL shortener?

TùxCräftîñg

so more like immutable bindings in Rust

Cᴏɴᴏʀ O'Bʀɪᴇɴ

@Lynn bit.ly, v.tk

Lynn

7:44 PM

I know some people here know a couple.

FryAmTheEggman

@xnor I also considered mentioning that while it was in the sandbox, but I was sort of worried it might be a dupe of the "do something and also mean" challenges.

Re: the chameleon challenge is a chameleon challenge ;)

Lynn

v.tk redirects me to a bunch of spam sites?

Cᴏɴᴏʀ O'Bʀɪᴇɴ

really? :/

TùxCräftîñg

CONGRATULATION: YOU ARE THE LUCKY VISITOR :D

.___.

Cᴏɴᴏʀ O'Bʀɪᴇɴ

oops

wrong site I guess

flawr

7:46 PM

@TùxCräftîñg You do not feel lucky?

Downgoat

> CONGRATULATION

Martin Ender

@Adnan I think I'm done... if you beat my Retina answer now, I'm pretty sure I won't be able to shave off any further bytes.

flawr

You just got $1000000 and you only have to pay $3000 for the transaction, that means you still get to keep $997000!!

New Sandboxed Posts

0

A: Sandbox for Proposed Challenges

code-golf string Golf a String Everybody loves golfing code. Code is written in English (eh...). Therefore, everybody loves golfing English! Your task is to write a program or function that takes a string as input, and then returns or prints the golfed version. This is how you golf a string: ...