Search: github.com/dead10ck | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Nu_plugin_DNS: A Nushell-Native Dig (github.com/dead10ck)

1 point

3 years ago

2.

ZEUS Build System v0.7.4-beta released (github.com/dreadl0ck)

1 point

9 years ago

3.

Online deadlock detection in go (Golang) (github.com/sasha-s)

2 points

4 years ago

4.

Go-deadlock: Online deadlock detection in Go (github.com/sasha-s)

2 points

8 years ago

5.

Show HN: Deadlog – almost drop-in mutex for debugging Go deadlocks (github.com/stevenctl)

30 points

4 months ago

6.

etcd bug: Minority failure during cluster configuration change risks deadlock (github.com/coreos)

11 points

11 years ago

7.

Remotely Crashing/Deadlocking Fitbit and “Smart” Homes (BLE Attacks) (github.com/Matheus-Garbelini)

4 points

6 years ago

8.

Fitbit Crashed or Deadlocked by New Bluetooth Vulnerabilities (github.com/Matheus-Garbelini)

4 points

6 years ago

9.

BugInsight: A memory leak and deadlock finder for C, C++ (github.com/JochenBaier)

2 points

2 years ago

10.

Solving the Deadlock Problem (github.com/pomponchik)

2 points

4 years ago

11.

Show HN: A tool to debug Go deadlocks by looking at stack traces (github.com/napsy)

2 points

6 years ago

12.

Show HN: Tool to find possible deadlocks in Go traceback (github.com/napsy)

2 points

7 years ago

13.

CppGuard: C/C++ developer tool for detecting deadlocks (github.com/JochenBaier)

1 point

2 years ago

14.

Fixing a deadlock in a Common Lisp library for Kafka (github.com/SahilKang)

1 point

6 years ago

15.

Show HN: Automatically Detect Deadlocks in Rust Programs Using Proc. Macros (github.com/SamGinzburg)

1 point

6 years ago

16.

Static Deadlock Detection for Go (github.com/nickng)

1 point

9 years ago

17.

Show HN: Postgres query lock explainer (github.com/AdmTal)

143 points

3 years ago

18.

Show HN: Solidis – Tiny TS Redis client, no deps, for serverless (github.com/vcms-io)

71 points

a year ago

19.

Show HN: A memory database that forgets, consolidates, and detects contradiction (github.com/yantrikos)

48 points

2 months ago

20.

Show HN: LogClaw – Open-source AI SRE that auto-creates tickets from logs (logclaw.ai)

19 points

3 months ago

21.

Terraform requires a DAG. AWS allows cycles. Here's how I map the difference.

9 points

4 months ago

22.

TLA+ Formal Modeling and Programmers: Avoiding the Imperative “Brainwash”

4 points

5 years ago

23.

Show HN: I created a (hopefully fast) C++ lib to find words in ASCII sequences

4 points

7 years ago

24.

Show HN: DNA Platform – A School for Outliers

2 points

4 months ago

25.

Show HN: Elia – Governed hybrid architecture (LLM is capability, not authority) (github.com/Jmc-arch)

2 points

3 months ago

26.

Show HN: DBMS OLTP written in Rust – prioritises clarity and correctness (github.com/OxidizeLabs)

2 points

5 months ago

27.

Show HN: OneManCompany The first AI company with real corporate org structure (one-man-company.com)

1 point

2 months ago

28.

Show HN: I rewrote SMTP-server for Bun without touching node:net (github.com/puiusabin)

1 point

3 months ago

29.

Ask HN: Is claude-agent-sdk-python Ready for Production? (Spoiler: No)

1 point

7 months ago

30.

McMini: The Multithreaded Program Model Checker

1 point

2 years ago