Description

Featured Article:

• 
  Lossless LLM compression for efficient GPU inference via dynamic-length float -
  Hacker News


• 
  Show HN: Formalizing Principia Mathematica using Lean -
  Hacker News


• 
  Writing "/etc/hosts" breaks the Substack editor -
  Hacker News


• 
  Paper2Code: Automating Code Generation from Scientific Papers -
  Hacker News


• 
  Curry: A functional logic programming language -
  Hacker News