freemint

58 ms·

661.
Multiple Dispatch: Common Lisp vs. Julia(old.reddit.com)
3 points by freemint 5y ago|1 comments
662.
by freemint 5y ago
Quantified SAT is decidable. Are you aware of any theories where expressions with quantors over finitely many choices are unsatisfiable but quantor free expressions are satisfiable over the same theory?
663.
by freemint 5y ago
Yes for SAT atleast. The best results I have seen used graph neural networks which were trained on different classes of problems (ones amendable to local neighborhood search, ones with a small unsatisfiable cores) and neural networks traine
664.
by freemint 5y ago
What you just stated about the critical temperature is true for some classes of random instances. Early results on larger classes of random instances from this line of research do not survive scaling experiments. I don't have a referen
665.
by freemint 5y ago
That's not how math works. They wouldn't need to produce 1% more 30 countires would need to produce 1% of world production in addition to their current produce. In other words the countries producing the other 70% each would need
666.
by freemint 5y ago
> any interpreted languages that have seriously implemented fat pointers Have a look at PicoLisp. It has less than a handful of data types but i uses "Tag Bits". Julia is not really interpreted but it uses pointer tags for uni
667.
by freemint 5y ago
> The 0BSD doesn’t actually inherit from any other BSD license, the “BSD” bit is more of a spiritual nod that I found more confusing than helpful. Don't tell Rob Landley that (the creator of the license). He is quite adamant that he
668.
by freemint 5y ago
No minister or administrator made a decision to deny RT some license. All they did is to enforce in an indiscriminate manner German law. Other stations which broadcast without license would also be treated in the same way.
669.
by freemint 5y ago
Can you post the FPL text? I am wondering whether it was literally the same license.
670.
by freemint 5y ago
Yes. At least if you want people who have to talk to lawyers to use the code. Lawyers don't like that. For some anecdotes see this talk https://youtube.com/watch?v=MkJkyMuBm3g (worth the hour, althoug Rob Landley write
671.
by freemint 5y ago
What do you mean? CC0 and 0BSD are both public domain equivalent.
672.
by freemint 5y ago
Because software licenses are a mess Linux and Samba implement the same protocol UT can't share code as one is under GPLv3 and one is under GPLv2. In the past GPLv2 was the universal receptor license for open source licenses (is that l
673.
by freemint 5y ago
You are probably not very old but anyway . Let's say you die in accident. Nobody will be able to use your code until either copyright is repealed (the boomers half life has kicked in long enough such that they are irrelevant and we can
674.
by freemint 5y ago
Badly. It is absolutely unclear how a judge would interpret it when the licensor later says he intended something else then what you interpret to be the spirit of the license as there is no "word of the license" that is legally pa
675.
by freemint 5y ago
A great talk on software licensing made by the creator of the 0BSD license (Rob Landley) and the history behind the license is here https://youtu.be/MkJkyMuBm3g
676.
by freemint 5y ago
RT was never banned in Russia (well before the EU decision at least). It was never allowed to broadcast because it would have to get a German TV license. I didn't get one instead it good some from Lichtenstein (?) for broadcasting whic
677.
by freemint 5y ago
Is Russia used the armies that are currently in the Ukraine to kill all Azov members there would still be objectively more Nazis in Ukraine then before the invasion. Any military force I have looked into has a lot of Nazis and Russia also.
678.
by freemint 5y ago
Russia today does some good reporting which is what makes it dangerous because false information or misleading reporting is mixed in on purpose under control of political russia.
679.
by freemint 5y ago
Because wearing a mask (banning broadcasting of RT is invasive and against liberal values) was unfashionable and people still complain and call it totalitarian. Now Europe is wearing a mask.
680.
by freemint 5y ago
https://adfontesmedia.com/interactive-media-bias-chart look into their methodology.
681.
by freemint 5y ago
https://datacenterfrontier.com/inside-facebooks-blu-ray-cold...
682.
by freemint 5y ago
Facebook has did in the past whether they still do i don't know. https://engineering.fb.com/2015/05/04/core-data/under-the-ho... Panasonic sold a similar product https://panasonic.net&#x2
683.
by freemint 5y ago
There are reason why one would want to implement a RISC CPU over x86-64. Atleast as a small team. Another problem is that many application today assume the presence of atleast SSE if not AVX2 which have been around for longer then or almost
684.
Kickbike(en.wikipedia.org)
1 points by freemint 5y ago|0 comments
685.
by freemint 5y ago
Or kick bikes. https://en.wikipedia.org/wiki/Kickbike
686.
by freemint 5y ago
My impression was they can very much be compliant as long as they sign a contract with you that they only process data themselves in manner compliant with GDPR in the services you make available for EU citizens.
687.
Woodrow Wilson Center Fellow: “Why Russia will lose this war?”(twitter.com)
5 points by freemint 5y ago|0 comments
688.
by freemint 5y ago
This should put to rest the notion that we can't afford some social or societal program.
689.
by freemint 5y ago
No.
690.
by freemint 5y ago
Thread on Twitter discussing the same thing. IMHO not an issue yet.

More ›