Slashdot Mirror

← Back to Domains

Domain: mpi-sws.org

Stories and comments across the archive that link to mpi-sws.org.

Comments · 8

  1. Re: Don't be lazy programmers by theweatherelectric · · Score: 1 · on How Linux's Kernel Developers 'Make C Less Dangerous' (hpe.com)

    Don't worry. There's a Rust Verification working group aimed at developing formal verification methods for Rust. See also RustBelt.

  2. Re:Ada by roca · · Score: 1 · on TechCrunch Urges Developers: Replace C Code With Rust (techcrunch.com)

    Ada has nothing like Rust's affine type system and the Rust features that flow from it --- strong control of aliasing, immutability guarantees (while you have an immutable reference to data, *nothing* else can modify that data), data-race freedom, dynamic memory allocation with no possibility of dangling pointers while not requiring GC/refcounting, etc.

    This paper explains the unique virtues of Rust in a language-theoretic manner: https://people.mpi-sws.org/~dr...

  3. Similar tools? by Anonymous Coward · · Score: 0 · on Tor's Ooniprobe, Now Available On Android and iOS, Helps People Track Internet Censorship (cnn.com)

    Are there any similar tools that will run in a browser on a computer, without requiring third party software? I used to use Glasnost every now and then, but they just shut down this week. And Netalyzr requires Java which is a non-starter for me.

  4. Re:Thanks by Kernel+Kurtz · · Score: 1 · on Enraged Verizon FiOS Customer Seemingly Demonstrates Netflix Throttling

    Or just bookmark Glasnost http://broadband.mpi-sws.org/t... and test regularly.

  5. Re:Bandwidth is great by girlintraining · · Score: 1 · on Chattanooga's Municipal Network Doubles Down On Fiber Speeds

    I appreciate your post, but you're either misinformed or woefully out of date. Comcast dropped Sandvine years ago.

    Officially, yes. Unofficially, some people have reported problems. I ran the test here, along with others, on an otherwise idle connection; From about 5pm-1am local time during the week, and varying on the weekends, it's easy to trip the throttler -- simply loading a video on netflix, then quitting (as in, no active connections, confirmed with wireshark), waiting a minute, and running a bandwidth test, shows a 30% reduction in available bandwidth repeatedly with Speedtest.net, as well as test files downloaded from numerous FTP and HTTP sites. Total traffic transferred in the previous 30 minutes prior to each test was less than 5MB total, with a 30 minute cooldown after -- tests were run repeatedly and triggered off scripts automatically. All traffic was logged.

  6. Re:Already exists? by geedra · · Score: 1 · on Google Spends $1 Million For Throttling Detection

    http://broadband.mpi-sws.org/transparency/bttest.php/

  7. Re:Never safe. by iso_bars · · Score: 1 · on Security In the Ether

    but you can't even be sure that the bootloader of your virtual server isn't messed with

    Trusted Computing would let you do exactly that. Which is why Trusted Cloud Computing has been suggested.

  8. Re:Comcast by brainfsck · · Score: 2, Informative · on Google and Friends Release Net Neutrality Measuring Tools

    I'm not sure you will be happy; the results of the test may lessen your opportunities to be snarky. According to Glasnost, Comcast is currently throttling 0% of torrent uploads and downloads.