freemint

74 ms·

871.
by freemint 5y ago
Given how I am much more impressed by Amperes product Vs Amazon's Graviton those insights don't seem to be that valuable.
872.
Check point almost all your applications: dmtcp(github.com)
3 points by freemint 5y ago|0 comments
873.
by freemint 5y ago
During the last ARM HPC User Group conf i was able to get my hands a 160 core instance, i was shocked, holy moly do they beat Xeon when it comes to SAT solving in my test with HordeSAT.
874.
by freemint 5y ago
I think AI is actuator constrained compared to a spider which might be the larger problem.
875.
by freemint 5y ago
Which is what SafeInteger does internally. Checked is kinda obscure but i added a doc string to it which was merged with the main branch today.
876.
by freemint 5y ago
You are correct that “automatic big num conversion” works much against optimization. Int{8,16,32,64,128} in Julia also overflow silently. If you want other behaviour you can write your own custom behavior and "overload" +,* for yo
877.
by freemint 5y ago
For a successful technology(/medical intervention), reality must take precedence over public relations, for nature cannot be fooled
878.
by freemint 5y ago
Just doing random sampling on a small group to estimate the error ratio should also work. Also as long as everyone who has symptoms can get a test the error ratio is bounded by the ratio of people with symptoms making it irrelevant for this
879.
by freemint 5y ago
Better is the worst enemy of good. Please suggest a different metric then. One that can be measured easily and will do about as well as the biased infected numbers or one which will do better than the biased infected numbers at a similar ef
880.
by freemint 5y ago
Damn thanks. I like the German accent.
881.
by freemint 5y ago
The reason why people are obsessed with case numbers and not deaths is that case numbers control the case numbers in the insufficiently immunized which predicts death toll 3 weeks ahead of time. Why would you want to control a system with 2
882.
by freemint 5y ago
Ghost robotics design is a joke. You lose a really a lot of fire power by not being able to turn turn the gun.
883.
by freemint 5y ago
Yeah but non state actors don't. Just imagine dropping of robots with a gun from a car or send them via package. A 360 camera and a gun is a scary combination and as long as you use them in a suicide manner it doesn't even need to
884.
by freemint 5y ago
I've not seen anything convincing that slide can approximate convolutional layers like at all without almost doing a full convolution at which point it is not competitive. Can you link me to paper about recent (2021?) work or improveme
885.
by freemint 5y ago
You know about surrogate models being run in simulations (physics informed neural network and all that stuff) the US is investing a lot in this. Maybe then it makes sense why bfloat16 exist in SPR.
886.
by freemint 5y ago
Yeah after finding no difference in performance between dcpu and the normal hetzner offerings in my benchmarks I didn't benchmark all instances
887.
by freemint 5y ago
Science disagrees on you with the harmless part. It is shown that violent video games desensitise people with regards to violence, just as violent movies do except there is a categorical difference interactiveness. I don't like that fa
888.
by freemint 5y ago
I also read it that way.
889.
by freemint 5y ago
That was literally 12 years ago and is not in effect and doesn't even have a German wikipedia page and the federal court would have nicked. Ist alles von der Kunstfreiheit gedeckt!
890.
by freemint 5y ago
Citation please?
891.
by freemint 5y ago
How did you come to those numbers? I did my own benchmarks and Hetzner definitely came on top of Vultr. https://github.com/freemin7/discount-cloud-geekbench-5
892.
by freemint 5y ago
whitequark is pretty genius. I think i saw that on her twitter previously but thanks for the trip down memory lane.
893.
by freemint 5y ago
> Higher Level abstractions like here: https://www.youtube.com/watch?v=x_I6Bu7IDJo ?
894.
by freemint 5y ago
It is out of patent. Nobody prevents you from just doing that. But yeah it would be interesting to watch
895.
by freemint 5y ago
They haven't come around to updating the page for a while (someone lost login info or something like that) but they have a new core and some projects that use the new SH4 equivalent core. https://www.coresemi.io/ They
896.
by freemint 5y ago
Do you still have access to this?
897.
by freemint 5y ago
Don't forget Ampere's A1 i found them really, really impressive for SAT solving and that you can get them at 1ct/core/hour at Orcale makes them really financially attractive.
898.
by freemint 5y ago
> ODEs (out of singular points) have a unique solution for any set of initial conditions I am not sure if that statement is to weak. In general you can only guarantee the solution of an explicit ODE over some interval if the right hand s
899.
by freemint 5y ago
This is a good question and the answer depends on what you mean by formula. One could probably show that there exists no formula using a finite number of +,*,/,^. However one might be able to define functions which together with a fini
900.
by freemint 5y ago
and capacitors

More ›