nsajko

65 ms·

841.
by nsajko 6y ago
I think your point is basically that you want human law to be as clear, definite, unambiguous as scientific theories or mathematical proofs should be. I think this makes you an extremist legal formalist/textualist. Firstly, I think you
842.
by nsajko 6y ago
https://en.wikipedia.org/wiki/Triple_modular_redundancy
843.
by nsajko 6y ago
I think a constitution is meant to be broadly worded so it would not have to be changed often, though. Are you proposing to make the constitution just a regular old law?
844.
by nsajko 6y ago
Consider a hypothetical religion that has worship which consists of something criminal (i.e. adherents kill for their god or something). I don't know the legal justification, but their freedom of religion would surely be trumped by my
845.
by nsajko 6y ago
I think the argument is just about unfair discrimination.
846.
by nsajko 6y ago
> bias in the USA towards the predominant religious institution away from the minority ones Are you sure that is the case at the federal level? Some states or governors may sometimes do something like you suggest, but I think at least th
847.
by nsajko 6y ago
> ... the Supreme Court is using the term "church" in their writing ... This seems to be an established practice, though, as in "wall of separation between church and state", or "Neither a state nor the Federal G
848.
by nsajko 6y ago
"The White Noise Supremacists" (1979) by Lester Bangs might be more interesting. https://www.villagevoice.com/2020/01/05/the-white-noise-supr...
849.
by nsajko 6y ago
What is responsible, though?
850.
by nsajko 6y ago
I missed any mention of the potential of some psychedelics for triggering mental illnesses (psychosis, etc.) in some people. I try not to judge users, but I think it is best to dodge the risk and not mess with your mind until science knows
851.
by nsajko 6y ago
A bit off-topic question: why do people use "parsing" instead of "lexing" or "tokenization" for denoting the analysis of strings from regular languages; considering lexing is just a trivial sub-case of parsing
852.
by nsajko 6y ago
> If I'm not mistaken the underlying transport protocol Some quick usage of Wikipedia suggest that you are, sadly, mistaken. ADAT lightpipe seems to use a completely different protocol (more capable?), and while S/PDIF and AES&
853.
by nsajko 6y ago
My Chromium plays audio to my external and internal cards fine without Pulseaudio, I have just ALSA and don't know who still uses OSS (no judgement, I just use the default). I think your comment can only have an adverse effect on the c
854.
by nsajko 6y ago
Is USB not sufficient?
855.
by nsajko 6y ago
You are oversimplifying. Both of the languages being Turing-complete does not imply Rust being as good a choice for talking to hardware as C is. What I am getting at is: the imaginary Rust replacement for Linux may have ten times as much co
856.
by nsajko 6y ago
Thanks.
857.
by nsajko 6y ago
But does the US government even now buy any of Twitter's advertisement?
858.
by nsajko 6y ago
Why do you say that Trump will definitely lose it once another person is inaugurated, but only maybe when another person is elected president? Honest question. Edit: I know election and inauguration are separate, I was wondering about the s
859.
by nsajko 6y ago
From day one it seemed to me like Trump's main goal was desecrating the federal state institutions. Seriously, the guy seems as if he cares only about stepping on the constitution and laws. Correct me if I'm wrong, but don't
860.
by nsajko 6y ago
It's not just about software security, a simple USB device can fry its host (your computer). https://en.wikipedia.org/wiki/USB_Killer https://hackaday.com/2015/03/11/killer-usb-drive
861.
by nsajko 6y ago
That is why I said "Linux-like". Redox has a microkernel design, which presumably makes writing the drivers in Rust much easier at the expense of some throughput and latency.
862.
by nsajko 6y ago
You have no proof that writing a Linux-like kernel in Rust would result in fewer bugs, or even that it is feasible at all (what with writing even linked lists being difficult).
863.
by nsajko 6y ago
> Last I checked, the US was imposing sanctions on Venezuela[2], and supporting an alternate head of state[3]. That is what I was talking about. Supporting an "alternate" unelected head of state to replace the directly elected
864.
by nsajko 6y ago
I know that you really meant Nazi insignia when saying "Swastika", but it still may interest you to see this page (with many pictures): https://en.wikipedia.org/wiki/Swastika Swastikas have a rich cultural hi
865.
by nsajko 6y ago
I don't find it clear the agreement is being violated, but I am not a legal expert. Anyways, the agreement is a matter between Britain and China, AFAIK. EDIT: I read a bit more about this in the intervening minutes, and it seems like t
866.
by nsajko 6y ago
You do realize this is Wikipedia, right? There is no bar to editing it. The rules of the game there are basically, if you can source something to a published book or newspaper, even if idiotic; it's game. Trying to change anything in c
867.
by nsajko 6y ago
That is not overloading, rather you are the one who is using the term overly specifically. Maybe it would be better to say Leninism or something.
868.
by nsajko 6y ago
For some reason Chromium 81 is not able to handle this PDF. Works fine on MuPDF, though. Could somebody in the know please say if this BURS stuff is used in, e.g., GCC or Clang or LLVM? Or maybe something else that might be familiar?
869.
by nsajko 6y ago
I kind of think that IEEE 754 (or other binary floating point) to ASCII conversion should be its own project, or else in a language's standard library, since it is quite involved, especially if accuracy is important.
870.
by nsajko 6y ago
Wayland is trouble for users who * do not want just the big Windows-like inefficient and bloated Gnome and KDE desktop environments. And also for those that like or need having various "desktop environments" to switch between. * l

More ›