Hackernews posts about Win/OS X/

1. 01
   

   newShow HN: XOR's NFL Challenge – after nearly 40 yearstestflight.apple.com

   ▲ 3mikeaskew412hdiscusssavesaved
2. 02
   

   newShow HN: Zero-axiom Lean 4 proof that Yang-Mills on R^4 is a "round square"zenodo.org

   ▲ 3DRLogvinovich2ddiscusssavesaved
3. 03
   

   newThe SD Association has an official SD card format utility [Win/OS X/Linux]www.sdcard.org

   ▲ 66Almondsetat440d💬 57savesaved
4. 04
   

   newShow HN: An ObjC-like compiler for Mac ARM, x86_64(Linux, Win), WASM, & others

   ▲ 2spacedcowboy51d💬 10savesaved

· edit