Search: github.com/pr0g | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

841.

Easily handle CLI operation via Python instead of regular Bash programs (github.com/CZ-NIC)

198 points

4 years ago

842.

Pytudes: Python programs for perfecting particular programming skills (github.com/norvig)

198 points

4 years ago

843.

Gleam OTP – Fault Tolerant Multicore Programs with Actors (github.com/gleam-lang)

197 points

8 months ago

844.

Latency Numbers Every Programmer Should Know (2012) (gist.github.com)

197 points

6 years ago

845.

A 23-byte “hello, world” program assembled with DEBUG.EXE in MS-DOS (github.com/susam)

196 points

4 years ago

846.

The Pony Programming Language (github.com/ponylang)

196 points

3 years ago

847.

Show HN: Carton – Run any ML model from any programming language (carton.run)

196 points

3 years ago

848.

Show HN: Rmux – A programmable terminal multiplexer with a Playwright-style SDK (github.com/helvesec)

194 points

19 days ago

849.

Atmanos: Build Go programs that run directly on the Xen hypervisor (github.com/atmanos)

193 points

9 years ago

850.

Scrapscript: A functional, content-addressable programming language (github.com/tekknolagi)

193 points

2 years ago

851.

Programming as Theory Building (1985) (gist.github.com)

193 points

6 years ago

852.

Viper: a new programming language from Ethereum (github.com/ethereum)

192 points

9 years ago

853.

Lib0xc: A set of C standard library-adjacent APIs for safer systems programming (github.com/microsoft)

192 points

a month ago

854.

Introduction to Reactive Programming (gist.github.com)

192 points

12 years ago

855.

Ask HN: Has anyone here programmed in Kotlin? What do you think about it?

190 points

11 years ago

856.

Luna Studio – Visual and textual functional programming language (github.com/luna)

189 points

8 years ago

857.

Temporal Programming, a new name for an old paradigm (github.com/aappleby)

188 points

4 years ago

858.

Mangle, a programming language for deductive database programming (github.com/google)

187 points

4 years ago

859.

Barliman – real-time program synthesis to make the programmer's life easier (github.com/webyrd)

186 points

michaelsbradley

9 years ago

860.

Frege: A JVM pure functional programming language in the spirit of Haskell (github.com/Frege)

185 points

13 years ago

861.

Launch HN: Optic (YC S18) – Automate Routine Programming

183 points

8 years ago

862.

Fornjot – The world needs another CAD program (github.com/hannobraun)

182 points

4 years ago

863.

Petite-Vue – 5kb subset of Vue optimized for progressive enhancement (github.com/vuejs)

182 points

5 years ago

864.

A Hitchhiker’s Guide to Asynchronous Programming (github.com/crazyguitar)

181 points

6 years ago

865.

Open source deep learning models that programmers can download and run first try (github.com/samdeeplearning)

181 points

9 years ago

866.

Differentiable Programming Manifesto (github.com/apple)

180 points

7 years ago

867.

The Science of Functional Programming [pdf] (github.com/winitzki)

180 points

7 years ago

868.

Motion Canvas – Visualize complex ideas programmatically (github.com/motion-canvas)

180 points

3 years ago

869.

Vigil: The eternal morally vigilant programming language (github.com/munificent)

180 points

6 years ago

870.

Hermit is a hermetic and reproducible sandbox for running programs (github.com/facebookexperimental)

180 points

2 years ago