Show HN: zkGolf, competitive optimization of formally verified circuits.

July 2, 2026 · Hacker News

24 hours in pictures, 2 June 2026
Through the lens: The Citizen's Picture Editors select the best news photographs from South Africa and around the world.
Johann Rupert, South Africa’s richest man, finalises purchase of Mediclinic
Johann Rupert stakes his claim in South Africa's private healthcare industry with Remgro's acquisition of Mediclinic.
Côte d’Ivoire floods kill 59 as west Africa endures torrential rains
Authorities say rainy season getting deadlier, with Ghana reporting 13 dead and floods hitting Benin, Togo and NigeriaFl
Apple-1 computer from 1976 is going up for auction, it could fetch over Rs 4.5 crore
Apple computer from is going up for auction it could fetch over Rs crore
Jaxson Carper intel: A few teams standing out most for the 2028 four-star quarterback
After a busy summer of taking visits and working out at camps, Jaxson Carper is starting to formulate a handful of favor