HN Explorer

kyboren

↗ HN profile [ 392 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Robbing the bank with a theorem prover (2005) [pdf] (cl.cam.ac.uk)
    2 points 1
  2. SS7 Software Shop – Buy SS7 Services and Software (ss7.dev)
    3 points 1
  3. Burr-Feinstein Draft Bill to Compel Decryption And/or “Technical Assistance” [pdf] (justsecurity.org)
    4 points 0
  4. Synthesize Scala Programs from Formal Constraints (leon.epfl.ch)
    2 points 0
  5. Deal Reached on Fast-Track Authority for TPP (nytimes.com)
    5 points 0
  6. Cameron Announces GCHQ Hunt for Online Paedophiles (theguardian.com)
    3 points 0
  7. Give the man who saved Timbuktu's manuscripts the Presidential Medal of Freedom (petitions.whitehouse.gov)
    1 points 0
  8. Qubes OS 1.0 RC1 Released (wiki.qubes-os.org)
    1 points 0
  9. Nokia Preparing to File for Bankruptcy

    According to an inside source, Nokia is preparing to file for bankruptcy imminently. Tens of thousands of workers appear to be getting the axe. Predictable? Or should Microsoft have ridden in as the white knight?

    2 points 0