Nah, Brexit terjadi . Dan Sky News, sebagai jenius mereka, telah memutuskan untuk membuat hitungan mundur di sisi bus.

Tugas Anda adalah melakukan hal serupa. Inggris meninggalkan Uni Eropa pada tanggal 31 Maret 2019 dan Anda harus membuat hitungan mundur digital untuk ini yang berubah setiap detik (dengan deviasi 0,05 detik diizinkan).

Memasukkan

Program Anda harus sama sekali tidak menerima input. Itu dilarang!

Keluaran

Ini harus menampilkan waktu sampai Brexit dalam format ddd:hh:mm:ss. Leading dan trailing newline diperbolehkan tetapi tampilan harus tetap di tempat yang sama setiap kali. Seharusnya terlihat seolah-olah berkurang di tempat. Seperti yang ditunjukkan oleh @AnthonyPham, ini tidak berarti mencetak cukup baris baru untuk "menghapus" layar, ini berarti Anda harus benar-benar menghapus layar.

Output seperti ini tidak diizinkan:

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

Ini juga tidak

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

karena mereka berada di lebih dari satu baris.

Anda tidak perlu khawatir setelah Brexit. Program Anda hanya perlu bekerja hingga 31/3/2019

Aturan

• Celah standar tidak diijinkan
• Ini adalah kode-golf sehingga kode terpendek dalam byte menang.
• Pesan kesalahan (meskipun saya tidak bisa memikirkan caranya) tidak diizinkan
• Kode harus dapat dijalankan dalam waktu 2 tahun (ketika Inggris meninggalkan Uni Eropa) dan harus menampilkan waktu aktual dan tidak mulai dari 730 lagi (lihat di bawah)

Aturan hitung mundur

Hitungan mundur tidak boleh berupa kode keras dan harus dapat dijalankan kapan saja sebelum Brexit selesai dan masih menghasilkan hasil yang benar. Ketika hari baru dimulai jam harus mengikuti format di bawah ini

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

Biar saya katakan lagi, tanggal Brexit selesai adalah 31/3/2019 pada tengah malam untuk kenyamanan (31: 3: 19 00:00:00 atau 31: 3: 2019 00:00:00 atau format lain yang Anda inginkan)

NB: Saya pikir saya memiliki segalanya tetapi saya tidak memposting ini di Sandbox, kalau tidak waktunya tidak tepat. Jangan ragu untuk mengirim saran untuk perbaikan karena tidak sempurna.

JavaScript, 134 129 113 byte

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

Sunting: Disimpan 2 byte berkat @Shaggy. Disimpan 11 byte berkat @ l4m2.

PowerShell, 70 63 55 53 Bytes

Kutipan ganda dikecualikan, mudah -2 terima kasih kepada @ Joey

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

Menjalankan ini dengan sleep menambahkan 8 byte, tetapi input sebagian besar tidak terlihat jika dijalankan tanpa mereka, versi (63 byte) dengan sleep:

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

for() adalah loop tak terbatas, dan dalam loop itu ..

cls untuk menghapus layar,

dapatkan 31/3/19sebagai DateTimeobjek, dan -tanggal saat ini darinya, untuk memberikan sisa waktu, lalu .ToString()( |% T*) dengan format yang benar.

ini akan menampilkan waktu negatif setelah brexit.

Excel VBA, 91 84 82 byte

^{Disimpan 7 byte berkat JoeMalpass menunjukkan bahwa Excel melihat tanggal sebagai angka.
Disimpan 2 byte berkat JoeMalpass}

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

Output ke sel A1di lembar Excel aktif.

Python 3.6, 146 byte

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 byte

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

Disimpan 16 byte berkat @Bob Disimpan 6 byte berkat @ Søren D. Ptæus

Versi yang diformat:

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 byte

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))})

Terima kasih kepada @Fels untuk referensi Math, @dgrcode untuk referensiconsole

Tidak bermain golf

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 byte

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

Cukup mudah. 1553990400 adalah cap waktu untuk 31-3-2019 00:00:00 dalam UTC. Ini loop tak terhingga, menggunakan DateTime-> diff () -> format () untuk menampilkan berapa banyak waktu yang tersisa. Setelah Brexit terjadi, ia akan mulai menghitung mulai dari 0.

Versi yang dikomentari / lebih mudah dibaca:

// 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 byte

Disimpan 7 byte dengan mengonversi format waktu secara berbeda

Disimpan 3 byte berkat saran Martin Ender

Disimpan 2 byte dengan menggunakan carriage return bukan backspaces

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

Tidak dapat dijalankan di TIO karena alasan yang jelas.

Ini menulis ulang tampilan terus-menerus dalam loop tak terbatas sehingga jenis teks berkedip masuk dan keluar (setidaknya di konsol saya), meskipun hanya benar-benar memperbarui waktu sekali per detik.

Versi 70-byte ini hanya mencetak sekali per detik:

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

Penjelasan

{                           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 Bytes)

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 byte

Terima kasih kepada Bob karena telah menghemat 57 byte!

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}");}}

Program tidak digabungkan:

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 byte

Terima kasih kepada Bob karena telah menyimpan 47 byte lagi!

Terima kasih kepada Martin Smith karena telah menghemat 4 byte!

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"));}}

Program tidak digabungkan:

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 byte

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);}

Kerusakan

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
}

Bergantung pada timepengembalian jumlah detik sejak 01/01/1970, yang merupakan kasus bagi saya (menggunakan Dentang / GCC pada macOS) dan harus menjadi kasus untuk sebagian besar barang UNIX.

Menggunakan bash terminal escape sequence untuk memindahkan kursor ( <esc>[1Amemindahkan kursor ke atas 1 baris). Akan lebih baik jika hanya menggunakan \r, tetapi printftidak akan memerah sampai ia melihat baris baru, dan membilasnya secara manual membutuhkan lebih banyak.

Mungkin hitungan mundur CPU paling intensif yang pernah saya lihat. Berjalan dalam loop panas untuk memastikan selalu seakurat mungkin. Jika dijalankan setelah batas waktu, itu akan menghasilkan beberapa hal yang sangat aneh (negatif di mana-mana!)

AHK , 145 Bytes

Ini bukan jawaban terpendek tetapi hasilnya memberikan perasaan malapetaka yang sangat bagus, saya pikir. Saya awalnya mencoba untuk mengirim penekanan tombol Ctrl+ Adiikuti oleh DELdan kemudian apapun waktu itu tapi refresh rate terlalu lambat dan itu akan menghancurkan apa pun lingkungan Anda berada di. Sebaliknya, kemudian, saya pergi dengan GUI. Ternyata mengambil lebih sedikit byte untuk benar-benar menghancurkan jendela dan membuatnya kembali daripada yang dilakukannya untuk memperbarui kontrol berulang kali jadi saya pergi dengan itu. Ini efek yang bagus.

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 Bytes

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

Kode tidak dikunci:

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

Saya tidak akan menemukan trik tanpa bantuan dari jawaban C # lainnya di sini.

Untuk siapa pun yang mencari peningkatan lebih lanjut, Anda juga bisa memasukkan ekspresi Write () di dalam for loop. Sepertinya saya harus dapat menyimpan byte di sini, karena itu menyelamatkan saya titik koma untuk pernyataan itu, tetapi berhasil ke nomor yang sama karena Anda tidak dapat memiliki tubuh yang sepenuhnya kosong:

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

Ruby (83 byte)

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

Tidak disatukan

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

Pada dasarnya salah satu pengiriman Python, dengan beberapa perbaikan. Kami hanya memancarkan "\ r" untuk memulai string sebelum rendering ulang. Dan untuk format string "%03d:%02d:%02d:%02d", kita benar-benar tidak peduli tentang lebar pada specifier pertama ... jadi kita bisa melakukannya "%02d"*4, dan memancarkan backspace dan ruang untuk membersihkan titik dua yang tidak perlu.

Juga, saya menemukan dua karakter yang lebih pendek print: $><<. $>adalah singkatan global untuk $defout, yang merupakan aliran output untuk printdan printfdan default ke STDOUT. IO#<<menulis sisi kanannya ke aliran. Bagaimana dua karakter lebih pendek? Nah, sekarang saya bisa menghilangkan ruang yang memimpin sebelum tanda kurung membungkus string format.

Pada titik ini saya benar-benar berpikir tidak ada cara yang mungkin untuk mempersingkat program ini lebih lanjut di Ruby.

Sunting: Saya salah. Alih-alih pertama Time.new(2019,3,31), kita hanya bisa menggunakan waktu UNIX baku: 1553990400.

Sunting 2: Saya sudah mencoba bermain-main dengan memfaktorkan menit, dan membagi cap waktu UNIX dengan konstanta itu, tetapi sebenarnya tidak berakhir menghemat byte. :(

Sunting 3: Ternyata caching h=3600sebenarnya melukai saya dua byte. Aduh.

Sunting 4: Disimpan 3 byte berkat @EricDuminill. Dia menggunakan pelampung, tetapi rasional bekerja tanpa kehilangan presisi!

Sunting 5: Array#*sebagai alias untuk Array#join, dengan Ruby ?-syntax untuk masing-masing karakter!

JavaScript + HTML, 136 + 7 = 143 byte

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 byte

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;}}

Program tidak digabungkan:

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;
    }
}

Tanggal Bash + GNU, 128 byte

2 byte dikurangi berkat @muru, dan 2 byte sebelumnya berkat @ 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

Tidak disatukan

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 byte

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

TIO tampaknya tidak mendukung kliring output, tetapi untungnya MATL Online melakukannya !

Dengan 2 byte lebih banyak, versi yang lebih ramah-CPU yang melakukan pause(tidur) setiap detik:

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

Coba ini di MATL Online

737515adalah "31 Maret 2019" mewakili format zaman standar MATLAB - jumlah hari sejak 0 Januari 0000, secara opsional termasuk bagian fraksional untuk mewakili waktu hari. (Saya mencoba memperpendek ini dengan menghitungnya entah bagaimana, tetapi satu-satunya faktor adalah 5 dan enam digit angka lainnya (147503), dan saya tidak dapat menemukan cara untuk melakukannya dalam waktu kurang dari 6 byte.)

`    % 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 byte

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

Ini akan menghitung dengan tepat sampai 0:00:00:00dan kemudian break / keluar. Jalankan dengan -r.

-2 byte jika saya tidak perlu mencetak 0.

RPL, 83 78 byte

Dengan asumsi HP48 Anda, atau yang serupa, diatur dengan waktu dan tanggal (UK) yang benar, format tanggal mm / dd, dan format waktu 24 jam:

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

Saya terkejut bisa menghemat 2 byte dengan menghapus spasi di sekitar ":". 1.1 adalah tanggal valid terpendek, kemudian dibuang oleh SUB. Hati-hati dengan emulator, waktu dapat berjalan lebih cepat atau lebih lambat (atau tidak sama sekali) dari jam dinding Anda. Dengan HP asli, Anda dapat menghentikan program ini dengan menekan tombol ON ... atau menunggu baterai kosong.

PHP, 102 95 90 byte

Disimpan 7 byte berkat @TheLethalCoder & dengan tidak memfaktorkan

Menyimpan 5 byte lainnya dengan menggabungkan

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

Ini golf pertama saya, jadi saya mungkin kehilangan beberapa trik, tetapi di sini Anda terlepas dari itu.

Adapun jawaban PHP @chocochaos 'yang kalau tidak akan truf ini, saya percaya itu cacat karena alasan yang saya jelaskan dalam komentar saya, tetapi karena saya baru di sini saya mungkin salah. Atau saya hanya seorang pemula :)

AWK , 78 byte

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

Cobalah online!

Lebih lama sebelum saya menyadari saya bisa menghitung ulang waktu akhir. Terkadang agak terlambat untuk bermain dan mendapatkan ide dari orang lain.

FYI, tautan TIO tidak berfungsi dengan baik, karena tidak diterapkan \rdengan benar.

F #, 142 byte

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

Saya tumbuh di Irlandia sekitar setengah kilometer dari perbatasan. Terlepas dari tanda "Selamat datang di Fermanagh" dan tanda jalan berubah Anda tidak akan tahu Anda akan memasuki negara lain. Digunakan untuk menyeberang dua kali dalam perjalanan ke sekolah.

c, gcc 114 byte

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);}}

Tidak ada yang dihapus, program lengkap. Program dikompilasi dalam gcc di Ubuntu. Hitung mundur tidak akan menampilkan jejak panjang pernyataan cetak karena panggilan sistem untuk menghapus dan berhenti ketika hitungan mundur mencapai 0 detik.

Tidak disatukan

#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();
  }
}