Cóż, nastąpił Brexit . A Sky News, będąc geniuszami, postanowiły stworzyć odliczanie na boku autobusu.

Twoim zadaniem jest zrobić coś podobnego. Wielka Brytania opuszcza UE w dniu 31 marca 2019 roku i musisz utworzyć cyfrowe odliczanie, które zmienia się co sekundę (z dopuszczalnym odchyleniem 0,05 sekundy).

Wkład

Twój program nie powinien przyjmować żadnych danych wejściowych. To jest zakazane!

Wydajność

Powinien on wyświetlać czas do Brexitu w formacie ddd:hh:mm:ss. Wiodące i końcowe znaki nowej linii są dozwolone, ale wyświetlacz powinien pozostać w tym samym miejscu za każdym razem. Powinno to wyglądać, jakby faktycznie maleje na swoim miejscu. Jak zauważył @AnthonyPham, nie oznacza to drukowania wystarczającej liczby znaków nowego wiersza, aby „wyczyścić” ekran, oznacza to, że należy go wyczyścić.

Takie dane wyjściowe nie są dozwolone:

100:20:10:05
100:20:10:04

To też nie jest

100:20:10:05
*A thousand newlines*
100:20:10:04

ponieważ znajdują się w więcej niż jednej linii.

Po Brexicie nie musisz się martwić. Twój program musi działać tylko do 31.03.2019

Zasady

• Standardowe luki są niedozwolone
• To jest golf golfowy, więc wygrywa najkrótszy kod w bajtach .
• Komunikaty o błędach (choć nie wiem, jak to zrobić) są niedozwolone
• Kod powinien być uruchomiony za 2 lata (kiedy Wielka Brytania opuści UE) i powinien wyświetlać aktualny czas i nie zaczynać od 730 (patrz poniżej)

Reguła odliczania

Odliczanie nie powinno być zakodowane na stałe i powinno być możliwe uruchomienie w dowolnym momencie przed zakończeniem Brexitu i nadal dawanie prawidłowego wyniku. Po rozpoczęciu nowego dnia godzina powinna być zgodna z poniższym formatem

712:00:00:01
712:00:00:00
711:23:59:59

Powiem jeszcze raz: data zakończenia Brexitu to 31.03.2019 o północy dla wygody (31: 3: 19 00:00:00 lub 31: 3: 2019 00:00:00 lub w dowolnym innym formacie)

NB: Wydaje mi się, że mam wszystko, ale nie opublikowałem tego w piaskownicy, w przeciwnym razie czas mógłby się skończyć. Możesz dodawać sugestie dotyczące ulepszeń, ponieważ nie są one idealne.

JavaScript, 134 129 113 bajtów

setInterval("d=-new Date;document.body.innerHTML=`<pre>${d/864e5+17986|0}:`+new Date(d).toJSON().slice(11,19)",1)

Edycja: Zapisano 2 bajty dzięki @Shaggy. Zaoszczędzono 11 bajtów dzięki @ l4m2.

PowerShell, 70 63 55 53 bajtów

Wyłączone podwójne cytaty, łatwe -2 dzięki @Joey

for(){cls;(date 31Mar19)-(date)|% T* ddd\:hh\:mm\:ss}

Uruchomienie tego ze snem dodaje 8 bajtów, ale dane wejściowe są w większości niewidoczne, jeśli są uruchamiane bez nich, wersja (63 bajty) ze snem:

for(){cls;(date 31/3/19)-(date)|% T* ddd\:hh\:mm\:ss;sleep 1}

for() jest nieskończoną pętlą i wewnątrz tej pętli ..

cls wyczyścić ekran,

pobierz 31/3/19jako DateTimeobiekt i -bieżącą datę z niego, aby podać pozostały czas, a następnie .ToString()( |% T*) ten w odpowiednim formacie.

wyświetli się czas ujemny po brexicie.

Excel VBA, 91 84 82 bajtów

^{Oszczędność 7 bajtów dzięki JoeMalpass wskazując, że Excel widzi daty jako liczby.
Zaoszczędzono 2 bajty dzięki JoeMalpass}

Sub b()
Do
t=CDec(43555-Now)
Cells(1,1)=Int(t) &Format(t,":hh:mm:ss")
Loop
End Sub

Dane wyjściowe są wysyłane do komórki A1w aktywnym arkuszu Excel.

Python 3.6, 146 bajtów

from datetime import*
x=datetime
while 1:d=x(2019,3,31)-x.now();s=d.seconds;a=s%3600;print(end=f"\r{d.days:03}:{s//3600:02}:{a//60:02}:{s%60:02}")

C #, 173 172 156 150 127 bajtów

using System;class P{static void Main(){for(;;)Console.Write($"\r{new DateTime(2019,3,31)-DateTime.Now:d\\:hh\\:mm\\:ss}  ");}}

Zaoszczędzono 16 bajtów dzięki @Bob Zaoszczędzono 6 bajtów dzięki @ Søren D. Ptæus

Wersja sformatowana:

using System;

class P
{
    static void Main()
    {
        for (;;)
            Console.Write($"\r{new DateTime(2019, 3, 31) - DateTime.Now:d\\:hh\\:mm\\:ss}  ");
    }
}

JavaScript ES5, 320 319 316 305 295 284 bajtów

setInterval(function(){a=Math,b=a.floor,c=console,d=Date,e="00",f=new d(2019,2,31),g=a.abs(f-new d)/1e3,h=b(g/86400);g-=86400*h;var i=b(g/3600)%24;g-=3600*i;var j=b(g/60)%60;g-=60*j,c.clear(),c.log((e+h).slice(-3)+":"+(e+i).slice(-2)+":"+(e+j).slice(-2)+":"+(e+a.ceil(g)).slice(-2))})

Dzięki @Fels za referencje Math, @dgrcode za referencjeconsole

Nie grał w golfa

setInterval(function() {

  var math = Math, floor = math.floor, c = console, d = Date;

  var leadings = "00";

  // set our brexit date
  var brexit = new d(2019, 2, 31);

  // get total seconds between brexit and now
  var diff = math.abs(brexit - new d()) / 1000;

  // calculate (and subtract) whole days
  var days = floor(diff / 86400);
  diff -= days * 86400;

  // calculate (and subtract) whole hours
  var hours = floor(diff / 3600) % 24;
  diff -= hours * 3600;

  // calculate (and subtract) whole minutes
  var minutes = floor(diff / 60) % 60;
  diff -= minutes * 60;

  // what's left is seconds

  // clear the console (because OP said it must print in the same place)
  c.clear();

  // log the countdown, add the leadings and slice to get the correct leadings 0's
  c.log((leadings + days).slice(-3) + ":" + (leadings + hours).slice(-2) + ":" + (leadings + minutes).slice(-2) + ":" + (leadings + math.ceil(diff)).slice(-2));

});

PHP, 84 bajty

for(;$c=DateTime;)echo(new$c('@1553990400'))->diff(new$c)->format("\r%a:%H:%I:%S ");

Dość bezpośredni. 1553990400 to znacznik czasu 31-3-2019 00:00:00 w UTC. Pętla wykonuje się w nieskończoność, używając funkcji DateTime-> diff () -> format () w celu wyświetlenia pozostałego czasu. Po zdarzeniu Brexit zacznie liczyć od 0.

Skomentowana / bardziej czytelna wersja:

// Infinite loop, assign DateTime (as a string) to $class
for (; $class = DateTime;) {
    echo (new $class('@1553990400')) // Create a new DateTime object for the brexit date/time.
            ->diff(new $class) // Caulculate the difference to the current date/time.
            ->format("\r%a:%H:%I:%S "); // Format it according to the specification, starting with a \r character to move to the start of the line and overwrite the previous output.
}

CJam, 69 62 59 57 bajtów

Zaoszczędzono 7 bajtów, zmieniając format na inny czas

Zaoszczędzono 3 bajty dzięki sugestiom Martina Endera

Zaoszczędzono 2 bajty, używając znaku powrotu karetki zamiast spacji

{15539904e5esm1e3/{60md\}2*24md\]W%{sYTe[}%':*CTe[oDco1}g

Nie można uruchomić z TIO z oczywistych powodów.

Ciągle przepisuje wyświetlacz w nieskończonej pętli, więc tekst miga do przodu i do tyłu (przynajmniej w mojej konsoli), chociaż faktycznie aktualizuje czas tylko raz na sekundę.

Ta 70-bajtowa wersja drukuje tylko raz na sekundę:

{15539904e5es:Xm1e3/{60md\}2*24md\]W%{sYTe[}%':*CTe[oDco{esXm1e3<}g1}g

Wyjaśnienie

{                           e# Begin a while loop
  15539904e5                e#  The timestamp on which Brexit will occur
  es                        e#  The current timestamp
  m                         e#  Subtract
  1e3/                      e#  Integer divide by 1000, converting to seconds from ms
  {                         e#  Run this block twice
   60md                     e#   Divmod by 60
   \                        e#   Swap top elements
  }2*                       e#  (end of block) 
                            e#    This block divmods the timestamp by 60, resulting in 
                            e#    the remaining minutes and seconds. Then the minutes get 
                            e#    divmod-ed by 60, to get hours and minutes remaining
  24md\                     e#  Divmod hours remaining by 24 and swap top elements, to get
                            e#    the hours left and days left.
  ]                         e#  Wrap the entire stack in an array
  W%                        e#  Reverse it since it's currently in the wrong order
  {                         e#  Apply this block to each element of the array
   s                        e#   Cast to string (array of digit characters)
   YTe[                     e#   Pad to length 2 by adding 0s to the left
  }%                        e#  (end of map block)
  ':*                       e#  Join with colons
  CTe[                      e#  Pad to length 12 by adding 0s to the left, dealing with the
                            e#    special case of the day being 3 digits. 
  o                         e#  Pop and print the resulting string, which is the time
  Dco                       e#  Print a carriage return, moving the cursor back to the start
  1                         e#  Push 1
}g                          e# Pop 1, if it's true, repeat (infinite loop)

Python 3.5 (118 bajtów)

import datetime as d,os
d=d.datetime
while 1:os.system("cls");e=str(d(2019,3,31)-d.today());print(e[:3]+':'+e[-15:-7])

C # 6, 149 bajtów

Dzięki Bobowi za oszczędność 57 bajtów!

using System;class P{static void Main(){DateTime a,x=new DateTime(2019,3,31);while((a=DateTime.Now)<x)Console.Write($"\r{x-a:ddd\\:hh\\:mm\\:ss}");}}

Nieogrodzony program:

using System;

class P
{
    static void Main()
    {
        DateTime a,
                x = new DateTime(2019, 3, 31);
        while ( (a = DateTime.Now) < x)
            Console.Write($"\r{x-a:ddd\\:hh\\:mm\\:ss}");
    }
}

C #, 210 206 159 bajtów

Dziękujemy Bobowi za uratowanie kolejnych 47 bajtów!

Dzięki Martin Smith za zapisanie 4 bajtów!

using System;class P{static void Main(){DateTime a,x=new DateTime(2019,3,31);while((a=DateTime.Now)<x)Console.Write("\r"+(x-a).ToString(@"ddd\:hh\:mm\:ss"));}}

Nieogrodzony program:

using System;

class P
{
    static void Main()
    {
        DateTime a,
                x = new DateTime(2019, 3, 31);
        while ( (a = DateTime.Now) < x)
            Console.Write("\r" + (x - a).ToString(@"ddd\:hh\:mm\:ss"));
    }
}

C, 104 bajty

main(x){for(;x=1553990400-time(0);)printf("\n%03d:%02d:%02d:%02d\e[1A",x/86400,x/3600%24,x/60%60,x%60);}

Awaria

main(x){
    for(;x=1553990400-time(0);)             // Seconds remaining
        printf("\n%03d:%02d:%02d:%02d\e[1A",// Move cursor and print:
            x/86400,                        // Days
            x/3600%24,                      // Hours
            x/60%60,                        // Minutes
            x%60);                          // Seconds
    puts("Now we can stop talking about it forever."); // Wishful thinking
}

Polega na timezwracaniu liczby sekund od 01.01.1970, co jest w moim przypadku (przy użyciu Clang / GCC na macOS) i powinno tak być w przypadku większości rzeczy w systemie UNIX.

Używa sekwencji ucieczki terminala bash do przesuwania kursora ( <esc>[1Aprzesuwa kursor w górę o 1 linię). Byłoby fajniej móc po prostu użyć \r, ale printfnie spłukuje się, dopóki nie zobaczy nowej linii, a ręczne opróżnienie zajmuje znacznie więcej.

Prawdopodobnie najbardziej intensywne odliczanie procesora, jakie kiedykolwiek widziałem. Działa w gorącej pętli, aby upewnić się, że zawsze jest tak dokładna, jak to tylko możliwe. Jeśli zostanie uruchomiony po terminie, przyniesie trochę dziwnych rzeczy (wszędzie negatywy!)

AHK , 145 bajtów

To nie jest najkrótsza odpowiedź, ale wynik daje bardzo miłe poczucie zagłady. Początkowo próbowałem wysłać naciśnięcia klawiszy Ctrl+, Aa DELnastępnie, niezależnie od pory, ale częstotliwość odświeżania była zbyt wolna i zniszczyłoby to środowisko, w którym się znajdowałeś. Zamiast tego poszedłem z GUI. Okazało się, że potrzeba mniej bajtów, aby całkowicie zniszczyć okno i odtworzyć je, niż w kółko aktualizować kontrolę, więc poszedłem z tym. To fajny efekt.

Loop{
s=20190331000000
s-=A_Now,S
d:=t:=20000101000000
t+=s,S
d-=t,D
d*=-1
FormatTime f,%t%,:HH:mm:ss
GUI,Destroy
GUI,Add,Text,,%d%%f%
GUI,Show
}

C #, 128 127 bajtów

using System;class P{static void Main(){for(;;)Console.Write($"\r{new DateTime(2019,3,31)-DateTime.Now:ddd\\:hh\\:mm\\:ss}");}}

Nieskluczony kod:

using System;
class P
{
    static void Main()
    {
        for(;;)
            Console.Write($"\r{new DateTime(2019,3,31)-DateTime.Now:ddd\\:hh\\:mm\\:ss}"); 
    }
}

Nie wymyśliłbym tej sztuczki bez pomocy innych odpowiedzi C # tutaj.

Dla każdego, kto szuka dalszej poprawy, możesz również umieścić wyrażenie Write () wewnątrz pętli for. Wydaje się, że powinienem być w stanie tutaj zapisać bajt, ponieważ oszczędza mi to średnika dla tego wyrażenia, ale działa na ten sam numer, ponieważ nie możesz mieć całkowicie pustego ciała:

using System;class P{static void Main(){for(;;Console.Write($"\r{new DateTime(2019,3,31)-DateTime.Now:ddd\\:hh\\:mm\\:ss}"));}}

Rubinowy (83 bajty)

loop{h=431664-Time.now.to_r/3600;$><<['%02d']*4*?:%[h/24,h%24,h%1*60,h*3600%60]+?\r}

Nie golfił

loop do
  seconds = 1553990400 - Time.now.to_r

  print (["%02d"] * 4).join(':') % [
    seconds / 24 / 60 / 60     ,
    seconds      / 60 / 60 % 24,
    seconds           / 60 % 60,
    seconds                % 60,
  ] + "\r"
end

Zasadniczo jedno z zgłoszeń w języku Python, z pewnymi ulepszeniami. Po prostu emitujemy „\ r”, aby przejść do początku łańcucha przed ponownym renderowaniem. A w przypadku formatu ciągu "%03d:%02d:%02d:%02d"naprawdę nie dbamy o szerokość pierwszego specyfikatora… więc możemy to zrobić "%02d"*4i wyemitować backspace i spację, aby usunąć dodatkowe niepotrzebne dwukropki.

Również znalazłem dwóch znaków krótszy print: $><<. $>jest skrótem dla globalnego $defout, który jest strumień wyjściowy dla printa printfi domyślnie STDOUT. IO#<<zapisuje prawą stronę do strumienia. Jak te dwie postacie są krótsze? Cóż, mogę teraz pominąć przestrzeń, która prowadziła przed nawiasami owijającymi ciąg formatu.

W tym momencie naprawdę myślę, że nie ma możliwości dalszego skrócenia tego programu w Ruby.

Edycja: Myliłem się. Zamiast pierwsze Time.new(2019,3,31), możemy po prostu użyć czasu surowego UNIX: 1553990400.

Edycja 2: Próbowałem bawić się z wyliczaniem minut i dzieleniem znacznika czasu UNIX przez tę stałą, ale tak naprawdę nie kończy się to oszczędzaniem bajtów. :(

Edycja 3: Okazało się, że buforowanie h=3600faktycznie zraniło mnie o dwa bajty. Ups

Edycja 4: Zaoszczędź 3 bajty dzięki @EricDuminill. Używał pływaków, ale racjonalne działały bez utraty precyzji!

Edycja 5: Array#*jako alias dla Array#joinRuby ?-syntax dla poszczególnych postaci!

JavaScript + HTML, 136 + 7 = 143 bajty

setInterval("d=1553990400-new Date/1e3|0;w.innerText=[60,60,24,999].map(z=>(q='00'+d%z,d=d/z|0,q.slice(z<61?-2:-3))).reverse().join`:`")

<a id=w

C #, 142 bajty

using System;class P{static void Main(){a:Console.Write($"\r{(new DateTime(2019,3,31)-DateTime.Now).ToString("d\\:h\\:mm\\:ss  ")}");goto a;}}

Nieogrodzony program:

using System;
class P
{
    static void Main()
    {
        a: Console.Write($"\r{(new DateTime(2019, 3, 31) - DateTime.Now).ToString(@"d\:h\:mm\:ss  ")}"); goto a;
    }
}

Data Bash + GNU, 128 bajtów

2 bajty wygolone dzięki @muru, a 2 wcześniejsze dzięki @This Guy.

C=:%02d;while sleep 1;do D=$[B=3600,A=24*B,1553990400-`date +%s`];printf "%03d$C$C$C\r" $[D/A] $[D%A/B] $[D%A%B/60] $[D%60];done

Nie golfił

DAY=86400
HOUR=3600
while sleep 1 ; do
 DIFF=$[1553990400-`date +%s`]
 printf "%03d:%02d:%02d:%02d\r" \
         $[DIFF/DAY] \
         $[DIFF%DAY/HOUR] \
         $[DIFF%DAY%HOUR/60] \
         $[DIFF%60]
done

MATL, 45 bajtów

737515`tZ'-tkwy-':HH:MM:SS'XOw'%03d'YDwYcDXxT

TIO najwyraźniej nie obsługuje czyszczenia danych wyjściowych, ale na szczęście MATL Online tak !

Przy 2 bajtach więcej, nieco bardziej przyjazna dla procesora wersja, która wykonuje pause(uśpienie) co sekundę:

737515`tZ'-tkwy-':HH:MM:SS'XOw'%03d'YDwYcDT&XxT

Wypróbuj to w MATL Online

737515„31 marca 2019 r.” reprezentuje domyślny format epoki MATLAB - liczbę dni od 0 stycznia 0000, opcjonalnie włączając część ułamkową reprezentującą porę dnia. (Próbowałem to skrócić, obliczając to w jakiś sposób, ale jego jedynymi czynnikami są 5 i kolejna sześciocyfrowa liczba (147503) i nie mogłem znaleźć sposobu na zrobienie tego w mniej niż 6 bajtów.)

`    % start do-while loop
tZ`- % duplicate Brexit date, get current date (& time), subtract
tk   % duplicate the difference, get the floor of it (this gives number of days left)
w    % switch stack to bring unfloored difference to top
y    % duplicate the floored value on top of that
-    % subtract to get fractional part representing time
':HH:MM:SS'XO % get a datestr (date string) formatted this way
w    % switch to bring number of days back on top
'%03d'YD      % format that to take 3 places, with 0 padding if needed
wYc  % switch to bring time string back on top, concatenate date and time
D    % display the concatenated result!
T&Xx % clear screen after a 1 second pause (the pause is optional, without it the call is `Xx`)
T    % push True on stack to continue loop

PHP, 64 bajty

while($d=1553990401-time())echo--$d/86400|0,date(":H:i:s\r",$d);

Będzie to liczyć dokładnie do momentu, 0:00:00:00a następnie przerwa / wyjście. Uruchom z -r.

-2 bajty, gdybym nie musiał drukować 0.

RPL, 83 78 bajtów

Zakładając, że HP48 lub podobny jest skonfigurowany z poprawną (brytyjską) godziną i datą, formatem daty mm / dd i formatem 24-godzinnym:

WHILE 1REPEAT DATE 3.302019DDAYS":"1.1 24TIME HMS- TSTR 15 23SUB + + 1DISP END

Byłem zaskoczony, że mogłem zaoszczędzić 2 bajty, usuwając spacje wokół ":". 1.1 to najkrótsza ważna data, później zrzucona przez SUB. Uważaj na emulatory, czas może biegać szybciej lub wolniej (lub wcale) niż zegar ścienny. Z prawdziwym HP możesz zatrzymać ten program, naciskając klawisz ON… lub poczekać na rozładowane baterie.

PHP, 102 95 90 bajtów

Zaoszczędź 7 bajtów dzięki @TheLethalCoder i nie faktorując

Zaoszczędzono kolejne 5 bajtów, łącząc

<? $b=1553990400-time();echo floor($b/$d=86400).date(':H:i:s', $b%$d);header('Refresh:1');

To jest mój pierwszy golf, więc prawdopodobnie brakuje mi kilku trików, ale tutaj jesteś niezależnie.

Jeśli chodzi o odpowiedź PHP @chocochaos, która w innym przypadku przebije to, uważam, że jest błędna z powodów, które wyjaśniłem w moich komentarzach, ale ponieważ jestem tu nowy, mogę się mylić. Albo jestem tylko nowicjuszem :)

AWK , 78 bajtów

BEGIN{for(;v=1552953600-systime();printf"\r%d:%s",v/86400,strftime("%T",v)){}}

Wypróbuj online!

Minęło więcej czasu, zanim zdałem sobie sprawę, że mogę wstępnie obliczyć czas zakończenia. Czasami opłaca się nieco spóźnić do gry i czerpać pomysły od innych.

Do Twojej wiadomości, link TIO nie działa zbyt dobrze, ponieważ nie jest \rpoprawnie wdrażany .

F #, 142 bajty

open System
let f=
 let t=DateTime(2019,3,31)
 while DateTime.Now<=t do Console.Clear();t-DateTime.Now|>printf"%O";Threading.Thread.Sleep 1000

Dorastałem w Irlandii, około pół kilometra od granicy. Oprócz znaku „Welcome to Fermanagh” i zmieniających się znaków drogowych nie wiedziałbyś, że wjechałeś do innego kraju. Służyłem do dwukrotnego przekroczenia go w drodze do szkoły.

c, gcc 114 bajtów

main(s){system("clear");if(s=1553900399-time(0)){printf("%d:%d:%d:%d\n",s/86400,s/3600%24,s/60%60,s%60);main(s);}}

Nic nie pominięto, pełny program. Program kompiluje się w gcc na Ubuntu. Odliczanie nie pokaże długiej ścieżki instrukcji drukowania z powodu wywołania systemowego do wyczyszczenia i zatrzymuje się, gdy odliczanie osiągnie 0 sekund.

UnGolfed

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <time.h>


//Brexit countdown timer
int main(){
  int sec = 1553900400 - time(0);//seconds remaining until Brexit
  if(sec){
    sleep(1);
    system("clear");
    printf("Brexit Countdown\n");
    printf("days Hours Mins Secs\n");
    printf("%d:  %d:    %d:  %d\n",
            sec/86400, sec/3600%24,
            sec/60%60, sec%60);
    main();
  }
}