Hacker News: DiscoDays

New comment by DiscoDays in "Human mathematicians are being outcounterexampled"

DiscoDays — Mon, 20 Jul 2026 21:45:16 +0000

It is also a good thing, because it helps to refine the theorem statement. At least, my humble experience in CS theory research is that I’d try to prove a theorem I want to be true, find a counterexample, refine the statement, and continue.

P.S. It helps that in CS lots of theorems are about either inductive or coinductive definitions.

New comment by DiscoDays in "The only tourist in Moldova"

DiscoDays — Fri, 19 Jul 2024 11:13:36 +0000

> if you’re not educated in the Soviet Union you will know it

My grandparents and parents and siblings all learned Ukrainian in school during Soviet times. This is in what now would be considered a predominantly Russian-speaking part of Ukraine btw.

New comment by DiscoDays in "OCaml: a Rust developer's first impressions"

DiscoDays — Sun, 12 Nov 2023 05:32:18 +0000

Perhaps, but presumably code that is meant to have an external interface will be in a module and will have an *.mli file to it, and that is an excellent place to constrain your types explicitly if you must.

New comment by DiscoDays in "Arm Announces Public Filing for Proposed Initial Public Offering"

DiscoDays — Tue, 22 Aug 2023 09:06:34 +0000

What does it mean that Arm is headquartered in the UK, practically speaking? What kind of a change would need to happen for, say, the Austin office to become the headquarter?

New comment by DiscoDays in "Original Fallout dev shares 90s game development stories"

DiscoDays — Wed, 31 May 2023 20:21:37 +0000

While it is in many ways a different game, I somehow suspect the fanbases of Fallout 1/2 and Disco Elysium largely overlap.

New comment by DiscoDays in "Russia confiscates passports of senior officials to stop defections"

DiscoDays — Mon, 03 Apr 2023 12:12:27 +0000

> Unfortunately these things are reportedly happening, the sentiment should be anti-Putin but ends up being anti-Russian, mostly thanks to Russians like these: https://t.me/glavredinfo/61841

If you don't mind me asking, why should the sentiment be anti-Putin? What makes you think that the war is not being supported by a significant fraction (if not majority) of the Russian population?

New comment by DiscoDays in "Thousands of scientists publish a paper every five days (2018)"

DiscoDays — Fri, 06 Jan 2023 15:51:20 +0000

How would you formulate what the problem is and why it is time to do something about it?

New comment by DiscoDays in "RISC-V Pushes into the Mainstream"

DiscoDays — Sat, 24 Dec 2022 00:24:58 +0000

> We still had to pass ARM compliance tests.

You are making it sound like a burden, but I do not understand why it would be. Surely you are interested in safety checks giving you more confidence that you are positioning yourself to take advantage of the Arm ecosystem (instead of releasing something that is not supportable by compilers and OS experts)?.. Or am I misunderstanding the nature of the compliance tests?

New comment by DiscoDays in "A book teaching assembly language programming on the ARM 64 bit ISA"

DiscoDays — Fri, 23 Dec 2022 11:09:11 +0000

> Is learning any sort of Assembly language a good investment of time?

Learning to understand Arm architecture specifically or computer architecture in general can be invaluable. A particular Assembly syntax is just a way of expressing what you want to do.

I would suggest reading a book about computer architecture or taking a course. And if you are like me and are interested in what complicated things hardware does to fulfil the needs of software, you might want to first read a book on operating systems (like OSTEP by Arpaci-Dusseaus, which is marvel of accessibility and challenge for students), because it will make you ask relevant question.

New comment by DiscoDays in "The strange case of Britain’s demise"

DiscoDays — Sat, 17 Dec 2022 16:59:45 +0000

> It has nothing to do with multiple large ethnic groups that tend to cause tension in the long run, see Israel and Donbas for example.

Please elaborate. As somebody from the East of Ukraine (and, incidentally, as someone who lived in Israel for some years too), I am curious what I am supposed to learn about ethnic tensions from these two examples.

New comment by DiscoDays in "Russia’s apparent resilience is being kept up by policy tricks and cash"

DiscoDays — Fri, 09 Dec 2022 16:03:47 +0000

According to what I am reading on Russian-in-exile liberal media with persistent anti-war agenda [1], just several months ago polls (both state-backed and "independent" ones) suggested that more than half of the Russians were in favour of the war. The article I am citing suggests that there has been a change in opinions recently, but still.

[1] https://meduza.io/feature/2022/11/30/za-peregovory-s-ukraino...