clemsen
Joined 14 years ago
Karma
55
Submissions
31
Member since
Oct 25
Recent submissions
Comment · 2 years ago
Comment · 10 years ago
I would love to get more details on the linear-integer solve methodology, as it sounds impressive.
Was the problem formulated to also work as a linear problem where the binary or integer variables were first treated as positive non-integer variables, and then checked using branch-and-cut (That's how I would do it)?
Or did you do something differently?
Fortunately, we found a different plan of attack: one
which allowed the integer-linear-programming solver to
explore the problem space more efficiently and find
optimal solutions faster. What previously took an hour,
now took 0.2 seconds.Comment · 10 years ago
This sounds like a (more or less well executed) PR move. As this robot has wheels and very little clearance above ground, it looks like the robot would even have difficulties climbing stairs. Thus "escapes" seems like an exaggeration.
Comment · 11 years ago
I did not identify how this service differs from using multiple SIM cards with the same number, which I can get for a small fee (below 10€) from my provider (in Germany).
Does anybody know how details about the specific implementation?
Comment · 11 years ago
For those of you who prefer using a GUI (and are using a windows computer): A similar program to Ohmu called "Spacesniffer" displays the space folders and files use, as well as free space in a treemap. It has helped me a lot to quickly see how big some folders are.
Comment · 11 years ago
Did anybody find out how podcasts are integrated into Spotify? What interests me is if there will be a dynamic playlist of unlistened episodes. This would be great, as I don't know any good podcast applications for Windows.
EDIT: Spelling.
Comment · 11 years ago
Anybody who spent some time on https://community.spotify.com will agree that Spotify does not give a damn about the opinions of their most passionate users (the ones that actually want to improve the experience by participating in the forum!).
Especially since Spotify significantly increased font size and line spacing for no obvious reason [1] and no option to change it back even when this was a (from my perspective) widley demanded feature, I have lost confidence in the community process.
[1] https://community.spotify.com/t5/ideas/v2/ideapage/blog-id/i...
Comment · 11 years ago
Alt-tabbing into Spotify and then pressing space does not pause the playback on my Windows 7 system either...
Comment · 11 years ago
Hi, do you have an estimate when the SFTP option will be available in the Windows version? I have heard it exists in the OSX version.
Comment · 11 years ago
This looks like fun!
It seems that the copied champions are simulated in every run. As long there is no random influence you can probably skip this simulation, as the simulation of the champions is also most likely the most CPU intensive.
EDIT: Grammar.
https://gitbutler.com/