Search: github.com/d2fn | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Replacing probabilistic AI with deterministic math and Dafny formal verification

gist.github.com

2 months ago

2 points

32.

Spindle: a Rust library to generate structured fuzz inputs from grammar defns

github.com/awslabs

a year ago

2 points

33.

Clojure: convert let to defn with macro

gist.github.com

13 years ago

1 points

34.

Show HN: Franz – A desktop client for Apache Kafka

github.com/Bogdanp

2 years ago

45 points

35.

Show HN: Xorq – open compute catalog for AI

github.com/xorq-labs

a year ago

36 points

36.

Ask HN: Active GitHub accounts (probably) delivering malware, now what?

7 days ago

2 points

37.

Show HN: Thoth – Obsidian AI Research Assistant

github.com/acertainKnight

4 months ago

2 points

38.

[Ask HN] How to use clojure functions in core.logic?

10 years ago

1 points

39.

Xeres is a decentralized and secure application for communication and sharing

github.com/zapek

2 years ago

4 points

40.

Show HN: Lightweight Nudity Detection In-Browser

3 years ago

1 points