Search: github.com/erdos | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

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

4 points

5 months ago

2.

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

4 points

4 years ago

3.

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

3 points

a month ago

4.

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

3 points

5 months ago

5.

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

3 points

6 years ago

6.

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

2 points

8 years ago

7.

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

2 points

5 months ago

8.

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

2 points

7 years ago

9.

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

2 points

9 years ago

10.

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

1 point

5 months ago

11.

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

1 point

5 months ago

12.

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

1 point

5 months ago

13.

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

1 point

7 years ago

14.

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

86 points

7 months ago

15.

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

1 point

4 months ago

16.

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

1 point

vibecodermcswag

4 months ago

17.

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

1 point

9 months ago

18.

Show HN: ExDOS 64-bit version source code release

39 points

10 years ago

19.

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

3 points

4 months ago

20.

Show HN: Erdus – Universal ERD Converter (SQL, Prisma, JSON Schema) (github.com/tobiager)

1 point

9 months ago

21.

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

1 point

6 years ago

22.

Show HN: Eidos – Offline alternative to Notion (github.com/mayneyao)

276 points

2 years ago

23.

Marketing for Founders (github.com/EdoStra)

234 points

3 months ago

24.

No Audience? No Budget? This GitHub Repo Will Help You Get Your First Users (github.com/EdoStra)

2 points

a year ago

25.

Product Marketing for Founders (github.com/EdoStra)

2 points

a year ago

26.

Show HN: I forget things when I date people, so I built a local AI memory stuff (github.com/niranjanorkat)

1 point

a year ago

27.

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

1 point

13 years ago

28.

Show HN: CLI search tool for maven central (github.com/erosb)

1 point

6 years ago

29.

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

1 point

8 years ago

30.

[eros] – We can use Vue to develop an app without reactnative (github.com/bmfe)

1 point

8 years ago