Search: github.com/kmonad | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

NFA in a Single Line of Haskell (aka. The List Monad Is Awesome) (github.com/leonidas)

1 point

10 years ago

152.

Show HN: Coros – A Modern C++ Library for Task Parallelism (github.com/mtmucha)

129 points

2 years ago

153.

Show HN: qdbp – a minimal, elegant, safe, and expressive programming language (github.com/dghosef)

22 points

3 years ago

154.

Show HN: Logos of Aether – Rebuilding Physics Without Zero or Empty Space (github.com/chrisnchips42-blip)

10 points

5 months ago

155.

Toward a new mathematical theory of computation.

5 points

17 years ago

156.

Danom: Structures for durable programming patterns in C#. (github.com/pimbrouwers)

4 points

2 years ago

157.

Show HN: Lean-pq a typesafe PostgreSQL connector for lean (github.com/typednotes)

2 points

3 months ago

158.

Show HN: MLtraq – Track and Collaborate on AI Experiments (Open-Source)

2 points

2 years ago

159.

The card game War, written in Haskell (github.com/dmjio)

2 points

13 years ago

160.

Show HN: Admiran: a pure, lazy functional language and self-hosting compiler (github.com/taolson)

2 points

3 months ago

161.

Show HN: Voft – VAVR‑style objects for Typscript (github.com/artus)

2 points

a year ago

162.

[ANN] Halva 0.2.0 – Idiomatic Scala in Java

2 points

10 years ago

163.

Python DataService

1 point

2 years ago

164.

Highway – Efficient and performance-portable SIMD (github.com/google)

31 points

5 years ago

165.

Why rust-docs-MCP is the only MCP tool I like (github.com/snowmead)

2 points

7 months ago

166.

Experimenting with policy gradient methods in Jax (github.com/elliotvilhelm)

2 points

a year ago

167.

Policy Evaluation in Grid World (github.com/elliotvilhelm)

1 point

2 years ago