poindontcare

They are delusional if they think that the only use of LLM for scientific research is to correct grammar.

hahahaha!

MuZero: https://en.wikipedia.org/wiki/MuZero

ORB, SIFT, ICP, Open CV

"Returns 1 if the computer is on. If the computer isn't on, the value returned by this function is undefined."

This is so critical and so easy to forget. Every day is an effort to remind oneself of these basic truths.

“Whenever distress or displeasure arises in your mind, remind yourself, “This is only my interpretation, not reality itself.” Then ask whether it falls within or outside your sphere of power. And, if it is beyond your power to control, let it go.” ― Epictetus

The only way to be sure you understand everything is to learn quantum mechanics perhaps string theory too just to be safe. But in practice modesty dictates we limit to learning as much as we can to get the job done.

Beautiful

Not saying that any of this is even remotely easy. Simply pointing out what should be some form of ideal. The laws are not meant to be rigid or hardcoded but to be striving for some ideal. The ideal are the axiomatic input to the systems and thus the center of the flaws in our thinking. Thus society that keep redefining what it means to live in an ideal society by looking at the consequences of our laws. But not considering any of this is simply to avoiding thinking about the consequences of the current state of affairs, where many get disenfranchised by the current system as can been seen quite clearly in racial/economic skews of populations in the prison system. The three strikes law is a perfect example of a law where the consequences of the laws which though not perfectly predictable are also not perfectly unpredictable but a consequence the inherent prejudices of people being arbitrarily enacted into laws with little examination of the consequences. To have an explicit legal system would need the explicit spelling out of these prejudices and at least provide a coherent narrative which can be argued against with data and alternatives.

I must disagree, not having the implications of laws obvious and runnable and checkable by anyone owning a computer is a big impediment to the democratic ideal. To have interpretations running in the brain of a specialized workers takes away from the ideal that anyone can know plainly what are the implications of laws. These laws can tie into economic models and make the ethical choices a law makes more obvious and checkable by anyone. There is are parallel between mathematical proof checking and computer proofs where flaws, loop holes in arguments can be more easily checked for. It also allows one to run counter simulations for alternative laws. And ideally can allow us to shift away from representative democracy to a more direct form allowing anyone to contribute to laws when they can show the new law can be better in some practical utilitarian ethical model. It also forces us to make our models of what a free ethical society should be more concrete rather than sticking to abstract buzzwords with open interpretations. Just a personal opinion.

hmm maybe put it in the kernel and use it for debugging? cant use userspace threading libraries though.

+1 : Will Thurston's : "On Proof and Progress in Mathematics" is a highly highly recommended read. Very inspirational stuff.

why do words like 'idiots' and 'dummies' need to be on the first page.

Also a contributor to discrete math while teaching in at waterloo (graph theory and combinatorics):

http://en.wikipedia.org/wiki/W._T._Tutte#Doctorate_and_caree...

Laws for sale.