maweki

16 ms·

151.
by maweki 4y ago
> You can't really blame a language for the fact that some people wrote bad code in it. The inexistence of footguns or statically enforced good practices are things we would usually praise a language for. So why should PHP not take
152.
by maweki 4y ago
In logic programming monotonic means that adding a fact or rule does not remove an answer. Like SQL has monotonic queries where adding entries to a relation never gives you fewer answers. More formally: Database1 subset Database2 implies Qu
153.
by maweki 4y ago
The great thing about undecidable problems is, that you can put an arbitrary amount of research in and you'll probably find another subclass of instances for which the problem is indeed decidable. Only an infinite number of subclasses
154.
by maweki 4y ago
I haaaaate recipe books in ePub with a passion. They always look cheap and the images unapetizing and the formatting of the preparation steps never looks good.
155.
by maweki 4y ago
I'd say my baby preferred me playing around with my phone than speaking up. Doubly so when they were carried around sleeping.
156.
by maweki 4y ago
> Programming tasks are vast But little languages could be a nice interface for the non- or semi-programming tasks. Do you really want your domain experts to fiddle with the core of your application or do you want your programmers to do
157.
by maweki 4y ago
First of all, that's no reason to not talk about/teach it. And second of all, there are degrees to it. Not every bit of medical knowledge was obtained by vivisection and Mengele-style experiments on "undesirables".
158.
by maweki 4y ago
> Learning stuff is what matters in an educational institution, not moral judgement But we do hold the discovery process to moral standards. Every study involving humans (and I guess animals as well) goes through an ethics boards. I thin
159.
by maweki 4y ago
> but without the verbosity of an Optional or Maybe type Without the safety of having that encoded in the type system.
160.
by maweki 4y ago
You seem to think that modern cosmology is little more than uneducated guesswork, which is blatantly false. That explains my downvote at least. Not a moderator, but a marxist though.
161.
by maweki 4y ago
A distant object would have an absence of parallax.
162.
by maweki 4y ago
You mean back in the 1.099999904632568359375 days?
163.
by maweki 4y ago
I'd be wary about "Russia was attacking west for past 10+years on the cyber-front". Attribution is difficult enough as it is, but we only ever hear "trust us, we know" from the same people who said the same thing ab
164.
by maweki 4y ago
I'd say yes insofar, that it's clearly a case of Rice's theorem. Whether such a backdoor is contained in a program is a non-trivial property and therefore generally undecidable. All the other theorems (Gödel, Church, Tarski,
165.
by maweki 4y ago
Newspapers have been using columns to break up long lines for well over a century. It's hard to find to the next line, if they are too long.
166.
by maweki 4y ago
Unless x is immutable, in which case the semantics of both variants agree.
167.
by maweki 4y ago
That's a beautifully short definition, I think. "Base-size has 1sqm area. Halving does not change ratio of the sides."
168.
by maweki 4y ago
The server encountered a temporary error and could not complete your request.
169.
by maweki 4y ago
It's really nuanced and difficult for outsiders to grasp fully. The author says "In Germany, abortion is always illegal (sort of) but simply not punished in the first 12 weeks." which is not true. You also have to have a &quo
170.
by maweki 4y ago
So is the language planned to be computationally complete or total? I was not completely clear on your definition of totality. But I am all for not Turing-complete models of computation that still do useful things.
171.
by maweki 4y ago
Needing to program specifically? No reason. The computational and analytical thinking skills that come with it are generally useful though. I also never again written a poem analysis or held a talk about labour movements in the Weimar Repub
172.
by maweki 4y ago
LibertyOffice?
173.
by maweki 4y ago
> Activist employees are toxic to company culture. Like leading an effort to unionize? I know that's socialism talking, but democracy in the workplace is as important as it is outside of it. And the free sharing of ideas (up to a p
174.
by maweki 4y ago
> Scotland can't join the EU if it goes independent anyway Why though? It's not like the UK could dangle a veto over their heads now. Spain already pledged not to veto.
175.
by maweki 4y ago
Why is holding the pro-independence people to "once in a generation" okay but not holding the contra-independence people to "this is the only way to stay in the EU"? The issue was a vote on staying in the EU as much as s
176.
by maweki 4y ago
It seems like there's enough disruption in this area already.
177.
by maweki 4y ago
But what if I have the private keys to said deposit box?
178.
by maweki 4y ago
I would agree that the compilation to machine code might do something different than the high-level mental model. Though the machine code or intermediary code might be interesting to some, the semantics and mental model on a higher level ar
179.
by maweki 4y ago
> shove it back into variable a Python is more of a lisp. The assignment semantics are different to C. Actually, you're letting the name "a" point to the newly created object. In C, a variable is a memory position you can
180.
by maweki 4y ago
Somehow the podcast library is a bit mixed up with multiple podcasts of the same name. If you look for the "Greatest Generation" Star Trek podcast, the preview indeed shows the Star Trek podcast but clicking it brings you to a com

More ›