HN Explorer

Jimmc414

↗ HN profile [ 1220 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. The FCC's Spam Call Proposal Is Just a Data Collection Scheme (eff.org)
    2 points 0
  2. Rzk: A Proof Assistant for Synthetic ∞-Categories (arxiv.org)
    1 points 0
  3. Verifying Probabilistic Programs in Rust (arxiv.org)
    1 points 0
  4. DoD says soldiers over age 30 to be screened for testosterone deficiency (theguardian.com)
    2 points 9
  5. Epic Sues Health Information Exchange Network Alleging Improper Record Access (hipaajournal.com)
    1 points 0
  6. California colleges spend millions on faulty AI systems'The chatbot is outdated' (themarkup.org)
    2 points 0
  7. The form asked my permission to share my health data. It wouldn't let me say no (themarkup.org)
    1 points 1
  8. Sony Nerfs Videogame Ownership (eff.org)
    2 points 3
  9. SCOTUS slip opinion: Cisco granted immunity in building China's "Golden Shield" (courtlistener.com)
    1 points 2
  10. Automated Moderation Is Here to Stay–Accountability Must Keep Pace (eff.org)
    1 points 0
  11. SCOTUS slip opinion: Grabbing Google geofence Location History is a 4th A search (courtlistener.com)
    3 points 2
  12. ESBMC-Arduino: Closing the Deployment Gap for Formal Verification (arxiv.org)
    2 points 2
  13. LAPD Regularly Pulled over Innocent People Plate Readers Flagged Cars as Stolen (404media.co)
    2 points 8
  14. NASA's Hubble Discovers First of Star Cluster's Missing Black Holes (science.nasa.gov)
    2 points 0
  15. In Federal Prisons, Some Guards Use Fear and Violence to Stifle Complaints (themarshallproject.org)
    3 points 1
  16. LAPD Regularly Pulled over Innocent People Plate Readers Flagged Cars as Stolen (404media.co)
    3 points 4
  17. EPA to open habitats of endangered species to logging and mining (theguardian.com)
    1 points 1
  18. Cpp2Rust: Automatic Translation of C++ to Safe Rust (github.com)
    2 points 0
  19. Ben Bernanke Joins Anthropic Oversight Trust (anthropic.com)
    1 points 69
  20. UBEP: Expert Parallelism Communication Library for Production Superpods (arxiv.org)
    1 points 0
  21. Seekable OCI: Lazy-Loading Container Images via Range-Request Indexing (arxiv.org)
    1 points 0
  22. Memory Scarcity, Open Models, and the Restructuring of the AI Industry (arxiv.org)
    1 points 0
  23. Weapon Systems Annual Assessment (gao.gov)
    1 points 0
  24. EnclaveX: End-to-End Confidential AI with CPU/GPU Tees (arxiv.org)
    1 points 0
  25. Characterizing and Bridging the Diagnostic Gap in eBPF Verifier Rejections (arxiv.org)
    1 points 0