@RubenVerg I saw that page, but I didn't really understand what it meant since there are no examples :)
> two vectors are compared by comparing their contents in order; if they have uneven shape only the shared prefix is compared, and then the smaller array is the one with smaller shape;
Is that why it works?
I guess not, the number is a scalar and the string is a vector
@noodleperson the number iss promoted to a 1-element vector; if the other vector is empty the prefix (empty) is compared, and because they're equal tie breaks by largest shape, so the number wins; if it's not empty the first character compares with the number and it's greater because numbers are smaller than characters
Check subtype relation
code-golf decision-problem
Let's consider the following simple type system (taken from Benjamin C. Pierce's Types and Programming Languages):
There is a base type \$\mathbf{Top}\$.
For any two types \$S\$ and \$T\$, we can form the product type \$S \times T\$. You can thi...
A121016: Numbers whose binary expansion is properly periodic. or A328594: Numbers whose binary expansion is aperiodic.
code-golf
sequence
I have been studying how to compress the Dis programs into their equvalent ones. One of the possibly easiest subset is programs with only } and { characters.
F...
@Redz Vixal would be even worse than malbolge and brainf***, it would be a 69042-dimensional language that requires 10^^^^^^^^^^^^^^100 instructions to do anything!
due to circumstances outside my control, the monthly "throw ARM into the sun please" rant has been rescheduled to instead happen daily. thank you for your comprehension
turns out, if you want to download semiconductor IPs from ARM, either your download each of them individually (up to 20 files per package) or you add them to your download queue and then process the queue with a shitty IBM thingy that work poorly. wouldn't you guess it, clicking the "add to queue" button takes a whole 5 entire seconds to add a single file to your queue
funnier: while the queue is stored on your account, connecting to the same account on a different machine pretends your queue is still there, but if you try to download it it just empties the queue and just tell you "sowwy, we wewe unabwe to downwoad this itewm, twy agaiwn latew"
@Ginger and satisfactory peeps: the power efficiency graphs for over/underclocking on the wiki say they're no longer accurate as of update 7, do you happen to know the newer formula?
Okay I don't know if I'm allowed to share screenshots but I'm reading through an official air force document and it has a stupid ass AI generated image
gotta love it
the future is here
I guess there's worse things the us military could be using AI for tbf
new chat "bug" just dropped: since bridget doesn't actually use chat's websocket, it doesn't appear in the user list until someone sends a message in Discord
L o a d i n g . . . . . . . . .
Haskell (ghci), 4 bytes, score = 6487
3^10
Prints 59049.
2^16
Prints 65536.
Check subtype relation
code-golf decision-problem
Let's consider the following simple type system (taken from Benjamin C. Pierce's Types and Programming Languages):
There is a base type \$\mathbf{Top}\$.
For any two types \$S\$ and \$T\$, we can form the product type \$S \times T\$. You can thi...
Fifth Submission
Python 3.8 (pre-release), 175 bytes
f=lambda x,z,y:y+z if x==0 else eval(f"f({x-1},{z},"*(a:=eval(f"f({x-1},{z},"*z+f"{y}"+")"*z))+f"{y}"+f")"*a)
n=9**9
for _ in range(f(*[99**99]*3)):
n=f(n,n,n)**_**_
print(n)
Try it online!
Explanation coming later.
