The Nineteenth Byte

New Posts

00:19

0

Q: Why do I feel like Code Golf is ruining the point of python?

Da Zen of Python Sparse is better than dense. Readability counts. ... If the implementation is hard to explain, it's a bad idea. If the implementation is easy to explain, it may be a good idea. As the Zen of Python, Python is meant to be readable and easy to understand, but many of the python co...

discussion

Bbrk24

00:32

> the problem might go away if you spray enough @inlinable on it.

thanks Swift

New Posts

00:51

0

Q: What’s the point of voting to close for “Needs details or clarity” without telling the author what detail or clarity it needs?

Posting in question Apparently 4 people have voted to close this, but not one of them thought to leave a comment. Let’s say it gets another vote and gets closed. What do you expect the author to do? Take a guess at what detail you thought was missing and resubmit? What about the already submitted...

discussion close-reasons

OldSandboxPosts

Sandbox posts last active a week ago: Alternating sublists, Reversed squares

Razetime

02:27

anyone up for a new LoTM?

better late than never

caird coinheringaahin g

03:15

@NewPosts "Why doesn't this site about making code as short as possible at the expense of everything else conform to a Python style guide?"

Razetime

@cairdcoinheringaahing funny people

The Thonnu

05:31

Oh no

Biggest reversal I've ever had on the network

Unrelated String

wow

emanresu A

06:29

Huh I wasn't impacted by that at all

Unrelated String

same

i suspect it was targeted voting :P

(note that it wasn't a user deletion or anything)

emanresu A

Oops, misread that

The Thonnu

Yeah it was on a lot of my Thunno 2 answers

lyxal

07:03

For once I don't think that was me :p

emanresu A

09:16

→ 3 messages moved to The Nineteenth Bakery

Please don't post noise

PlaceReporter99

@emanresuA ITS NOT NOISE

it's just a big image

emanresu A

Still noise that serves no purpose and conveys no useful information.

Adám

Is silence a form of noise? It serves no purpose and conveys no useful information.

noodle man

11:36

i have zoom school today because of the air quality lmao

@TheThonnu i do upvote a lot of those but pretty sure it wasn't me lol

Bbrk24

12:44

@noodleman That’s weird, it’s not as bad here as it was a couple days ago

pxeger

13:02

@Adám Yes, and an infinite amount of silence is constantly being moved from here to the bakery - you just can't tell

4

mousetail

→ 3 hours of silence moved to The Nineteenth Bakery

2

lyxal

→ 45 minutes of silence actually moved to The Nineteenth Bakery

8

mousetail

That system message is too easy to copy and make look real

Adám

@lyxal I think ROs shouldn't make prank messages like that.

lyxal

that's half the reason I did it :p

user

13:19

@Adám It's harmlesss

PlaceReporter99

@Adám it conveys the information that no other information is being sent.

mousetail

@PlaceReporter99 You can be silent while others are talking though, in that case are you lying?

PlaceReporter99

@mousetail I shall make a correction then:

@Adám It conveys the information that no other information is being sent from you.

@mousetail happy now?

user

Whoever just starred all three of those messages, please unstar at least two of them

No need for all three to be starred

mousetail

First one is the best IMHO

A rickroll is nor worth staring

3

Especially a super obvious one

PlaceReporter99

13:32

@mousetail but it has two stars

mousetail

The other one has 2 too

Since we need to unstar one of them I propose we keep the first one

lyxal

@mousetail that's half the joke :p

mousetail

A lame joke IMHO

lyxal

it's tradition (tm)

mousetail

And it's a good tradition but not every single instance needs to be saved for posterity

lyxal

13:35

this is the only instance that's been starred for a long time

mousetail

They disproportionally get starred I feel, but I don't have hard data. Maybe you are right

user

@lyxal You're an RO, you can just unstar everything except pxeger's message

The infinite amount message was the first one to be starred

lyxal

@user I think the infinite message and one of the fake messages should be kept

user

The fake messages just build on the infinite silence thing

They're right after it, so if you click on the first message, you'll see the other two too

lyxal

@user but they're different jokes

related, yes, but different content

user

13:40

Yeah but there's been plenty of conversations in the past where people make tons of differnet jokes in quick succession and only one of them gets starred

Are you okay PlaceReporter

lyxal

@user as has been plenty of conversations where similar jokes that are starred

mousetail

It never works though, they get into the starboard out of order

lyxal

→ 3 cheeky monkeys moved to The Nineteenth Bakery

user

Oh well, I guess another RO can decide

In the meantime, there's the single-star message about rickrolls by mousetail that can be cleared

PlaceReporter99

@user it’s useful

lyxal

14:00

Whomstever decided to go in a star spam spree: don't star spam. It is a silly and a danger. It creates starboard clutter that people don't need to see

Seggan

@lyxal fortunately an ad played

Restore the Data Dumps

@mousetail: Hi, I just signed the strike, am a former employee (Jason Punyon), and would like to be marked as such.

mousetail

@RestoretheDataDumps Sure

Restore the Data Dumps

Thanks!

noodle man

15:06

@Bbrk24 the air quality isn't that bad anymore, but for some reason the department of education decided that we had to go remote today

mousetail

80

A: June 2023 Data Dump is missing

DISCLAIMER: I was recently impacted by the Company's layoff. I am going to carefully respond in a way that ensures I don't reveal anything the Company may feel is confidential--particularly with regard to strategy, or future plans. Any knowledge I have on strategy or future plans is both dated a...

Bbrk24

16:05

I just noticed I now have more rep on PLDI than any other individual SE site (though CGCC + SO combined still passes it)

Bbrk24

17:05

Wait, meta SE has its own chat site that isn't chat.stackexchange.com?

mousetail

It has a different notification sound too

hyper-neutrino

17:32

yep, SO has its own chat server too

I think all others including the not .SE domains like AU, MO, etc. are on the main chat server

Rydwolf Programs

Math used to right

hyper-neutrino

17:53

yes, and I think it might actually still technically exist

Sandbox Posts

18:25

0

A: Sandbox for Proposed Challenges

Last odd digit of power of 2 code-golfmathsequence Task Given \$n\$, output position of the last odd digit in the decimal representation of \$2^n\$ (counting from the end). Rules There are no odd digits for \$n=1,2,3,6,11\$ \$(2, 4, 8, 64, 2048)\$ - you may output anything that is not a positive...

caird coinheringaahin g

19:02

@hyper-neutrino Kind of

You can still, through a bug in chat, create a different chat server for a site

Bbrk24

@cairdcoinheringaahing did you remove the second word from your username or is chat doing chat things again

caird coinheringaahin g

No, I'm still "caird coinheringaahin g"

Bbrk24

I just see "caird ♦" next to your pfp

Rydwolf Programs

Yeah it abbreviates names too long to fit

Bbrk24

though the inspector shows " ♦caird coinheringaahin g"

Rydwolf Programs

19:06

That's why hyper's now hyper-neutrino instead of HyperNeutrino, since in all of its brilliance chat would shorten HyperNeutrino to nothing on small resolution displays

caird coinheringaahin g

14

A: What kind of unusual chatroom is this? It does not freeze

It looks like somehow, the room isn't hosted on Mathematics.SE, but rather chat.Math.SE. If you go to the "all rooms" button on that room, it takes you to https://chat.stackexchange.com/?tab=site&host=chat.math.stackexchange.com. To contrast, the same button in the main Math.SE room links to http...

Bbrk24

It finally froze in 2021 :(

Also I do see your full username in that taller layout

@RydwolfPrograms incredible

caird coinheringaahin g

They must have finally merged the chat servers, as that room is now on chat.SE not chat.math.se

Bbrk24

If I read the transcript on my phone it wraps after like 2-3 characters which looks ridiculous

...or at least it used to? It's not now

ah it is after a refresh

My username is split as "B / br / k24"; Seggan is "Se / gg / an"; mousetail is "mou / setai / l". Somehow Rydwolf is "Rydwolf / Programs" which is actually correct

Rydwolf Programs

Well the diff is mine has a space

So it wraps in a sensible way

Bbrk24

19:13

Sure but I get wrapped after one letter

Your name takes up less total space than mine somehow

Oh it gets better

user is " / / user" with two lines of blank space

How do you mess that up

Wait, @user Do you not have a CGCC account? Your SO one doesn't show you having any accounts on any other SE sites

Rydwolf Programs

They probably hid all of their accounts

You can hide accounts so they don't show on the list

Bbrk24

TIL

but his chat bio says to look at his CGCC account, and if I can't see it...

Rydwolf Programs

Just search his username on CGC-oh wait

user

19:30

@Bbrk24 Whoops, I set my parent account to SO to get my profile picture to update a couple days ago, should be back to CGCC now

I'm fairly sure I have the same profile on all sites, though

Bbrk24

You know that if you "update" the parent user to the same thing it already is that still updates your chat pfp

user

Oh

Thanks, I love chat's quirks

I used to think chat was glitchy on mobile when I had an iPhone but now that i have an Android, it's even worse somehow

On an iPhone, you couldn't see the input box until you tapped on it or something, but on Android, even if you minimize your keyboard you just get a big blank rectangle for a couple seconds until the text you typed appears

You can't zoom, and clicking on the reply arrows at the left of a message is next to impossible with fat fingers

Bbrk24

I have the reply arrow problem on iOS too

Sandbox Posts

0

A: Sandbox for Proposed Challenges

Finitely generated subgroups of free groups code-golf mathematics abstract-algebra decision-problem Suppose you are given the free group \$F_n\$ on \$n\$ generators, a finite subset \$S\$ of \$F_n\$, and an element \$x \in F_n\$. Then there is an algorithm to determine whether \$x\$ is in the su...

Bbrk24

19:50

...it might be possible to build a string and pipe it to swift and have any failures be compiler bugs. Someone has already invented type-level group theory in Swift

And they did embed an undecidable problem in the type system that way

Actually they didn't come up with a way to invert an operation so maybe not

noodle man

20:17

imagine having a non-turing complete type system

Bbrk24

Swift's type system is TC in multiple ways. Someone implemented a tag system at the type level -- actually, I think it was the same person

noodle man

oh well i guess google is terrible at giving accurate results to obscure programming problems

Bbrk24

forums.swift.org/t/…

noodle man

has anyone tried golfing in swifts type system?

Bbrk24

I did but it was a really boring one

noodle man

20:20

what was it?

Bbrk24

struct A{enum T{typealias T=A}}
x=A.T()

noodle man

oh right i saw that

Bbrk24

Only compiles with an even number of .Ts

noodle man

typescripts type system is almost as useful as a praclang

Bbrk24

I've written string processing golfs in TS types

noodle man

20:23

yeah that’s the thing it’s best at

you can do math stuff but you have to do it in unary

Bbrk24

You can do it with tuple lengths

noodle man

of course, decimal to unary is pretty trivial but ye

@Bbrk24 i mean the intermediary steps have to be in unary though

Bbrk24

ah

true

noodle man

have you seen HOTScript?

github.com/gvergnaud/hotscript

Bbrk24

Beautiful

noodle man

20:28

yeah i love it but it also hurts my soul

Bbrk24

Have you seen the compiler — idr whether it was a plug-in or a fork, but it let you run arbitrary bash scripts at typecheck time

Unrelated String

lmao what

amazing

Dannyu NDos

22:33

I've seen some golfs done on AMD64 machine codes, but has there been AArch64?

Bbrk24

Let me search that for you

woah my entire screen just went black for a second

Seggan

22:52

were you closing vscode by any chance?

Bbrk24

no, I closed a chrome tab

Seggan

23:03

my computer does that when closing vscode

noodle man

@Bbrk24 that happened on my old laptop, except instead of turning black it would go rainbow static

Dannyu NDos

23:38

And we don't have anything for IA-64, aka Intel Itanium. How pitiful.

Transcript for