Search: github.com/schwern | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Fix time.h on 32 bit machines to work past the year 2038

github.com/schwern

11 years ago

1 points

2.

Limbo – A Reasoning System for First-Order Limited Belief

github.com/schwering

9 years ago

143 points

3.

Patch for critical vulnerability in p2pool (Monero) to be released on 2026-06-13

github.com/SChernykh

12 days ago

63 points

4.

Ask HN: Show us your digital garden

5 years ago

10 points

5.

Ask HN: How do you reconcile your paper and digital notes?

4 years ago

3 points

6.

Nginx UI – Access and modify the Nginx configurations files without CLI

github.com/schenkd

6 years ago

281 points

7.

Show HN: Slower News

github.com/slowernews

6 years ago

133 points

8.

The IPv4 Cleanup Project

github.com/schoen

5 years ago

86 points

9.

Apoptosis Gem - Which lines in your project need to die?

github.com/swerner

15 years ago

11 points

10.

Hamster-system: Ultra-simple framework to organize your life

github.com/slowernews

5 years ago

11 points

11.

Show HN: Use Python docstrings as exception messages

github.com/anatoly-scherbakov

3 years ago

7 points

12.

Show HN: A monitoring Bot for your Turntable.fm Room

github.com/swerner

15 years ago

6 points

13.

Awesome-open-source-by-country: Lists of open-source projects by country

github.com/slowernews

5 years ago

testing_1_2_3_4

5 points

14.

SCHwARTz: ASCII art in JS

github.com/13rentgen

12 years ago

4 points

15.

Bootstrapping GNU Autogen without relying on pre-expanded code

github.com/schierlm

4 years ago

4 points

16.

Programming languages of crypto projects

github.com/slowernews

4 years ago

4 points

17.

A machine-verified formalization of Advaita Vedānta in Isabelle/HOL

github.com/matthew-scherf

8 months ago

3 points

18.

Scherlok – zero-config data quality monitoring, works with dbt

github.com/rbmuller

a month ago

3 points

19.

Show HN: Schtate – Functional Data Containers with a Familiar API

github.com/schwartzworld

4 years ago

2 points

20.

Show HN: Concurrent Sharded HashMap for Rust

github.com/mitghi

4 years ago

2 points

21.

Open source projects by country

github.com/slowernews

6 years ago

2 points

22.

Punch: Command line time tracking and invoicing

github.com/schwingbat

6 years ago

2 points

23.

Formal Axiomatization of Advaita Vedanta in Lean 4

github.com/matthew-scherf

6 months ago

1 points

24.

Tracking Dashboard for US Covid-19 Spread

github.com/schnerd

6 years ago

1 points

25.

D3-scale-cluster: D3 scale that clusters data into discrete groups

github.com/schnerd

10 years ago

1 points

26.

Schiene – a Python library for interacting with Bahn.de

github.com/kennell

11 years ago

1 points

27.

ArnoldC – A programming language based on Arnold Schwarzenegger one-liners

github.com/lhartikk

12 years ago

204 points

28.

ArnoldC: Programming language based on the one-liners of Arnold Schwarzenegger

github.com/lhartikk

11 years ago

91 points

29.

ArnoldC – Arnold Schwarzenegger based programming language

github.com/lhartikk

9 years ago

23 points

30.

ArnoldC – Programming language based on the one-liners of Arnold Schwarzenegger

github.com/lhartikk

11 years ago

19 points