Hackernews posts about SpaceSim

1. A Common Proof of the Riemann Hypothesis and the Collatz Conjecture (www.academia.edu)
   4 points by kristintynski 20 days ago | 9 comments
2. Unified physics theory machine-verified in Lean 4 (504 K lines, 0 sorry) (ramzesx.github.io)
   2 points by NorbertMarch 18 days ago | discuss
3. Let's Talk about Benchmarks (spacetimedb.com)
   1 points by ChadNauseam 6 days ago | discuss
4. Space meteor showers visualization powered by SpaceKit.js (www.meteorshowers.org)
   11 points by axbyte 24 days ago | 1 comments
5. Initial Benchmarks of the SpacemiT K3 RVA23 RISC-V CPU with the K3 Pico-ITX (www.phoronix.com)
   4 points by fork-bomber 2 days ago | 2 comments
6. 'Metajets' could allow future spaceships to be propelled by nothing but light (newatlas.com)
   4 points by breve 23 days ago | 2 comments
7. Just Show Us the Spaceships (www.theatlantic.com)
   4 points by rbanffy 13 days ago | 1 comments
8. Now you can put a SpacemiT K3 RISC-V processor in a Framework 13 (liliputing.com)
   4 points by mixmastamyk 3 days ago | discuss
9. Baylibre Partners with SpacemiT to Bring Android 16 to RISC-V (baylibre.com)
   3 points by fork-bomber 4 days ago | discuss
10. Firefly Aibox-K3 – An Edge AI Mini PC Powered by SpacemiT K3 RISC-V SoC (www.cnx-software.com)
    3 points by fork-bomber 10 days ago | discuss
11. Software Defaults Create Emotionally Flat Spaces (frostecho.neocities.org)
    2 points by speckx about 6 hours ago | 1 comments
12. London Cool Spaces Map (apps.london.gov.uk)
    2 points by beejiu about 6 hours ago | discuss
13. The Sovereign Retailer: Building a Spaceship in My Own Backyard (brewhubsystems.com)
    2 points by tomc267 1 day ago | discuss
14. K3_AI: Run command on SpacemiT K3's AI cores (github.com)
    2 points by hasheddan 2 days ago | discuss
15. Valuation Spaces and Relativisation: The Lambda Calculus Example (practal.com)
    2 points by auggierose 19 days ago | discuss
16. Netquel: Browser Multiplayer Spaceship Builder (netquel.com)
    1 points by avarev 3 days ago | discuss
17. Show HN: Lattix 2.0 – macOS spaces naming, ultrafast space switching and more (www.lattix.app)
    1 points by AbjMV 16 days ago | discuss
18. Spaces Protocol May 2026 Update (spacesprotocol.org)
    1 points by ca98am79 17 days ago | discuss
19. Ask HN: Exploring massive spaces without traversal or feedback (500KB prototype)
    1 points by bCastle 23 days ago | discuss
20. Inter-Process Remote Execution: Low-latency IPC/RPC using merged address spaces (libriscv.no)
    1 points by ingve 29 days ago | discuss
21. Show HN: Drive any macOS app in the background without stealing the cursor (github.com)
    192 points by frabonacci 24 days ago | 43 comments
22. Show HN: Statewright – Visual state machines that make AI agents reliable (github.com)
    126 points by azurewraith 10 days ago | 59 comments
23. Show HN: A navigable map and recommender for 17M music entities (toposonico.com)
    4 points by deppep 20 days ago | 2 comments
24. Show HN: I built a 2nd-order PyTorch optimizer for LLMs that runs on 16GB GPUs
    2 points by dnosoz 23 days ago | 4 comments
25. Show HN: I replaced a memory app with two Markdown files and a Git repo
    2 points by achiles 26 days ago | 1 comments
26. Show HN: Essentials for Safari – Arc-style Essentials panel (essentialsforsafari.app)
    2 points by azizuysal 15 days ago | discuss
27. Show HN: Brifly – stop re-explaining your codebase to Claude Code every week (www.getbrifly.com)
    2 points by dbarabashdev 22 days ago | discuss
28. Show HN: QuantTakeoff – Construction PDFs to takeoff and 3D scene
    1 points by acaciabengo 6 days ago | discuss
29. Show HN: Visual Learning with LLMs (forray.io)
    1 points by aab99 12 days ago | discuss
30. Show HN: Vibe Check – Client-side invisible Unicode steganography scanner (websationflow.com)
    1 points by Raywob 26 days ago | discuss