Search: github.com/deadjoe | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

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

4 points

6 years ago

32.

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

4 points

6 years ago

33.

Mongolian Deadbeef--node.js driver for MongoDB (github.com/marcello3d)

2 points

14 years ago

34.

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

2 points

2 years ago

35.

Solving the Deadlock Problem (github.com/pomponchik)

2 points

4 years ago

36.

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

2 points

6 years ago

37.

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

2 points

7 years ago

38.

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

1 point

2 years ago

39.

Show HN: Deadcode Removal Layer for My Compiler in Less Than 140 LOC (github.com/ronfriedhaber)

1 point

4 months ago

40.

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

1 point

6 years ago

41.

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

1 point

6 years ago

42.

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

1 point

9 years ago

43.

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

143 points

3 years ago

44.

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

71 points

a year ago

45.

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

48 points

2 months ago

46.

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

19 points

3 months ago

47.

GitHub Removes BSD2/3 Clause Licenses

14 points

10 years ago

48.

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

9 points

4 months ago

49.

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

4 points

5 years ago

50.

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

4 points

7 years ago

51.

Show HN: Eon – A modular AI architecture for continuous cognitive flow (github.com/jeremy-sud)

4 points

6 months ago

52.

Show HN: DNA Platform – A School for Outliers

2 points

4 months ago

53.

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

2 points

3 months ago

54.

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

2 points

5 months ago

55.

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

1 point

2 months ago

56.

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

1 point

3 months ago

57.

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

1 point

7 months ago

58.

McMini: The Multithreaded Program Model Checker

1 point

2 years ago

59.

Crack MD5 passwords with JavaScript Web Workers (github.com/feross)

11 points

13 years ago

60.

Show HN: A self-generalizing, hyperparameter-free gradient boosting machine (github.com/perpetual-ml)

5 points

2 years ago