Search: github.com/cheusov | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Dict(1) (github.com/cheusov)

2 points

10 months ago

2.

List of most useful Terraform open-source tools

22 points

4 years ago

3.

Show HN: Serverless online chess (no accounts) (adriclumma.com)

2 points

5 months ago

4.

Show HN: Chessophone – Listen to Chess Games (chessophone.netlify.app)

2 points

a year ago

5.

Show HN: Chessophone – Generate music from chess games (chessophone.com)

1 point

a year ago

6.

Show HN: I developed a fast general purpose sorting algorithm (github.com/hackware1993)

56 points

4 years ago

7.

Kotlin NoSQL (github.com/cheptsov)

4 points

12 years ago

8.

Creusot, a deductive verifier for Rust code (github.com/creusot-rs)

3 points

2 years ago

9.

Creusot, a deductive verifier for Rust code (github.com/creusot-rs)

2 points

2 years ago

10.

Checkov: Prevent cloud misconfigurations during build time (github.com/bridgecrewio)

2 points

6 years ago

11.

Show HN: Store and reuse your Claude Code plans (github.com/ChernovAndrey)

1 point

3 months ago

12.

Cheovim – Neovim Configuration Switcher (github.com/NTBBloodbath)

1 point

3 years ago

13.

CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot (github.com/sarsko)

315 points

4 years ago

14.

Launch HN: Slauth (YC S22) – auto-generate secure IAM policies for AWS and GCP

122 points

3 years ago

15.

Show HN: Python SDK – forecasting with foundation time-series and tabular models (github.com/S-FM)

43 points

6 months ago

16.

Show HN: Just raised $17M for a no BS application security platform

15 points

2 years ago

17.

Show HN: YAML Validator –A simple Docker-based YAML checker

5 points

7 months ago

18.

Show HN: Securing the Ralph Wiggum Loop – DevSecOps for Autonomous Coding Agents (github.com/agairola)

4 points

4 months ago

19.

Show HN: JavaScript SDK for zero-shot time-series forecasting (Chronos2, TiRex) (github.com/S-FM)

2 points

7 months ago

20.

Show HN: MCP Server for Time-Series Forecasting (github.com/S-FM)

1 point

6 months ago

21.

Show HN: Serverless platform for inference of time-series foundation models (faim.it.com)

1 point

7 months ago

22.

Show HN: Dstack – a command-line utility to provision infra for ML workflows (github.com/dstackai)

5 points

4 years ago

23.

Show HN: Running LLM As Chatbot in your cloud with a single command (github.com/dstackai)

5 points

3 years ago

24.

Jasmine: BDD for your JavaScript (pivotal.github.com)

5 points

14 years ago

25.

A Network Spoofer apk (github.com/w-shackleton)

3 points

10 years ago

26.

Kotlin Coroutines (github.com/Kotlin)

3 points

andrey_cheptsov

10 years ago

27.

Github down (status.github.com)

2 points

13 years ago