Search: github.com/petrohi | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Unfortunately company policy prohibits me from submitting anything (github.com/istio)

34 points

5 years ago

62.

Flathub prohibits AI-generated code (github.com/flathub-infra)

21 points

6 days ago

63.

Using Petri-Nets to Construct Zero Knowledge Proofs (gist.github.com)

4 points

7 years ago

64.

Using Petri nets as a formal language for LLM-assisted development (github.com/pflow-xyz)

3 points

6 months ago

65.

Export Controls Prohibit Unapproved OpenSSL Patches from US Citizens (github.com/openssl)

3 points

12 years ago

66.

Reddit.com is removed from Russian register of prohibited websites (github.com/zapret-info)

2 points

11 years ago

67.

Medal: A workflow engine based on Petri nets in D language (github.com/tom-tan)

2 points

5 years ago

68.

Gen_pnet: A generic Petri net OTP behaviour (github.com/joergen7)

2 points

8 years ago

69.

Timed Petri Nets Real-Time Constructor (github.com/gios)

2 points

8 years ago

70.

Hacking Petri nets in Erlang (github.com/joergen7)

2 points

9 years ago

71.

Show HN: Color Circular Weaving (Petros Vrellis) (github.com/alyyousuf7)

1 point

6 years ago

72.

Show HN: LLM-aided OCR – Correcting Tesseract OCR errors with LLMs (github.com/Dicklesworthstone)

479 points

2 years ago

73.

Launch HN: Opstrace (YC S19) – open-source Datadog

316 points

5 years ago

74.

Show HN: Gut – An easy-to-use CLI for Git (gut-cli.dev)

314 points

3 years ago

75.

Launch HN: Papercups (YC S20) – Open-Core Intercom Alternative

285 points

6 years ago

76.

Show HN: Laudspeaker – Open-source mobile push, SMS and email automation (github.com/laudspeaker)

193 points

2 years ago

77.

Show HN: Get any piece of Google Earth as a single normalized glTF 3D model (github.com/OmarShehata)

177 points

2 years ago

78.

Launch HN: Karate Labs (YC W22) – Open-Source API and UI Test Automation

102 points

4 years ago

79.

Show HN: Modifying Clang for a Safer, More Explicit C++ (github.com/compiler-devel)

76 points

4 years ago

80.

Show HN: Dbeel – A distributed thread-per-core db (github.com/tontinton)

73 points

2 years ago

81.

Show HN: EuConform – Offline-first EU AI Act compliance tool (open source) (github.com/Hiepler)

71 points

5 months ago

82.

Ask HN: Why doesn't Copilot for Business use your organization's actual repos?

30 points

3 years ago

83.

Converting Legacy MySQL/Postgres/Mongo DBs to GraphQL in Minutes

7 points

7 years ago

84.

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

6 points

a year ago

85.

Show HN: Codex builds a working NES Emulator in one hour (github.com/kaonashi-tyc)

6 points

3 months ago

86.

Ask HN: Best framework for parsing thousands of feeds?

6 points

15 years ago

87.

5 points

22 days ago

88.

Ask HN: How are you monetizing your APIs?

4 points

5 years ago

89.

Show HN: A Comprehensive AI Data Quality Evaluation Tool (github.com/MigoXLab)

4 points

a year ago

90.

Show HN: AI chat client that can run on SharePoint and regulated environments (github.com/aerugo)

4 points

a year ago