Hacker News Reader

qrobiton WinBtrfs – an open-source btrfs driver for Windows

Well, only "pure" in the sense no IO effect happens. I doubt mentioned library neglects state or global variables

qrobiton Ask HN: How bad is the xz hack?

That is definitely creepy. Having an age of AI in mind I wonder how much more sophisticated will viruses become and what makes me believe my machines are not compromised already? I hope to never get an answer, or even better, get a negative one.

Makes me wonder whether it's time to reduce complexity and diversity in technology? Wouldn't it be beneficial to recreate everything from scratch(except maybe for machines producing hardware)? Leave one or two compression standards that are easy to understand and implement once and for ever. Maybe even aim to make them "finished" since the very beginning? So that they won't require changes after some time. I believe that recreating that and foundational things: compiler(of a language that is reinvented and standardized), OS components, web protocols and so on would be beneficial. There are so many of each and each can be vulnerable now or get vulnerable in the future. Many pitfalls aren't mentioned like why would we believe existing hardware producing new components to be trustworthy or how to make such a revolution without loosing so much progress, who will found it and how can it found commercial interest.

These are, of course, just murky dreams that linked book gave birth to, but there is no reason not to be paranoid.

qrobiton 25 years of studying the brain: Avoid these 4 habits that destroy our memory

I am a low-RAM single-threaded processor that utilizes a poor multitasking scheduler

qrobiton Fingerprints can be recreated from the sounds made when you swipe a screen

I am by no means competent but I believe frequencies of swiping and frequencies of you shouting differ substantially which will allow to separate them

qrobiton Browsers Are Weird

At least both the extension(tst) and the browser (firefox) are open-source. And you can use firefox on any desktop platform including BSDs while arc is limited to MacOS and Windows

qrobiton Natural Deduction in Logic (2015)

It is very much like interactive theorem proving(like LEAN[1])

yellow blocks on top are your premises

teal and dark-red blocks on the bottom of the solution-block are your goals(dark red block is your current goal, to which you apply rules)

First level can be solved in the following way:

1) replace conjunction (q and r) with q, r[rule 3]. Current goal becomes q

2) replace q with (?s and q) [rule 5]. Current goal becomes (?s and q)

3) apply your premise (p and q) to solve current goal (goal becomes r)

4) apply your premise (r) to solve current goal

5) congratulation!

[1] https://lean-lang.org/