« first day (2515 days earlier)      last day (2332 days later) » 

6:00 PM
well then it would still be 9 chars :p
 
because ({({}|<>|| All of the monads are uniquely decodable
@EriktheOutgolfer Better than 12 :P
 
so the goal here isn't to infer things (like (()[)} -> {(()[])}) but just to transliterate to a more efficiently encoded thing? :P
 
and then there's the solution with 3 chars
 
I guess? TBH, I'm not sure what the goal is
 
(    -> (
)    -> )
-(   -> [
-)   -> ]
--(  -> {
--)  -> }
---( -> <
---) -> >
or even 2 chars
if the goal is to get the least chars possible
 
6:02 PM
1's and 0's?
 
like | -| --| ---| ----| -----| ------| -------| -> ( ) [ ] { } < >
and you can even do it with 1 char, like the Unary language
 
000 → (
001 → [
010 → {
011 → <
100 → )
101 → ]
110 → }
111 → >
 
@HyperNeutrino OK, but that brings a problem: How would you encode... idk for example (((?
Because you can't save 9 bits to your hard drive.
 
I don't think that's a problem
padding will solve it
 
6:05 PM
then you'd need to pad, but all bit configurations are already taken
anyway gtg o/
 
@EriktheOutgolfer But what would you pad it with?
 
@DJMcMayhem trailing opening brackets
 
see ya @HyperNeutrino
 
Hmmm
I guess that's fair
We don't necessarily need to correctly encode invalid code
 
and if you are left with a chunk of less than 3 bits at the end, just throw it away
 
6:07 PM
Or you could just use base 255 and enumerate all valid catalan numbers
(valid brain-flak programs)
 
@Riker I'm beating you in hats :P
 
Enumerating brain-flak sounds hard
 
@DJMcMayhem wp. I hate you now :P
And now I will get no up votes as usual lol
 
Hehe
 
@cairdcoinheringaahing not network though?
ah, yep network
I'm still working on a challenge to post on ppcg
 
6:15 PM
oh god the hats are all over the place
i hate hats?
NOO it still displays the hats. i'm mad
 
@HyperNeutrino Why do you hate hats?
 
@HyperNeutrino You really hate hats that much? :P <----
 
@HyperNeutrino simple button click ;)
 
I don't :P It's just that the hats are so intrusive because none of your profile pictures are loading so they're at max size :P
 
I love Winter Bash :P It's so fun :D
 
6:17 PM
@cairdcoinheringaahing How the hell did you overtake me that badly during a single day?!?! I must do something about that
 
Rep capping helps :P
 
I have the repcap hat too :/
Oh I forgot to post my challenges for Hero of time
 
I got Just Jesting, I'll Handle It, Taco Tuesday and Rep Cap today :P
 
I need I'll handle it :/
And... I should go get that electorate badge
 
Using all 40 votes in one day stops you from doing first post and late answer reviews, so I'm doing my voting at about 23:00 :P
 
6:22 PM
Hehe, currently beats Pyth. \o/
/facepalm
 
1
Q: Parse the Parcel

FlipTackThanks to your help in the Mark My Mail challenge, PPCG-Post has successfully stamped all of its parcels with the generated barcodes! Now, it's time to decode them. In this challenge your program will, given a barcode generated from the Mark My Mail challenge, decode it and return the encoded i...

 
6:42 PM
0
Q: Google's Hopping Bunny

El'endia StarmanOn December 4, 2017, the Google Doodle was a graphical programming game featuring a bunny. The later levels were nicely non-trivial and they seemed like a great candidate for an atomic-golf challenge. Details Game There are four available moves: hop forward, turn left, turn right, and loop. E...

 
^ There you go, @user202729 @EriktheOutgolfer.
 
saw that already :p
 
7:13 PM
@EriktheOutgolfer you could use #coding:L1 instead though
then with 3 lambdas it's shorter to do that
 
1
Q: Communistic Substring Normalization

Riker If a string T of length K appears K or more times in a string S, then it is potentially communistic. For example, 10 in 10/10 is potentially communistic, for it appears 2 times and is of length 2. Note that these substrings cannot overlap. A communistic transformation is one that takes this st...

 
Anonymous
7:29 PM
@Riker ISO-8859-1 doesn't contain the Greek lambda char
 
0
Q: What is the simplest reversible circuit that computes conjugacy of transpositions

Joseph Van NameLet T5 be the set of all transpositions on the set {1,2,3,4,5}. Let * be the operation on T5 defined by x*y=xyx^(-1) (here concatenation denotes the group operation). In other words, the underlying set of T5 consists of all 10 pairs (a,b) of distinct numbers from {1,2,3,4,5} and where (a,b)=(b,a)...

 
@Mego oh, whoops
TIL though
 
Anonymous
8859-7 and cp1253 are the only ASCII-compatible code pages that I'm aware of that contain Greek letters. cp875 is close, but it's EBCDIC, so the ASCII ordinals don't match up.
 
yay I have hats at last
 
7:47 PM
my rep is at a nice round 8,300
it's probably satsifying me far too much
 
8300 isn't nice because 8 isn't a square :P
 
someone give me a 700 rep bounty and then it will be :)
 
@Neil It is a cube though
 
8:10 PM
I'd say it's nice as the 3 and the 8 could stand for cuberoot(8) which is 2, represented by the 2 zeroes
 
illuminati confirmed
 
@DJMcMayhem that doesn't make it a pleasing number though
 
Anonymous
FlipTack numbers: numbers of the form abx, where x is a number repeated a number of times equal to the bth root of a (a must be a perfect bth number (square, cube, etc.)).
 
Anonymous
8:27 PM
Oh wait that's exactly the definition of a pleasing number
 
Anonymous
Well, close
 
Anonymous
I'll make the challenge :P
 
npm is the bane of my existence
 
@Mego needs to be on OEIS :P
 
0
A: Sandbox for Proposed Challenges

Joseph Van NameI originally asked this question, but it was closed under "unclear what you are asking." TITLE: What is the simplest reversible circuit that computes conjugacy of transpositions? Reversible computation refers to computation in which little or no information is deleted. Reversible computation a...

 
8:43 PM
also, that's the first MO HNQ I've seen
 
@El'endiaStarman Word embeddings are semantic vectors. The numbers represent the meaning in context, which allows you to compare e.g. different sets of association. A thorough introduction is here: blog.conceptnet.io/2016/05/25/…
 
@Riker You must be new to MO. I have a math degree and could probably understand about 5% of the questions/answers.
 
@El'endiaStarman I have no maths degree and my limit right now is my calculus homework :p
 
@Riker The concepts of calculus are really cool. The homework, less so.
 
@El'endiaStarman I'm just starting integration now so it's not that bad
 
8:48 PM
I really did not like calculus
I'm very glad I am done with it
 
you can't deny precalc is worse
precalc is when they decide you haven't done enough long multiplication
and give you more but this time you get 'x's
 
@Riker Let me know when you get to differential equations so I can give you a shoulder to cry on.
 
@El'endiaStarman I've covered most derivative stuff so far, not sure what those are
did implicit diff already
 
@El'endiaStarman Differential equations was my favorite part of calculus. But that's not saying much.
 
@Riker A differential equation typically refers to an equation where (the derivative of some variable) = (an expression with that variable). They're typically very messy to solve symbolically.
 
8:52 PM
both explanations make 1/2 sense so I'm pretty certain what you mean
@El'endiaStarman well I thought I couldn't get messier than the antiderivative log rule thingy
 
For example f(x)=f'(x) is a really simple differential equation.
 
For example, d/dt T = -k * (T - T_environment) is one way to formulate Newton's Law of Cooling. In English, the temperature of something changes at a rate proportional to the difference between it and its surroundings.
 
@Christopher2EZ4RTZ Bug is fixed. Everything works now: Try it online!
 
@WheatWizard not that one
hold on 1 sec
 
@StevenH. New tag proposal: :-) - Officially, my favourite things on PPCG are Pyth duels. So glad some other people are still interested about It :D
 
8:55 PM
this one
not sure what its called
 
Hey y'all, I've got a question regarding Excel and Excel VBA - Do you think that shortening Cell addresses to single letter names like this is valid?
 
@Riker Not sure either, but I'd just call it the reverse of the power rule. With a special case.
 
@Riker I would call it the power rule.
 
Anonymous
@El'endiaStarman Been there, done that :P
 
@WheatWizard is there really no simpler way for the reverse of the power rule? huh
 
8:57 PM
Well its pretty simple actually. Almost all of the time you are going to be using the top half
the bottom half is a special case because the top would require you to divide by zero
 
@WheatWizard I don't see how that follows from the power rule though
(the bottom half)
 
The bottom half doesn't follow from the power rule
its unrelated
 
where does that come from then?
 
A train fell onto the highway near where I live just now.
 
the fact that the derivative of log is 1/x
 
Anonymous
9:00 PM
Simpler example of a diff eq: m*((d^2 x)/dt^2) = -k*x (simple harmonic motion)
 
@Pavel that's not good
 
Anonymous
@WheatWizard For real x :P
 
@WheatWizard TIL
 
@Mego for positive real x
 
guess that makes sense though
 
9:01 PM
Look at it this way. When you differentiate x^n and look at the exponents, they follow this pattern: 3 -> 2, 2 -> 1, 1 -> 0, 0 -> 0, 0.5 -> -0.5, -1 -> -2, -2 -> -3, etc. There's no integer n for which the derivative of x^n is some multiple of x^(-1). That's where the special case of d/dx ln(x) = 1/x = x^(-1) comes in.
 
@Riker I don't think it's a very good idea to put the two things together, if I were you I'd try to think of them separately. If reversing the power rule fails to yeild an answer then try the second one.
 
I also have a question regarding integration (I am very, very, very new to calculus since we study this in maths in 3 years from now): If a function is not continuous between points a and b, can one apply a definite integral from a to b with that function?
 
@Mr.Xcoder yes
 
Ugh really? Thanks
 
9:03 PM
A function can be integrated if it is "integrable", all continuous functions are integrable, but not all integrable functions are continuous
 
You can even do it if the function has a hole in it where a value is undefined so long as filling in that hole with a single value will make the function continuous (another way of saying that the left- and right-sided limits exist and are equal).
 
Good to know
 
an example would be:
Which is discontinuous at x=0, but can still be integrated.
 
Anonymous
@WheatWizard Well, sort of. The derivative of a function doesn't have to be restricted to the function's domain, but it's not terribly useful to talk about the derivative of a function outside of the function's domain. Also if we want to get really pedantic, d/dx log_b(x) = 1/(x ln(b))
 
Fair enough.
 
9:08 PM
@Mego I don't see how that's incredibly pedantic
 
0
A: Sandbox for Proposed Challenges

MegoIs it a Satisfying Number? code-golf integer decision-problem inspired by this chat conversation A satisfying number is a number whose decimal representation is of the form abx, with the following properties: x is the longest trailing repeating suffix (123333 -> 3333, 545656 -> 5656) b is the...

 
@Zacharý Because when most people say log, they really mean log_e
 
Or log_10 (That's how I learned it), or log_2,
 
Anonymous
@WheatWizard pushes up glasses Well actually, when people say log, they usually mean log_10. ln means log_e.
2
 
log_2 is computer science
 
Anonymous
9:11 PM
I learned it as log = log_10, ln = log_e, lg = log_2
 
distinguished penguin
 
In my analysis course we never use ln we just say log.
 
@Mego this
 
Anonymous
@Riker I forgot about the hat for a bit :P
 
ln is easier to write than log, but log is easier to say than ln.
 
9:12 PM
@Mego In advanced math, log is usually the natural logarithm. The decimal logarithm stops being special.
4
 
I'm not the biggest fan of that but it seems to be pretty standard
 
It's terribly confusing, but it is what it is.
 
Eh, could be 0 and the natural numbers!
 
I imagine log_2 is useful.
 
For computers ... yes. Us ... not that I know of.
 
9:13 PM
Most correct answer: the meaning of log is context-dependent.
 
Anonymous
@Dennis Yep, in high math, log and ln are used interchangeably :P It's a bit of a pet peeve for me
 
ln always means the natural log though.
 
Anonymous
@El'endiaStarman That, or someone typo'd len
 
Pro tip: define e = 10 and use log_e.
5
 
Anonymous
@Dennis shots fired
 
9:17 PM
julia> e = 10
10
julia> log(10)
2.302585092994046
julia isn't falling for that
 
You need log(10, e), of course.
 
that works ofc
 
@Mego How about x^-1 = 1/x but sin^-1(x) != 1/sin(x)?
 
@Dennis Eh, e basically rounds to 10.
 
Anonymous
9:19 PM
@El'endiaStarman Sure it does - for sufficiently small x
 
@Mego My rep's now 8327, which can be split into 83, 2, 7 - all primes
 
Anonymous
@FlipTack I think that one's been done already :P
 
:P
 
How does f^2 work, I've heard it as f applied twice, and f squared. Is that another little thing that goes back and forth>
 
sin^2 is differnet from f^2 iirc
f^2(x) is generally f(f(x)) but the trig functions are weird
 
9:21 PM
@Zacharý It usually is f(x)*f(x), but its a really awful notation
 
0
Q: Can machine code be separated into several parts with fixed distance?

l4m2Opcode can have JMP command jumping to an address that also mean another instruction: JE $+42 ; 74 40, from 0001 it's an INC EAX but usually it makes a jump far. The problem is that I also write one program separated sometimes, e.g. when the skipped space is intended to do some other stuff, o...

 
are we talking about maths? :D
 
yes
 
@Riker, the same argument can be said about the inverse trig functions. That's why I ask.
 
@LeakyNun At present, bad math notation.
 
9:22 PM
0∊N ?
 
30 mins ago, by Wheat Wizard
For example f(x)=f'(x) is a really simple differential equation.
@Zacharý of course
@everyone I can make a connection between linear algebra and linear differential equations if you guys want
 
go for it
 
Go ahead, my semester's about over. I can take a break from the easy stuff.
 
@LeakyNun Related to how differentiation is a linear operator?
 
28 mins ago, by Riker
user image
 
Anonymous
9:24 PM
@Riker f^2(x) = f(f(x)). f(x)^2 = f(x)*f(x). It's a bad abuse of notation, but when you write it out fully, it makes sense.
 
@El'endiaStarman sure
 
Anonymous
Also f.f and f \cdot f are other (better IMO) ways of writing f(f(x))
 
@Mego \cdot or \circ?
 
@Mego but sin^2(x) means sin(x)*sin(x)?
 
f.f?
 
Anonymous
9:25 PM
@El'endiaStarman Whichever one is right
 
cdot for compose-dot, right?
 
Anonymous
@Riker Yeah, that one should be sin(x)^2. People write it the other way, but it doesn't make sense.
 
ah k
 
My favorite: (a,b). That can mean an interval, a line segment, a vector, a complex number, the function a evaluated in b, and the GCD of a and b. There are probably more.
 
$\displaystyle \lim_{n\to0} \int_1^x t^{n-1} \ \mathrm dt = \lim_{n\to0} \frac {x^n - 1} {n} = \lim_{n\to0} \frac {\exp(n \ln x) - 1} {n} = \ln x \lim_{n\to0} \frac {\exp(n \ln x) - 1} {n \ln x} = \ln x$
here's the connection of the integral @Riker
 
9:26 PM
d/dx(f(2))... I saw that in a calculus problem as a notation for f'(2). THAT is horrible notation.
 
Anonymous
@Dennis aCb written horizontally
 
@Zacharý center-dot, I think. If you have the ChatJax extension: $x \cdot x$.
 
@Dennis This has caused me a great amount of pain.
 
Anonymous
@Zacharý No, that notation is much better. d/dx is the differentiation operator.
 
No, I'm talking about how it's not 0.
 
9:27 PM
@LeakyNun turns on mathjax
 
Anonymous
Oh
 
Anonymous
Oh god that's terrible
 
Anonymous
It should be (df/dx)(2)
 
^
 
@Zacharý or (d/dx f(x))|_{x=2}
 
9:28 PM
Yeah, or partials (I always write them as partials)
How does one get MathJax?
 
@Dennis a tuple too :-)
 
@Zacharý some usersript somewhere
 
@Zacharý I use a Chrome extension called ChatJax.
 
check the maths.se chat
 
@Mr.Xcoder = a point = complex number
 
Anonymous
9:29 PM
@Zacharý = a vector
 
It can also be an inner product
 
Turns out, humans like grouping things and assigning names. Who knew?!?
 
0
A: Is Shortening Cell Addresses Valid?

Taylor ScottNo, Unless done programmatically It is invalid to assume that the user has manually redefined a given range to a shorter name. You may, however do so programmatically as part of your answer. An example of valid code renaming range [A1] to [A] in VBA is included below ActiveWorkbook.Names.Add...

 
@Riker @El'endiaStarman so let's consider $y'' + ay' + by = 0$. The operator $d : f \mapsto f'$ is a linear transformation on a reasonable function space. Let $\varphi : f \mapsto f'' + af' + bf$. We're solving $\varphi(f) = 0$, i.e. the kernel of $\varphi$. Our solutions are from the eigenvalues of $d$, and the kernel of $\varphi$ has dimension $2$ as $d$ has nullity $1$
 
Anonymous
@El'endiaStarman Penguins. Penguins knew.
 
9:30 PM
Also, problem authors (here at least) started a trend of writing for all (x, y) in Z x Z rather than for all, x in Z and y in Z
 
@Mego *knew
 
@El'endiaStarman I'm....working on a tool to make doing exactly that easier. -_-
 
Anonymous
@Zacharý You saw nothing
 
I'm not sure Penguins knew new is not knew
Nor nu
Nor gnu
 
@Mr.Xcoder What's wrong with that?
 
Anonymous
9:31 PM
@Zacharý A dialog window ate my k keypress
 
@WheatWizard @Mr.Xcoder well I would write $x,y \in \Bbb Z$ instead
 
@LeakyNun This is like using a different sledgehammer for the nail.
 
If this was APL ... it would've been a DYALOG window (I'll stop)
 
@El'endiaStarman also, $\varphi = d^2 + ad + b\operatorname{id}$
 
9:32 PM
Would y'all mind taking a look at the Meta Question i linked above?
 
Anonymous
@LeakyNun ...or just separate it into two first-order diffeqs and solve the system via linear algebra
 
Yep, a lot easier!
 
@Mego sure
 
@LeakyNun That's ok too, I don't really see the issue with $(x,y)\in\matbb{Z}\times\mathbb{Z}$
 
@WheatWizard that's convoluted af
 
9:34 PM
0^0 anyone?
 
Its less convoluted than $\forall x \in \mathbb{Z}:\forall y \in \mathbb{Z}$, and just as clear
 
and it really also depends on the context
 
It's less convoluted than Principia Mathematica.
 
and who doesn't like convolutions?
5
 
...
 
Anonymous
9:36 PM
That's quite enough of the low-effort puns
 
Yeah ... that's my job ....
 
Anonymous
@Zacharý You're included in that
 
I know.
 
CMP: Any punny suggestions for naming a lightweight/minimalistic APL webserver (less than 400 LOC of APL with lots of whitespace)?
 
Anonymous
9:40 PM
@Adám RAPL (like rappel)
 
AWS. (A(PL)) web-server
 
@Adám APLeSpace. Lots of form, little function.
 
@Mego What's the R for?
 
RAPL: RAPL ...
 
Anonymous
@Pavel Running
 
9:41 PM
@Riker ?
 
@Zacharý Actually, DAWS isn't bad.
 
Yeah, until somebody DAWSes it...
I'll stop
 
@Zacharý "Daws" is Danish dialect for "Davs" which means "howdy"
 
@flawr you dno't actually express your love of convolution too often
 
@El'endiaStarman How do you even pronounce that?
 
9:44 PM
Oh, that works too.
 
:D gold code-golf
 
@Riker *don't.
 
@Adám apple space
@Zacharý I'm lazy ok
 
ok now I need to remember not to accidentally hammer things... probably won't be that hard to remember
 
congrats @HyperNeutrino!
 
9:45 PM
Might that cause a conflict with Apple?
 
thanks :D
 
@Riker This. It's a (poor) dig at Apple.
 
^
@HyperNeutrino now start answering
 
I was working on that right now :P
 
I must say I'm most fond of RAPL.
 
9:47 PM
27
Q: Is there a computable model of ZFC?

skeptical scientistBackground Assuming ZFC is consistent, then by downward Löwenheim–Skolem, there is a countable model (M,$\in$) of ZFC. Since the universe M is countable, we may as well think of it as actually being the set of natural numbers, so $\in$ will be some binary relation on the natural numbers. Can...

There is no computable model of ZFC
 
@Riker Where is your cat anyway?
 
@LeakyNun I (think I) know what computable means, and I know what ZFC is, but I don't understand the two put together. Elaborate, please?
 
@Pavel But it doesn't really convey web or server, does it? Or am I missing something?
 
@El'endiaStarman that means, there is a program which can take two objects as input and outputs whether the first object is in the second object
 
@Adám Well, when you consider that Python webservers are named "Flask" and "Django", I don't think that the name must be descriptive.
 
9:51 PM
(an object in ZFC is a set)
 
Anonymous
@Pavel If they were descriptive, they'd all be variations on "oh my god what am I doing why doesn't anything work"
 
@Mego In my experience Flask is amazing and does all things
 
Anonymous
@Pavel For my experience, see the recent Travis builds :P
 
@El'endiaStarman do you get it?
 
@LeakyNun Sorta. Saying that there is no computable model of ZFC means that one cannot write a program that takes two sets as input and outputs whether one is in the other? Clairfy what it means for one set to be in another?
 
9:57 PM
@El'endiaStarman something like that: you skipped the "model" part
oh well, A is in B if $A \in B$
 
@LeakyNun ...
 
@Zacharý in ZFC, $\in$ is a primitive notion that has no further definition
 
@Mr.Xcoder Motion seconded. Pyth duels are lots of fun, and I only rarely get a good opportunity for them :P
 

« first day (2515 days earlier)      last day (2332 days later) »