zasdffaa

21 ms·

181.
by zasdffaa 4y ago
Thank you for the link, I got 17 minutes into this lazy slop and got to the something about law (judicial law that is) being "alive and sexual" and couldn't take any more. Little useful is extracted, it's mainly academic
182.
by zasdffaa 4y ago
> Internally, the Idris2 compiler uses deBruijn numbering for its terms, which is tricky to get right once you start trying to manipulate terms I'm lost. Why does it use them; what does it get from doing so? Also if it's intern
183.
by zasdffaa 4y ago
What do axiomatic and involution mean in this (presumably literary) context?
184.
by zasdffaa 4y ago
If you're talking cost then maybe. In the right places such as hospitals, very likely. I'm questioning that we should do that indiscriminately in other places such as in homes. We have highly developed immune systems, let's n
185.
by zasdffaa 4y ago
It seems to be doing string ops at compile time and emitting a suitable function eg. format ('%' :: 'd' :: cs ) = FInt ( format cs ) Does that make it a bit like template metaprogramming if TM could disassemble s
186.
by zasdffaa 4y ago
Me: let's not do <thing> unless we have a reason. You: We should continue doing <thing> because we already do <thing> "carry on" is not a reason to do anything. I literally can't understand how you are
187.
by zasdffaa 4y ago
How about we stop worrying so much about germs unless killing them wholesale is shown to produce a significant increase in health. I am pretty sure bactericides etc. are being pushed by industry for their profit not our wellbeing at all.
188.
by zasdffaa 4y ago
IIUC, you can use it to ensure you never index outside the limits of your static array at runtime, this check being done at compile time.
189.
by zasdffaa 4y ago
I read that as "carnality issues".
190.
by zasdffaa 4y ago
Fair enough but I've heard this (wild dog herbivory) from several sources. I can't find better, sorry.
191.
by zasdffaa 4y ago
> Uncooked meat does not have near as many digestible calories density wise as cooked grains That seems very unlikely, what with fat and the lipids in cell walls - got a source?
192.
by zasdffaa 4y ago
> Most wild dogs would eat almost exclusively fresh raw meat Is that right? I understood most wild dogs eat a fair proportion of roots/berries and other herby stuff. A quick dig around: "Unlike cats, dogs aren’t obligate carniv
193.
by zasdffaa 4y ago
I was aware of the people but I thought they just lived in caves and didn't know of their buildings. Great stuff, thanks.
194.
by zasdffaa 4y ago
The first is debatable as it's city-ness. But that is an eye-opener! The second, wow! Thanks. I guess the scale both indicate a large social structure.
195.
by zasdffaa 4y ago
You've conveniently passed over the fact that free speech could be very unequal in the US, pretty good for whites, maybe not so good for others. That 'not binary' part seems to mean also between whites/non-whites, no?
196.
by zasdffaa 4y ago
Cities, yeah? Big ones? I know of mesoamerican cities like Tenochtitlan but I am unaware of any north american Indian cities (to be fair, I'm not from the USA), so some pointers would be very welcome indeed.
197.
by zasdffaa 4y ago
Well put in the first few paras. All systems need discretion, which can be abused. Also it's important not to fixate on the bad, there's plenty of good. The last 2, gets a bit self-congratulatory. Jim crow laws (until 1965). Emmet
198.
by zasdffaa 4y ago
Piracy is not paying for it. A qualitative difference, really.
199.
by zasdffaa 4y ago
> American here. We draw the line correctly. So no questioning it, no evidence or justification given, just a plain "we're right"[1]. You've made my point. [1] and by implication "everyone else is wrong"
200.
by zasdffaa 4y ago
> ...believing people should be able to speak their minds aint one of em And I agree. But that wasn't the point at all . Please re-read my post.
201.
by zasdffaa 4y ago
Possibly a massive lot of good - or not. My point was, it doesn't seem questioned by those who espouse it so strongly, so if it's set wrongly (if we can decide such a thing) it can't be re-set better.
202.
by zasdffaa 4y ago
Actually all but a couple of american's I've met have been very thoughtful, and open. The attitude that worries me is expressed online IME. I'll edit my post to say that.
203.
by zasdffaa 4y ago
Yes. I know that and you've just presented it again without asking yourself if it's right or if others should be judged by your standards. You've kind of made my point.
204.
by zasdffaa 4y ago
Brit here. Some of this stuff makes me uncomfortable about where to draw the line here. I, frankly, don't know. What makes me even more uncomfortable is not that the USA draws the line differently (better? worse? Just right? I don&#x27
205.
by zasdffaa 4y ago
Could you elaborate/provide a few reading pointers please?
206.
by zasdffaa 4y ago
"Sometimes it's better to stay in bed on monday rather than spend the rest of the week debugging monday's code" - some computer bod I can't remember
207.
by zasdffaa 4y ago
The Vera C. Rubin Observatory. About time she got some recognition, shame she's not around to see it.
208.
by zasdffaa 4y ago
It's a 10 meg image. Drag it off the browser onto the desktop (or save it) then use an image viewer/editor to zoom.
209.
by zasdffaa 4y ago
I don't see how that can be true. Lack of precision is one thing, lack of stability is very different. Instability leads to divergence from the true answer, and I would expect it to mean super-linear divergence (though I am not an expe
210.
by zasdffaa 4y ago
While my post was wrong, in fairness the context was specifically about keyboards. Nothing to do with audio. I suppose I should have been explicit but the context was keyboard entry.

More ›