rscho

11 ms·

121.
by rscho 2y ago
Industrial eggs are tightly controlled. Homemade eggs are far more susceptible to infection. AFAIK, scrubbing eggs like in the US is generally a bad idea, and results in the need to refrigerate them.
122.
by rscho 2y ago
It would likely much increase salmonella infections. Which currently appears as a far nastier problem.
123.
by rscho 2y ago
The main difference separating them is the array model. APL has the so-called 'nested array' model, meaning that everything is an array. J has a 'flat array model' meaning scalars are distinct from arrays. Both models in
124.
by rscho 2y ago
Stress does cause ulcers...
125.
by rscho 2y ago
Mark Thom's intention is implementing Shen. I guess it could count as a lisp and that's what you meant, but as lisps go, Shen is highly atypical.
126.
by rscho 2y ago
Ok, but MiniKanren isn't intrinsic to Scheme. I agree Racket makes it especially easy to embed sub languages, but you could embed core relational Prolog just as well as MiniKanren. My understanding of your statement is that Scheme and
127.
by rscho 2y ago
https://github.com/Anniepoo/swiplwebtut/blob/master/web.adoc
128.
by rscho 2y ago
How does MiniKanren fix some limitations? MiniKanren corresponds to the purely relational subset of Prolog.
129.
by rscho 2y ago
I'd say Prolog delivers in a (relatively wide) subset of its domain of application. For instance, I'm writing a solver for some common issues in epidemiology, at the moment. I was able to write a fully declarative (and purely rela
130.
by rscho 2y ago
TBH, I don't remember where I first read it, but it's all over the web xD. This is all just a misunderstanding: since I knew you were a Prolog expert, I assumed you would recognize my (botched) quote and the context. Yeah, I under
131.
by rscho 2y ago
Not an appeal to authority. Just showing that quote wasn't of my invention. I don't really get why you're so riled up. I'm not saying SLD resolution is dumb, just that Prolog stays simple by not including all the clever
132.
by rscho 2y ago
" Prolog is an efficient programming language because it is a very stupid theorem prover. " -- Richard O'Keefe
133.
by rscho 2y ago
Well, I mean... Prolog is an implementation of 1st order logic with syntax sugar. So basically, Prolog is incredible if your problem can be expressed within the framework, but less so if it can't. That's pretty much why there we
134.
by rscho 2y ago
There is a bit of... let's say friction between Markus Triska (Scryer) and Jan Wielemaker (SWI), I seem to remember. The SWI people are much less attached to ISO Prolog ( i.e. prone to experiment with non-ISO syntax), and some things
135.
by rscho 2y ago
I fail to see why universities should align on their country's strategic interests. Universities are not political nor military entities. Additionally, pie in the sky projects is what's needed to advance science, which is very dis
136.
by rscho 2y ago
Well, it's a fact that you're at high risk of a problem with those meds if you have a cardiac, renal or neurologic medical problem. Now, personally and as a doc myself I'm perfectly open to people taking whatever they like if
137.
by rscho 2y ago
Well, of course people would like OTC meds for erectile dysfunction. Unfortunately, Viagra and friends must be controlled due to dangerous side-effects. But most people won't ever understand that. They'll just say it's the ba
138.
by rscho 2y ago
Guaranteeing freedom of speech and preventing a talk from happening seems contradictory.
139.
by rscho 2y ago
Certainly, some countries have a more engineering-focused academic style. Western academia has always been more about advancing knowledge, which IMO is academia's mission.
140.
by rscho 2y ago
For sure they do. I can't see it being only 40% otherwise.
141.
by rscho 2y ago
Viagra absolutely participates. Cocaine causes intense arterial constriction, which impedes blood ejection from the heart. Viagra causes intense venous dilation, which reduces the amount of blood returning to the heart. This combination is
142.
by rscho 2y ago
One just needs to write "LLM" to get the same effect ;-)
143.
by rscho 2y ago
The docs for the Rosette language used to write their verified interpreter: https://docs.racket-lang.org/rosette-guide/index.html A talk presenting the language by the author (Emina Torlak): https://m.youtub
144.
Preventing conflicts in authoritative DNS config using formal verification(blog.cloudflare.com)
64 points by rscho 2y ago|3 comments
145.
by rscho 2y ago
The sister's answer is the answer pretty much any doc knowing the bare minimum about flu would give. This was already the case before the last pandemic. The flu virus is closely monitored for this exact reason: medical authorities and
146.
by rscho 2y ago
Not unique to the US. This develops to a certain extent everywhere private insurance is sold. It is a completely logical consequence of the insurance company raking in the most when selling you insurance for everything that won't happe
147.
by rscho 2y ago
Well, docs have seen this coming from miles away. I don't think anyone having substantial experience in clinical medicine is surprised by those developments, unfortunately. But it doesn't stop here. Insurance companies will be (ar
148.
by rscho 2y ago
Hilarious case in point https://www.cbsnews.com/news/carl-stewart-drug-dealer-identi...
149.
by rscho 2y ago
I think US has a much larger need for welfare than Denmark, or actually maybe all Western nations. So, welfare and care for the homeless is super pricey. IMO, this a byproduct of the extreme form of capitalism practiced in the US.
150.
by rscho 2y ago
Health culture in the US and Danemark are complete opposites. I mean how common people think about the system, and their expectations. Americans basically do not want to pay for anyone else than themselves. Europeans expect a strong social

More ›