Timeline for Is it really time?
Current License: CC BY-SA 4.0
15 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 1, 2020 at 15:16 | history | edited | RGS | CC BY-SA 4.0 |
Syntax highlighting.
|
| Feb 25, 2020 at 20:17 | history | edited | RGS | CC BY-SA 4.0 |
deleted 121 characters in body; added 85 characters in body; added 29 characters in body
|
| Feb 25, 2020 at 18:35 | comment | added | Tipping Octopus |
Even keeping the hour check, lambda n:n%100<60>n/100%100<60>n/4e3 is 2 bytes shorter
|
|
| Feb 25, 2020 at 17:27 | comment | added | Surculose Sputum |
Note that the the program doesn't have to support input greater than 235959, so we can do away with the hour check.
|
|
| Feb 25, 2020 at 16:39 | history | edited | RGS | CC BY-SA 4.0 |
added 18 characters in body
|
| Feb 25, 2020 at 16:37 | history | edited | RGS | CC BY-SA 4.0 |
deleted 184 characters in body
|
| Feb 25, 2020 at 16:28 | comment | added | Surculose Sputum |
@Jitse Nice golf! For some reason I thought that245959 was a valid time, hence the 4100 :(
|
|
| Feb 25, 2020 at 16:18 | comment | added | Jitse |
@SurculoseSputum good find! But divide by 4000 then, as 100**2/2.5 = 4000. As variable c is now redundant, this can be reduced to lambda n:max(n%100,n/100%100,n/4e3)<60 for 38 bytes.
|
|
| Feb 25, 2020 at 16:15 | comment | added | Surculose Sputum |
Can save some more bytes by using n/4100 instead of n/c**2*2.5. Try it online!
|
|
| Feb 25, 2020 at 16:10 | comment | added | Jitse | Also, the Python 2 solution works in Python 3, too. Float instead of int division does not matter. | |
| Feb 25, 2020 at 16:02 | history | edited | RGS | CC BY-SA 4.0 |
deleted 2 characters in body; added 40 characters in body
|
| Feb 25, 2020 at 15:54 | history | edited | RGS | CC BY-SA 4.0 |
added 117 characters in body; deleted 1 character in body
|
| Feb 25, 2020 at 15:15 | history | edited | RGS | CC BY-SA 4.0 |
added 195 characters in body
|
| Feb 25, 2020 at 15:14 | comment | added | RGS | @ElPedro thanks!! :) May be still more golfable | |
| Feb 25, 2020 at 15:08 | history | answered | RGS | CC BY-SA 4.0 |