Search: github.com/mbains | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Using GCC for an ARM Based Microcontroller (github.com/mbains)

2 points

11 years ago

2.

Make formal verification and provably correct software practical and mainstream (github.com/magmide)

204 points

4 years ago

3.

Functional programming is finally going mainstream (github.com/readme)

135 points

4 years ago

4.

Librefox, mainstream Firefox with a better privacy and security (github.com/intika)

87 points

7 years ago

5.

Voidr – Cutting-edge open source alternatives to mainstream cloud services (github.com)

18 points

2 years ago

6.

Cancel Mainstream Media (github.com/NicolasDorier)

16 points

4 years ago

7.

Mainstream Websites that Provide Onion Services (github.com/alecmuffett)

3 points

9 months ago

8.

Curated List of Non-Mainstream Libraries for Machine Learning (github.com/amitness)

3 points

6 years ago

9.

Show HN: A browser in your terminal, because using Chrome is too mainstream (github.com/pointless-code)

1 point

2 years ago

10.

Provide seamless user logins for both mainstream and Web3.0 users (github.com/Web3Auth)

1 point

4 years ago

11.

Show HN: Horizon – Private alternative to Imgur (horizon.pics)

361 points

2 years ago

12.

Show HN: Petrichor – a free, open-source, offline music player for macOS (github.com/kushalpandya)

202 points

a year ago

13.

Show HN: Open-Source 8-Ch BCI Board (ESP32 and ADS1299 and OpenBCI GUI) (github.com/Cerelog-ESP-EEG)

54 points

5 months ago

14.

Tell HN: GitHub – “This comment has been minimized. Sign in to view”

21 points

4 years ago

15.

Ask HN: Recommendations for Spaced Repetition (SRS) Beginners?

10 points

4 years ago

16.

C3 (a C-like programming language) hits 0.6.6

8 points

a year ago

17.

Show HN: Libredesk – self-hosted, single binary Intercom/Zendesk alternative (libredesk.io)

7 points

a month ago

18.

Show HN: Aver – a language designed for AI to write and humans to review (github.com/jasisz)

7 points

3 months ago

19.

Show HN: It's been nearly 50 years. Is SQL outdated? (github.com/SPLWare)

5 points

3 years ago

20.

Ask HN: How do I make my PL beneficial to the largest amount of people?

5 points

abstractcontrol

3 years ago

21.

Ask HN: OS Chat server implementations?

5 points

8 years ago

22.

Show HN: 70 days, 800 stars. If AI bugs are not random but math inevitable? (github.com/onestardao)

5 points

9 months ago

23.

Show HN: Ü Programming Language (github.com/Panzerschrek)

4 points

7 months ago

24.

Show HN: A CLI Tool to Streamline Your Job Hunt as a Software Engineer (github.com/angelplusultra)

4 points

a year ago

25.

Show HN: NocoBase - Scalability-first, open-source no-code platform (github.com/nocobase)

4 points

2 years ago

26.

Show HN: Trellis – open-source Python framework to build DAG-based LLM workflows (github.com/interlocklabs)

4 points

3 years ago

27.

Tell HN: Some DigitalOcean customers' billing details are hacked

4 points

5 years ago

28.

Show HN: SpedFind – An open-source internet speed test (React/Python and CLI)

3 points

2 months ago

29.

AnChat – E2E messenger on decentralized infrastructure, no phone number required

3 points

3 months ago

30.

Show HN: I built an open protocol for Agent-to-agent commercial negotiation (a2cn.io)

3 points

2 months ago