Search: github.com/d2fn | Heykuki News

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 points

a month ago

32.

Spindle: a Rust library to generate structured fuzz inputs from grammar defns (github.com/awslabs)

2 points

a year ago

33.

Clojure: convert let to defn with macro (gist.github.com)

1 point

13 years ago

34.

Show HN: Franz – A desktop client for Apache Kafka (github.com/Bogdanp)

45 points

2 years ago

35.

Show HN: Xorq – open compute catalog for AI (github.com/xorq-labs)

36 points

10 months ago

36.

Show HN: Thoth – Obsidian AI Research Assistant (github.com/acertainKnight)

2 points

4 months ago

37.

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

1 point

10 years ago

38.

Xeres is a decentralized and secure application for communication and sharing (github.com/zapek)

4 points

2 years ago

39.

Show HN: Lightweight Nudity Detection In-Browser (github.com)

1 point

3 years ago