tomas789

15 ms·

121.
by tomas789 4y ago
There is no Python benchmark but you can find a PR claiming it has 123,198ms. That would be a worst one by a wide margin. https://github.com/dyu/ffi-overhead/pull/18
122.
Ask HN: Who is using Haskell in production?
6 points by tomas789 4y ago|3 comments
123.
by tomas789 4y ago
CAISO Materials on the event http://www.caiso.com/Documents/California-ISO-Hits-All-Time-...
124.
by tomas789 5y ago
This sounds good but probably isn’t. Let me explain. The demand for power in Australia doesn’t get any lower by shutting down a power plant. The only thing that will happen is that the other power plants will ramp up to keep up with the dem
125.
by tomas789 5y ago
Jay Freeman is the man who found the bug. He is also author of the infamous Cydia - tool to install software on jailbroken iOS devices.
126.
Oil Production Vessel Explodes Off the Coast of Nigeria(twitter.com)
1 points by tomas789 5y ago|1 comments
127.
by tomas789 5y ago
I would be interested in reading something more in-depth. Especially how the algorithms behind the alignment work.
128.
The Worst Computer Bugs in History: Losing $460m in 45 minutes (2017)(bugsnag.com)
1 points by tomas789 5y ago|0 comments
129.
by tomas789 5y ago
I’m not in a similar situation so I cannot truely relate. I’d say start a company. It is difficult and your bank account will be the last criterion people will be judging you by. It will set a different kind of a bar for you. You will be am
130.
by tomas789 5y ago
They had a sample set of 2x 20 people. They were all healthcare workers. Though it might be an indicator this is not significant enough.
131.
by tomas789 5y ago
I did not investigate it properly but at first glance the efficiency is obtained via low current density of the electrolyser. That means high efficiency but low volume. That translates to more hardware needed to produce a unit of power. Sta
132.
by tomas789 5y ago
Looks like Nokia just called the guys who were designing 3310 and told them to make a new phone :)
133.
by tomas789 5y ago
I wrote a camera/IMU tracking software (VIO) before. I can confirm this statement. Get it working is difficult and requires getting all the algos right. Getting it work reliably is a lot of rigorous testing, collecting datasets, evalua
134.
Liquid Haskell
2 points by tomas789 5y ago|2 comments
135.
by tomas789 5y ago
I have a list of entities. The entities are partitioned by different properties (like color, speed and so on, partitions usualy cover the whole list but not always). Compilers like Haskell and Fsharp can catch exhaustiveness over individual
136.
Ask HN: How to start with formal verification to find bugs
16 points by tomas789 5y ago|9 comments
137.
Formal Verification: The Gap Between Perfect Code and Reality [2017](raywang.tech)
3 points by tomas789 5y ago|0 comments
138.
How to use structural pattern matching in Python(infoworld.com)
2 points by tomas789 5y ago|0 comments
139.
Apple Magic Keyboard with Touch ID(apple.com)
1 points by tomas789 5y ago|0 comments
140.
by tomas789 5y ago
Smartphones are often used as a brain for many robotics applications. They tend to be well equipped, physically rebosu, include battery and reasonably fast CPUs. All that for a fraction of the price of the proper robotics equipment (RPi&#x2
141.
by tomas789 5y ago
A relevant resource is a recent video from Scott Manley https://youtu.be/dBHbLV7xEhc
142.
by tomas789 5y ago
Disclaimer: I have a degree in robotics and worked for what is now Lyft Level 5, dealing with autonomous driving. What it does is basically a big optimization problem. You have 6 parameters for each picture (x, y, z, roll, pitch, yaw, alth
143.
by tomas789 5y ago
What is an advantage of this over just writing new rules to something like Pylint?
144.
by tomas789 5y ago
This describes one extreme of the spectra. That is go fast but be dumb. As far as I know this works well for many people. There are other grous of people going a bit slower but making more informed decision. I think of it as a scatter plot
145.
Pyodide: Python with the scientific stack, compiled to WebAssembly(pyodide.org)
1 points by tomas789 5y ago|1 comments
146.
StackOverflow: The Most Upvoted Question(stackoverflow.com)
2 points by tomas789 5y ago|0 comments
147.
AirTag Jailbroken By Turning It Off [video](youtube.com)
3 points by tomas789 5y ago|0 comments
148.
by tomas789 6y ago
I implemented a visual-inertial navigation based on the algorithm called MSCKF. It would be really interesting to know what kind of algorithm they are using. They mentioned state propagation in the article. This might indicate they are usin
149.
by tomas789 6y ago
Solving hydrogen storage has great implications. Hydrogen has high gravimetric energy density (1 kWh worth of H2 is light) but very low volumetric density (1 kWh takes up a large volume). Easy solutions are compressed hydrogen (H2 is a smal
150.
by tomas789 6y ago
I’ll definitely implement it on a button press in by AppDaemon linked to the Home assistant.

More ›