Search: github.com/TiruArt | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Machine-verified proof that M3P ∈ P and P = NP via Pedigree Polytopes

github.com/TiruArt

17 days ago

6 points

2.

Issue for formalised proof of P=NP

github.com/TiruArt

19 days ago

3 points

3.

Show HN: An open source dictionary app to show meanings as notifications

play.google.com

2 years ago

2 points

4.

Show HN: Clj-wordcloud – A Clojure library to create word clouds

github.com/tirkarthi

8 years ago

1 points

5.

Adaptive query optimization – ML to improve Postgres analytical queries

github.com/tigvarts

10 years ago

46 points

6.

Show HN: OmnySSH – TUI SSH manager with dashboard, SFTP and snippets (Rust)

github.com/timhartmann7

9 days ago

6 points

7.

party – the python task runner

github.com/torwart

11 years ago

1 points

8.

Show HN: Sovereign Suite – A Recursive Logic Framework for AI Governance

github.com/holland202

4 months ago

2 points

9.

It never makes sense to use foldl on lists in Haskell (2019)

github.com/hasura

6 years ago

tirumaraiselvan

171 points

10.

Harmful Workload Generator for PostgreSQL

github.com/lesovsky

6 years ago

tirumaraiselvan

135 points

11.

Show HN: Trigger serverless functions on Postgres events

github.com/hasura

8 years ago

tirumaraiselvan

15 points

12.

Lazy evaluation in Haskell: foldl vs. foldr

github.com/hasura

6 years ago

tirumaraiselvan

4 points

13.

Runes – Fast Go standard library-compatible Unicode functionality

github.com/martingallagher

8 years ago

tirumaraiselvan

1 points