Hackernews posts about Janus

  1. Januscape: Guest-to-Host Escape in KVM/x86 [CVE-2026-53359] (github.com)
    109 points by Imustaskforhelp about 16 hours ago | 36 comments
  2. Januscape: Guest-to-Host Escape in KVM/x86 (CVE-2026-53359) (openwall.com)
    2 points by aberoham about 15 hours ago | discuss
  3. Show HN: Janus – MCP that collects context from browser and terminal (github.com)
    1 points by a_c 25 days ago | discuss
  4. Sony will no longer produce discs for PlayStation games starting in January 2028 (www.eurogamer.net)
    81 points by Wju 6 days ago | 3 comments
  5. Former PM admits Israel smuggled Starlinks to Iran during January riots (www.presstv.ir)
    8 points by thisislife2 13 days ago | 1 comments
  6. LLM Research Papers: The 2026 List (January to May) (magazine.sebastianraschka.com)
    5 points by ibobev 29 days ago | discuss
  7. AGI Happened on January 16, 2026 (theshamblog.com)
    4 points by scottshambaugh 20 days ago | 3 comments
  8. The Software Supply Chain Malware Landscape: January – May 2026 (opensourcemalware.com)
    3 points by jruohonen 17 days ago | discuss
  9. Show HN: Plannotator – annotate agent plans, diffs, and HTML (github.com)
    5 points by ramoz 26 days ago | 2 comments
  10. Show HN: TBD, a Mac-native CLI-forward coding agent multiplexer (github.com)
    4 points by cheapsteak 11 days ago | discuss
  11. Show HN: OpenATP: A platform for automated theorem proving in Lean (github.com)
    3 points by henryrobbins00 7 days ago | discuss
  12. Show HN: I made an ad-free game collection for my grandparents (stiuvou.ch)
    1 points by nahakiole 29 days ago | discuss
  13. Physical disc production ending in Jan 2028 for new games on PlayStation (blog.playstation.com)
    788 points by Tiberium 6 days ago | 794 comments
  14. Formal methods and the future of programming (blog.janestreet.com)
    378 points by eatonphil 23 days ago | 126 comments
  15. Formal Methods and the Future of Programming (blog.janestreet.com)
    107 points by nextos 25 days ago | 4 comments
  16. Formal Methods and the Future of Programming (blog.janestreet.com)
    8 points by sebg 24 days ago | discuss
  17. Three reasons fungi are not plants (2021) (asm.org)
    5 points by teleforce 19 days ago | 1 comments
  18. 'Swiss Elon Musk' jailed for fraud (www.swissinfo.ch)
    4 points by sschueller 7 days ago | 1 comments
  19. Formal Methods and the Future of Programming (blog.janestreet.com)
    3 points by dcre 22 days ago | 2 comments
  20. Wikipedia Is Up (2001) (web.archive.org)
    3 points by downbad_ 4 days ago | discuss
  21. Using OxCaml to implement type-safe reference counting between OCaml and Python (blog.janestreet.com)
    3 points by matt_d 21 days ago | discuss
  22. Formal Methods and the Future of Programming (blog.janestreet.com)
    3 points by osener 22 days ago | discuss
  23. Physical Disc Production to End for New Games Releasing on PlayStation Consoles (www.ign.com)
    2 points by alanfranz 6 days ago | 1 comments
  24. Il-Verse, a spatial writing tool (tekstien-marginaalien-keskus.aalto.fi)
    2 points by robin_reala 10 days ago | discuss
  25. Using OxCaml to implement type-safe reference counting between OCaml and Python (blog.janestreet.com)
    2 points by pjmlp 21 days ago | discuss
  26. The Algorithm for Precision Medicine (www.janestreet.com)
    2 points by vismit2000 26 days ago | discuss
  27. Fabrice Bellard's Home Page (bellard.org)
    3 points by janisz 28 days ago | discuss
  28. Show HN: An EV Statistics Database (evstats.org)
    2 points by jansulek 10 days ago | 1 comments
  29. Magnifica Humanitas as Glossed Manuscript (magnifica.unlatent.ai)
    4 points by bazzmt 14 days ago | 1 comments
  30. Manus original investors plan to buy back AI firm from Meta for $2B (www.reuters.com)
    4 points by thm 19 days ago | 1 comments
More