Search: github.com/orbstack | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Orbstack can destroy your Time Machine backups (github.com/orbstack)

4 points

2 years ago

2.

Show HN: Clace – Application Server with support for scaling down to zero (github.com/claceio)

72 points

2 years ago

3.

Show HN: Pgmigrate, modern Postgres migrations CLI (github.com/peterldowns)

2 points

3 years ago

4.

Show HN: Colimabar – A Colima macOS Menubar (github.com/tdi)

1 point

6 months ago

5.

Show HN: Enveloper – Transactional email microservice (github.com/outstack)

1 point

8 years ago

6.

Lean 4 formalization of Erdős Problem #848 – seeking review (github.com/The-Obstacle-Is-The-Way)

1 point

vibecodermcswag

4 months ago

7.

Solving the Obstacle problem in Python using cvxopt (github.com/daleroberts)

1 point

5 years ago

8.

Unity's Obstacle Tower: Procedurally Generated Agent Learning Environment (github.com/Unity-Technologies)

1 point

7 years ago

9.

Why you should remove obstacles to adoption. (github.com/orangethirty)

2 points

13 years ago

10.

Winning RL Solution to the Unity Obstacle Tower Challenge (github.com/unixpickle)

4 points

7 years ago

11.

crabby-rathbun bot: Obstacles - PR blocked. Re‑open from different account? (github.com/crabby-rathbun)

1 point

4 months ago

12.

Show HN: FOSS DNN-based embedded UAV ground-obstacle detection (github.com/stephansturges)

1 point

4 years ago

13.

From Facebook's Hackathon, TCP re-implemented over chat in a post-SOPA world

122 points

15 years ago

14.

Show HN: AudioNimbus – Steam Audio's immersive spatial audio, now in Rust (github.com/MaxenceMaire)

77 points

a year ago

15.

Ask HN: What Are Your FOSS Philanthropy Hypotheticals?

14 points

16 years ago

16.

Show HN: TheAuditor – Offline security scanner for AI-generated code (github.com/TheAuditorTool)

13 points

9 months ago

17.

Show HN: Fincept Terminal v1.0 – Open-Source Finance Terminal (github.com/Fincept-Corporation)

6 points

a year ago

18.

Show HN: I Built a Pocket OS with JavaScript, Electron, and Gemini (github.com/aedmark)

5 points

a year ago

19.

Show HN: Run your favorite open-source AI coding agent in the browser (github.com/newrev-io)

4 points

a year ago

20.

O(1) memory, no-preprocessing reachability algorithm for 2D grids

4 points

a year ago

21.

Show HN: TLA+ AutoRepair (with GPT-4) to fix formal specs and understand them (github.com/kerberosmansour)

4 points

kerberosmansour

3 years ago

22.

Show HN: Klartraum, a neural rendering inference engine (github.com/fortmeier)

4 points

a year ago

23.

Show HN: Competition to write the most efficient bot to be King Of The Grid (kingofthegrid.com)

4 points

a year ago

24.

Show HN: Dream Makers Community – What is your dream and what is stopping you (dreamakerscommunity.com)

4 points

4 years ago

25.

Show HN: Frugal by NumexaHQ- Transparency, Control and Cost Optimisation (github.com/NumexaHQ)

3 points

3 years ago

26.

Show HN: Minichessgames.com (minichessgames.com)

3 points

8 months ago

27.

Show HN: I made an AI for drones to land safely (github.com/stephansturges)

3 points

4 years ago

28.

Show HN: Excalidraw Architect MCP for AI Based IDEs (github.com/BV-Venky)

2 points

3 months ago

29.

Show HN: I built an AI agent for TurtleBot3 (github.com/Yutarop)

2 points

a year ago

30.

Skin in the Game

1 point

3 years ago