< prev 11 / 12 more >

• 1An LLM verifier rated math proofs near-perfect; an expert found 17% correct (korbonits.com)
  by korbonits2 hours ago | 0 comments
• 2Ask HN: What size is your journal book and why?
  by herodoturtle2 hours ago | 2 comments
• 7Why have papers by Max Planck been retracted? (science.org)
  by adsche2 hours ago | 1 comments
• 1Soumitra Dutta – Technology, Innovation and Global Policy (soumitradutta.mobirisesite.com)
  by davidwilliam262 hours ago | 1 comments
• 1Optimus Cirrus (github.com)
  by tosh2 hours ago | 0 comments
• 1A Fake Shell for Pangenomics (cs.cornell.edu)
  by matt_d2 hours ago | 0 comments
• 1Stop the bloatware in modern Linux. Noctalia V5 and labwc and dinit [video] (youtube.com)
  by grigio3 hours ago | 0 comments
• 2Imaging exoplanets using Einstein Rings within 1 lifetime [video] (youtube.com)
  by OSaMaBiNLoGiN3 hours ago | 0 comments
• 3Make a devtool agents want (betocmn.com)
  by thedreammachine3 hours ago | 1 comments
• 3New quantum computer sets a high watermark for accuracy (theconversation.com)
  by giuliomagnifico3 hours ago | 0 comments

< prev 11 / 12 more >