From: Gautier Write-Only Address <gautier_niouzes@hotmail.com>
Subject: Re: Advent of Code
Date: Mon, 14 Dec 2020 09:43:05 -0800 (PST) [thread overview]
Message-ID: <a80a809f-9aeb-4615-a6f0-97180d75316dn@googlegroups.com> (raw)
In-Reply-To: <867dpzizll.fsf@stephe-leake.org>
On Wednesday, December 2, 2020 at 11:59:23 PM UTC+1, Stephen Leake wrote:
> On these small files, can you really tell the difference in speed
> between GNAT and HAC? or (insert other favorite editor, mine is Emacs)
> and LEA? for me, everything is instantaneous.
From GNAT Studio I get a range of 1.5 sec (an i5 PC @2.9 GHz) to 9 sec (a lightweight laptop)
for building aoc_2020_12.adb (almost a benchmark for easy puzzles ;-) ).
On the same source, I run hac -v2 aoc_2020_12.adb:
Compilation finished in 0.000335500 seconds.
Part 1: Manhattan distance of the ship to (0,0): 1631 (1631.0)
Part 2: Manhattan distance of the ship to (0,0): 58606 (58606.0)
VM interpreter done after 0.008894500 seconds.
So, for this kind of puzzle, it makes a difference (correct solution to part 1 was sent at 00:11:01).
But agreed, it's quite rare.
Especially on today's puzzle, I didn't even consider using HAC...
next prev parent reply other threads:[~2020-12-14 17:43 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-11-28 3:12 Advent of Code John Perry
2020-11-28 18:40 ` Stephen Leake
2020-11-29 3:36 ` Jeremy Grosser
2020-11-29 14:03 ` Bojan Petrovic
2020-12-01 7:08 ` John Perry
2020-12-01 11:37 ` Max Reznik
2020-12-01 11:37 ` Jeffrey R. Carter
2020-12-01 12:17 ` Stephen Leake
2020-12-01 18:33 ` Per Sandberg
2020-12-01 19:45 ` Simon Beàn
2020-12-01 20:10 ` John Perry
2020-12-02 0:12 ` Stephen Leake
2020-12-01 20:37 ` R R
2020-12-02 12:35 ` Jeffrey R. Carter
2020-12-02 16:09 ` John Perry
2020-12-02 16:57 ` gautier...@hotmail.com
2020-12-02 18:01 ` John Perry
2020-12-02 20:51 ` gautier...@hotmail.com
2020-12-02 21:29 ` Max Reznik
2020-12-02 23:04 ` Stephen Leake
2020-12-03 14:52 ` Wendel Wang
2020-12-03 17:20 ` Björn Lundin
2020-12-03 17:36 ` John Perry
2020-12-03 18:25 ` Wendel Wang
2020-12-03 18:38 ` Jeffrey R. Carter
2020-12-03 18:50 ` gautier...@hotmail.com
2020-12-03 19:47 ` Björn Lundin
2020-12-08 20:44 ` Max Reznik
2020-12-08 21:06 ` John Perry
2020-12-13 18:26 ` Maxim Reznik
2020-12-13 21:36 ` John Perry
2020-12-02 22:59 ` Stephen Leake
2020-12-14 17:43 ` Gautier Write-Only Address [this message]
-- strict thread matches above, loose matches on Subject: below --
2020-12-14 19:51 Stephen Leake
2020-12-14 21:56 ` John Perry
2020-12-16 22:05 ` Maxim Reznik
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox