orbifold

83 ms·

871.
by orbifold 8y ago
Intel uses SystemVerilog for implementation and most likely also verification, some of the verification features in the system verilog standard were actually contributed by Intel. At some point they were using a ML derivative called reflect
872.
by orbifold 8y ago
Well the UK is about to leave the team, without it the EU is significantly weaker...
873.
by orbifold 8y ago
Here is an unofficial lifestream of the talk Atiyah gave at the Heidelberg laureate forum: https://www.pscp.tv/w/1zqJVLeqXYDKB
874.
by orbifold 8y ago
At least on iOS and macOS I see no reason not to use Safari, Edge on Windows is pretty good too. Power users will stop recommending Chrome to the average user after these changes and over time market share will hopefully decline.
875.
by orbifold 8y ago
System verilog interfaces solve this. A lot of the publicly available code is just riddled with bad practices, just like it is the case with C.
876.
by orbifold 8y ago
Which is why the first thing that occurred to basically anyone ethical is that it would be very hard to create a social media platform that it would be really hard to prevent it from being used for harm.
877.
by orbifold 8y ago
Good luck training more than 2% of your population in math without significantly degrading the difficulty, I studied math and probably half of the people dropped out after the first semester.
878.
by orbifold 8y ago
If you are not super rich most likely you are paying a tiny fraction towards the higher education of someone else's child. Plus if you have kids you benefit from the same system. I actually know several people with useless degrees that
879.
by orbifold 8y ago
The fact that replicating a piece of software or music digitally has near zero cost suggests that the fair price according to classic economic theory is zero (the argument being, that the price in a competitive market should approach the li
880.
by orbifold 8y ago
String Theory is a theory in the same sense that Quantum Field Theory is a theory. You need concrete phenomenological models to make predictions. While there some ways to do that starting from string theory there is no one known model to ru
881.
by orbifold 8y ago
Actually the EDA industry for the longest time only hard working versions of their tools for "esoteric" cpu architectures like the Sparc and Solaris :). So yes by now they do support linux very well, some of the cadence and synops
882.
by orbifold 8y ago
Malloc does not fail under Linux unless you are in very peculiar circumstances.
883.
by orbifold 8y ago
No the LHC is a Large Hadron Collider, the previous collider was LEP a Large Electron Proton collider. They plan to build a linear electron proton collider similar to SLAC at some point.
884.
by orbifold 8y ago
Well the US history in Cambodia is as messy as the one in Vietnam. I don’t recall all the details but the Khmer Rouge was not inevitable without US intervention.
885.
by orbifold 8y ago
There is an arxiv version of the paper at https://arxiv.org/abs/1804.08711 .
886.
All-optical machine learning using diffractive deep neural networks(science.sciencemag.org)
50 points by orbifold 8y ago|23 comments
887.
All-Optical Machine Learning Using Diffractive Deep Neural Networks(arxiv.org)
3 points by orbifold 8y ago|0 comments
888.
by orbifold 8y ago
Illegal in Germany during a demonstration and grounds for arrest. They also routinely film you during demonstrations and capture all cellphone metadata and location. Facial recognition just automates part of the surveillance. But for groups
889.
by orbifold 8y ago
In Germany they pay teachers way more than that and some high schools teach Latin.
890.
by orbifold 8y ago
Just to be clear, I went through the two implementations ( https://github.com/snowkylin/ntm/blob/master/ntm/ntm_cell.py ) and ( https://github.com/MarkPKCollier/NeuralTuringMachine
891.
by orbifold 8y ago
The author states in his github repository ( https://github.com/MarkPKCollier/NeuralTuringMachine ) that his work is based on ( https://github.com/snowkylin/ntm ). If that is the case then I find it k
892.
by orbifold 8y ago
They ran a full page ad this week in the FAZ the German equivalent of the NYT basically apologizing and promising to follow a new set of values.
893.
by orbifold 8y ago
It is silly to compare the absolute expenses for education in different countries, you have to somehow normalize for example the teachers wages with respect to the purchasing power, since it is much cheaper to live in Vietnam compared to th
894.
by orbifold 8y ago
Are you not using ninja? Both of my private machines have 16GB and I can compile LLVM without a problem.
895.
by orbifold 8y ago
Video playback has still screen tearing in a default Ubuntu installation, something that has not been an issue in either Mac OSX or Windows for a long time.
896.
by orbifold 8y ago
You can summarize Maxwells equations in any dimension using two formulas: $$ \delta F = j d F = 0 $$ where $F$ is the field-strength two-form and $j$ is the current density.
897.
by orbifold 8y ago
Can you please give a reference for the ~250fj MAC?
898.
by orbifold 8y ago
Whether you find something like this surprising largely depends on your prior knowledge. There are quite different sets of people that work with statistics, theoretical physicists are one of them. So a recent advance in one field (machine l
899.
by orbifold 8y ago
Lack of type safety and static analysis tools. You can't apply formal verification to it. I wouldn't sit in a car in which any safety critical component was driven by python. Hopefully you would also not be able to get it certifie
900.
by orbifold 8y ago
It is a really valuable tool for knowledge workers. If you study medicine for example a lot of courses provide you with tons of slides with low information density. The last thing you want to do is carry them around as printed out stacks of

More ›