Search: github.com/erdo | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Chime, Take a Break (Open source)

1 point

6 years ago

2.

Terence Tao: AI contributions to Erdős problems (github.com/teorth)

4 points

5 months ago

3.

Show HN: A Clojure interpreter compiled with native-image (github.com/erdos)

4 points

4 years ago

4.

Show HN: Erdös Problem Solver Agent (github.com/demirbey05)

3 points

a month ago

5.

AI Contributions to Erdős Problems (github.com/teorth)

3 points

5 months ago

6.

Lazy-Seq Generator in Clojure (github.com/erdos)

3 points

6 years ago

7.

Show HN: A templating engine for *.docx files (written in Clojure) (github.com/erdos)

2 points

8 years ago

8.

AI Contributions to Erdős Problems (github.com/teorth)

2 points

5 months ago

9.

Show HN: Class file disassembler written in Clojure (github.com/erdos)

2 points

7 years ago

10.

Erdos is a very light and modular Graph theoretic algorithms framework for Java (github.com/Erdos-Graph-Framework)

2 points

9 years ago

11.

AI Contributions to Erdős Problems (github.com/teorth)

1 point

5 months ago

12.

Erdo: A new Java key/value store (github.com/geophile)

1 point

13 years ago

13.

AI Contributions to Erdős Problems (github.com/teorth)

1 point

5 months ago

14.

Terence Tao's list of AI contributions to Erdős problems (github.com/teorth)

1 point

5 months ago

15.

Show HN: Power Assertions for Clojure (as seen in Groovy) (github.com/erdos)

1 point

7 years ago

16.

Show HN: Pwned4android – Android lib to check passwords with haveibeenpwned.com (github.com/erdo)

1 point

8 years ago

17.

Show HN: Erdos – open-source, AI data science IDE (lotas.ai)

86 points

7 months ago

18.

GPT-Erdos – GPT 5.2 attempts to solve Erdos problems, reviewed by mathematicians (github.com/neelsomani)

1 point

4 months ago

19.

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

1 point

vibecodermcswag

4 months ago

20.

Near 10M primes/second: Erdős-Selfridge categorization in C (gist.github.com)

1 point

9 months ago

21.

Github.com/pkg/errors just got archived, I made a maintained v2 with many fixes (gitlab.com)

2 points

5 years ago

22.

Show HN: Layerform – Open-source development environments using Terraform files (github.com/ergomake)

124 points

3 years ago

23.

Show HN: Turbine – 16-bit CPU Architecture and Emulator built in C (errorcodezero.dev)

50 points

a year ago

24.

Show HN: ExDOS 64-bit version source code release

39 points

10 years ago

25.

Show HN: Is this the perfect 404 page? [CSS only] (github.com/AntiKippi)

8 points

4 months ago

26.

Show HN: edotool (X11/Wayland)

5 points

5 years ago

27.

ASK HN: TD Ameritrade has an Trading API

5 points

8 years ago

28.

Show HN: Εἶδος – A non-Turing-complete language built on Plato's Theory of Forms (github.com/realadeel)

3 points

4 months ago

29.

Show HN: A Security-First Web Server in C with XSS, SQL Injection Protection (github.com/erson)

3 points

a year ago

30.

Show HN: Rover a Manager for Coding Agents

2 points

8 months ago