Search: github.com/xmonad | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

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

22 points

3 years ago

152.

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

10 points

5 months ago

153.

Toward a new mathematical theory of computation.

5 points

17 years ago

154.

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

4 points

2 years ago

155.

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

2 points

3 months ago

156.

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

2 points

2 years ago

157.

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

2 points

13 years ago

158.

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

2 points

3 months ago

159.

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

2 points

a year ago

160.

[ANN] Halva 0.2.0 – Idiomatic Scala in Java

2 points

10 years ago

161.

Python DataService

1 point

2 years ago

162.

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

31 points

5 years ago

163.

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

2 points

7 months ago

164.

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

2 points

a year ago

165.

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

1 point

2 years ago