Brexit เกิดขึ้นแล้ว และ Sky News ซึ่งเป็นอัจฉริยะพวกเขาได้ตัดสินใจที่จะสร้างการนับถอยหลังที่ด้านข้างของรถบัส

งานของคุณคือทำสิ่งที่คล้ายกัน สหราชอาณาจักรออกจากสหภาพยุโรปเมื่อวันที่ 31 มีนาคม 2019 และคุณต้องสร้างการนับถอยหลังแบบดิจิทัลสำหรับสิ่งนี้ที่เปลี่ยนแปลงทุกวินาที (โดยมีค่าเบี่ยงเบน 0.05 วินาทีที่อนุญาต)

อินพุต

โปรแกรมของคุณไม่ควรป้อนข้อมูลใด ๆ มันถูกแบน!

เอาท์พุต

มันควรเอาท์พุทเวลาจนกว่า Brexit ddd:hh:mm:ssในรูปแบบ ขึ้นบรรทัดใหม่นำหน้าและต่อท้ายได้ แต่การแสดงควรอยู่ในที่เดียวกันทุกครั้ง ควรดูราวกับว่ามันลดลงจริงในสถานที่ ตามที่ระบุโดย @AnthonyPham สิ่งนี้ไม่ได้หมายความว่าพิมพ์บรรทัดใหม่เพียงพอที่จะ "ล้าง" หน้าจอซึ่งหมายความว่าคุณต้องล้างหน้าจอจริง

ไม่อนุญาตให้ใช้เอาต์พุตเช่นนี้:

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

ไม่เป็นเช่นนี้

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

เพราะพวกมันมากกว่าหนึ่งบรรทัด

คุณไม่ต้องกังวลหลังจาก Brexit โปรแกรมของคุณใช้งานได้จนถึง 31/3/2019

กฎระเบียบ

• ช่องโหว่มาตรฐานไม่ได้รับอนุญาต
• นี่คือรหัสกอล์ฟรหัสเพื่อให้สั้นที่สุดในไบต์ชนะ
• ข้อความแสดงข้อผิดพลาด (แม้ว่าฉันจะไม่สามารถคิดได้) จะไม่ได้รับอนุญาต
• รหัสควรจะสามารถทำงานในเวลา 2 ปี (เมื่อสหราชอาณาจักรออกจาก EU) และควรแสดงเวลาจริงและไม่เริ่มต้นจาก 730 อีกครั้ง (ดูด้านล่าง)

กฎการนับถอยหลัง

การนับถอยหลังไม่ควรเขียนรหัสแบบยากและควรสามารถทำงานได้ตลอดเวลาก่อนที่ Brexit จะเสร็จสิ้นและยังให้ผลลัพธ์ที่ถูกต้อง เมื่อเริ่มวันใหม่ชั่วโมงควรเป็นไปตามรูปแบบด้านล่าง

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

ให้ฉันพูดอีกครั้งวันที่ Brexit เสร็จสิ้นเป็น 31/3/2562 เวลาเที่ยงคืนเพื่อความสะดวก (31: 3: 19 00:00:00 หรือ 31: 3: 2019 00:00:00 หรือรูปแบบอื่น ๆ ที่คุณต้องการ)

NB: ฉันคิดว่าฉันมีทุกอย่าง แต่ฉันไม่ได้โพสต์สิ่งนี้ใน Sandbox ไม่เช่นนั้นเวลาจะถูกปิด อย่าลังเลที่จะโพสต์คำแนะนำสำหรับการปรับปรุงเพราะมันไม่สมบูรณ์แบบ

JavaScript, 134 129 113 ไบต์

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

แก้ไข: บันทึก 2 ไบต์ขอบคุณ @Shaggy บันทึกแล้ว 11 ไบต์ด้วย @ l4m2

PowerShell, 70 63 55 53 ไบต์

ไม่รวมเครื่องหมายคำพูดคู่ง่าย -2 ด้วย@Joey

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

การรันสิ่งนี้ด้วย sleep เพิ่ม 8 ไบต์ แต่อินพุตจะมองไม่เห็นส่วนใหญ่ถ้ามันรันโดยไม่มีพวกมัน version (63 bytes) ด้วย sleep:

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

for() คือวงวนไม่สิ้นสุดและภายในวงนั้น ..

cls เพื่อล้างหน้าจอ

รับ31/3/19เป็นDateTimeวัตถุและ-วันที่ปัจจุบันจากมันเพื่อให้เวลาที่เหลืออยู่จากนั้น.ToString()( |% T*) ที่มีรูปแบบที่ถูกต้อง

สิ่งนี้จะแสดงเวลาลบหลังจาก Brexit

Excel VBA, 91 84 82 ไบต์

^{บันทึก 7 ไบต์ด้วย JoeMalpass ซึ่งชี้ให้เห็นว่า Excel เห็นวันที่เป็นตัวเลข
บันทึก 2 ไบต์ขอบคุณ JoeMalpass}

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

ผลลัพธ์คือเซลล์A1ในแผ่นงาน Excel ที่ใช้งานอยู่

Python 3.6, 146 ไบต์

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 ไบต์

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

บันทึกแล้ว 16 ไบต์ขอบคุณ @Bob บันทึกแล้ว 6 ไบต์ขอบคุณ @ Søren D. Ptæus

เวอร์ชันที่จัดรูปแบบ:

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 ไบต์

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

ขอบคุณ @Fels สำหรับการอ้างอิงMath@dgrcode สำหรับการอ้างอิงconsole

ยกเลิกแข็งแรงเล่นกอล์ฟ

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 ไบต์

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

ค่อนข้างตรงไปตรงมา 1553990400 เป็นเวลาประทับสำหรับ 31-3-2019 00:00:00 ใน UTC มันวนซ้ำโดยใช้ DateTime-> diff () -> format () เพื่อส่งออกว่าเหลือเวลาเท่าไร หลังจาก Brexit เกิดขึ้นจะเริ่มนับจาก 0

ความเห็น / รุ่นที่อ่านได้มากขึ้น:

// 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 ไบต์

บันทึก 7 ไบต์ด้วยการแปลงเป็นรูปแบบเวลาต่างกัน

บันทึกแล้ว 3 ไบต์ด้วยคำแนะนำของ Martin Ender

บันทึก 2 ไบต์โดยใช้ carriage return แทนที่จะเป็น backspaces

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

ไม่สามารถเรียกใช้บน TIO ด้วยเหตุผลที่ชัดเจน

มันเขียนใหม่การแสดงผลอย่างต่อเนื่องในวงวนไม่สิ้นสุดดังนั้นชนิดของข้อความกะพริบเข้าและออก (อย่างน้อยในคอนโซลของฉัน) แม้ว่ามันจะปรับปรุงเวลาจริงเพียงครั้งเดียวต่อวินาที

รุ่น 70- ไบต์นี้พิมพ์เพียงครั้งเดียวต่อวินาที:

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

คำอธิบาย

{                           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 ไบต์)

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 ไบต์

ขอบคุณBob ที่ช่วยประหยัด 57 ไบต์!

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

โปรแกรม Ungolfed:

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 ไบต์

ขอบคุณBob ที่ช่วยประหยัดอีก 47 ไบต์!

ขอบคุณMartin Smith ที่ช่วยประหยัด 4 ไบต์!

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

โปรแกรม Ungolfed:

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 ไบต์

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

ทำให้พังถล่ม

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
}

ขึ้นอยู่กับการtimeส่งคืนจำนวนวินาทีตั้งแต่ 01/01/1970 ซึ่งเป็นกรณีของฉัน (ใช้ Clang / GCC บน macOS) และควรเป็นกรณีสำหรับสิ่ง UNIX ส่วนใหญ่

ใช้ลำดับการยกเว้นเทอร์มินัลของbashเพื่อเลื่อนเคอร์เซอร์ไปรอบ ๆ ( <esc>[1Aเลื่อนเคอร์เซอร์ขึ้น 1 บรรทัด) มันจะดีกว่าที่จะสามารถใช้งานได้ง่าย\rแต่printfจะไม่ล้างจนกว่าจะเห็นบรรทัดใหม่และการล้างด้วยตนเองจะใช้เวลามากขึ้น

อาจนับถอยหลัง CPU มากที่สุดที่ฉันเคยเห็น ทำงานเป็นวนรอบร้อนแรงเพื่อให้แน่ใจว่าแม่นยำเสมอ หากวิ่งตามกำหนดเวลามันจะผลิตของแปลก ๆ ออกมา

AHK , 145 ไบต์

นี่ไม่ใช่คำตอบที่สั้นที่สุด แต่ผลลัพธ์ก็ให้ความรู้สึกที่ดีกับการลงโทษฉันคิดว่า ฉันพยายามส่ง keystrokes Ctrl+ Aตามด้วยDELแล้วก็ตามไม่ว่าเวลาจะเป็นเท่าไหร่แต่อัตราการรีเฟรชช้าเกินไปและมันจะทำลายสภาพแวดล้อมที่คุณอาศัยอยู่แทนจากนั้นฉันก็ไปกับ GUI มันกลับกลายเป็นว่าใช้เวลาน้อยกว่าไบต์ในการทำลายหน้าต่างและสร้างมันขึ้นมาใหม่เพื่อปรับปรุงการควบคุมซ้ำแล้วซ้ำอีกดังนั้นฉันจึงไปกับมัน มันเป็นผลที่ดี

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 ไบต์

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

รหัสไม่ได้รับการตอบกลับ:

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

ฉันจะไม่หาเคล็ดลับโดยไม่ได้รับความช่วยเหลือจากคำตอบ C # อื่นที่นี่

สำหรับผู้ที่กำลังมองหาการปรับปรุงเพิ่มเติมคุณสามารถใส่นิพจน์ Write () ไว้ในลูป for ดูเหมือนว่าฉันควรจะสามารถบันทึกไบต์อย่างใดอย่างหนึ่งที่นี่เพราะที่ช่วยฉันกึ่งลำไส้ใหญ่สำหรับคำสั่งที่ แต่มันทำงานออกมาเป็นจำนวนเดียวกันเพราะคุณไม่ได้มีร่างกายที่ว่างเปล่าอย่างเต็มที่:

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

ทับทิม (83 ไบต์)

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

Ungolfed

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

โดยพื้นฐานแล้วหนึ่งใน Python ที่ส่งมาพร้อมกับการปรับปรุงบางอย่าง เราเพิ่งปล่อย "\ r" เพื่อเริ่มต้นสตริงก่อนที่จะเรนเดอร์ใหม่ และสำหรับรูปแบบสตริงของ"%03d:%02d:%02d:%02d"เราไม่สนใจความกว้างของตัวระบุแรก ... ดังนั้นเราสามารถทำได้"%02d"*4และปล่อย backspace และช่องว่างเพื่อล้างลำไส้ใหญ่ที่ไม่จำเป็นออกไป

นอกจากนี้ฉันพบว่าตัวละครสองตัวที่สั้นกว่าprint: $><<. $>เป็นชวเลขทั่วโลก$defoutซึ่งเป็นกระแสออกสำหรับprintและและค่าเริ่มต้นprintf เขียนทางด้านขวาของมันไปยังสตรีม อักขระสองตัวนั้นสั้นอย่างไร ทีนี้ฉันสามารถเว้นช่องว่างที่นำหน้าเครื่องหมายวงเล็บที่ตัดสตริงรูปแบบได้STDOUTIO#<<

ณ จุดนี้ฉันคิดอย่างแท้จริงว่าไม่มีทางที่จะทำให้โปรแกรมนี้สั้นลงในรูบี

แก้ไข: ฉันผิด แต่แรกTime.new(2019,3,31)เราก็สามารถใช้เวลา UNIX 1553990400ดิบ:

แก้ไข 2: ฉันได้ลองเล่นด้วยการแยกตัวประกอบนาทีและแบ่งการประทับเวลา UNIX ด้วยค่าคงที่ แต่จริง ๆ แล้วมันไม่ได้ช่วยประหยัดไบต์ใด ๆ :(

แก้ไข 3: เปิดใช้งานการแคชh=3600จริง ๆ เจ็บฉันสองไบต์ อ๊ะ

แก้ไข 4: บันทึก 3 ไบต์ด้วย @EricDuminill เขาใช้ลอย แต่ปันส่วนทำงานโดยไม่สูญเสียความแม่นยำ!

แก้ไข 5: Array#*เป็นนามแฝงสำหรับArray#joinด้วย Ruby ?-syntax สำหรับอักขระแต่ละตัว!

JavaScript + HTML, 136 + 7 = 143 ไบต์

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 ไบต์

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

โปรแกรม Ungolfed:

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

Bash + GNU date, 128 bytes

2 ไบต์ถูกโกนทิ้งขอบคุณ @muru และ 2 ก่อนหน้านี้ต้องขอบคุณ @ 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

Ungolfed

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 ไบต์

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

TIO เห็นได้ชัดว่าไม่สนับสนุนการล้างเอาต์พุต แต่ต้องขอบคุณMATL Online !

ที่ 2 ไบต์ขึ้นไปอีกรุ่นที่เป็นมิตรกับ CPU มากขึ้นที่จะpause(หลับ) ทุกวินาที:

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

ลองสิ่งนี้ทาง MATL Online

737515คือ "วันที่ 31 มีนาคม 2019" แสดงถึงรูปแบบยุคเริ่มต้นของ MATLAB - จำนวนวันตั้งแต่วันที่ 0 มกราคม 0000 หรือไม่ก็ได้รวมถึงส่วนที่เป็นเศษส่วนเพื่อแสดงช่วงเวลาของวัน (ฉันพยายามย่อให้สั้นลงโดยการคำนวณอย่างใด แต่ปัจจัยเพียงอย่างเดียวคือ 5 และอีกหกหลัก (147503) และฉันไม่สามารถหาวิธีที่จะทำได้ในเวลาน้อยกว่า 6 ไบต์)

`    % 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 ไบต์

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

สิ่งนี้จะนับอย่างแม่นยำจนกระทั่ง0:00:00:00จากนั้นแตก / ออก -rทำงานด้วย

-2 ไบต์ถ้าฉันไม่ต้องพิมพ์ 0

RPL, 83 78 ไบต์

สมมติว่า HP48 ของคุณหรือที่คล้ายกันมีการตั้งค่าด้วยเวลาและวันที่ที่ถูกต้อง (สหราชอาณาจักร) รูปแบบวันที่ mm / dd และรูปแบบเวลา 24 ชั่วโมง:

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

ฉันรู้สึกประหลาดใจที่จะสามารถที่จะบันทึก 2 ":"ไบต์โดยการเอาพื้นที่รอบ ๆ 1.1 SUBเป็นวันที่ถูกต้องที่สั้นที่สุดหลังจากนั้นทิ้ง ระวังอีมูเลเตอร์เวลาอาจทำงานเร็วขึ้นหรือช้าลง (หรือไม่เลย) กว่านาฬิกาแขวนผนังของคุณ ด้วย HP ที่แท้จริงคุณสามารถหยุดโปรแกรมนี้ได้โดยกดปุ่มเปิด ... หรือรอแบตเตอรี่ที่ว่างเปล่า

PHP, 102 95 90 ไบต์

บันทึกแล้ว 7 ไบต์ด้วย @TheLethalCoder & โดยไม่แยกตัวประกอบ

บันทึกอีก 5 ไบต์ด้วยการเชื่อมต่อ

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

นี่เป็นสนามกอล์ฟครั้งแรกของฉันดังนั้นฉันอาจจะพลาดกลอุบายบางอย่าง แต่ที่นี่คุณไม่สนใจ

สำหรับ @chocochaos 'คำตอบ PHP ที่จะดีกว่านี้ผมเชื่อว่ามันมีข้อบกพร่องด้วยเหตุผลที่ฉันได้อธิบายไว้ในความคิดเห็นของฉัน แต่เป็นฉันใหม่ที่นี่ฉันอาจจะผิด หรือฉันเป็นแค่มือใหม่ :)

AWK , 78 ไบต์

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

ลองออนไลน์!

นานกว่าก่อนที่ฉันจะรู้ว่าฉันสามารถคำนวณเวลาสิ้นสุดได้ บางครั้งมันก็สายไปนิดหน่อยกับเกมและรับแนวคิดจากคนอื่น

FYI ลิงก์ TIO ทำงานได้ไม่ดีนักเนื่องจากมันใช้งานไม่\rได้

F #, 142 ไบต์

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

ฉันเติบโตขึ้นในไอร์แลนด์ประมาณครึ่งกิโลเมตรจากชายแดน นอกเหนือจากป้าย "ยินดีต้อนรับสู่ Fermanagh" และเครื่องหมายบนท้องถนนที่เปลี่ยนไปคุณจะไม่รู้ว่าคุณเข้าประเทศอื่นแล้ว เคยข้ามมันสองครั้งระหว่างทางไปโรงเรียน

c, gcc 114 ไบต์

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

ไม่มีโปรแกรมใดถูกละไว้ โปรแกรมรวบรวมเป็น gcc บน Ubuntu การนับถอยหลังจะไม่แสดงคำสั่งการพิมพ์ที่ยาวเนื่องจากการเรียกของระบบเพื่อล้างและหยุดเมื่อการนับถอยหลังถึง 0 วินาที

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