Search: github.com/schwern | Heykuki News

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)

1 point

11 years ago

2.

Limbo – A Reasoning System for First-Order Limited Belief (github.com/schwering)

143 points

9 years ago

3.

Ask HN: Show us your digital garden

10 points

5 years ago

4.

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

3 points

4 years ago

5.

Nginx UI – Access and modify the Nginx configurations files without CLI (github.com/schenkd)

281 points

6 years ago

6.

Show HN: Slower News (github.com/slowernews)

133 points

6 years ago

7.

The IPv4 Cleanup Project (github.com/schoen)

86 points

5 years ago

8.

Apoptosis Gem - Which lines in your project need to die? (github.com/swerner)

11 points

15 years ago

9.

Hamster-system: Ultra-simple framework to organize your life (github.com/slowernews)

11 points

5 years ago

10.

Show HN: Use Python docstrings as exception messages (github.com/anatoly-scherbakov)

7 points

3 years ago

11.

Show HN: A monitoring Bot for your Turntable.fm Room (github.com/swerner)

6 points

14 years ago

12.

Awesome-open-source-by-country: Lists of open-source projects by country (github.com/slowernews)

5 points

testing_1_2_3_4

5 years ago

13.

SCHwARTz: ASCII art in JS (github.com/13rentgen)

4 points

12 years ago

14.

Bootstrapping GNU Autogen without relying on pre-expanded code (github.com/schierlm)

4 points

4 years ago

15.

Programming languages of crypto projects (github.com/slowernews)

4 points

4 years ago

16.

A machine-verified formalization of Advaita Vedānta in Isabelle/HOL (github.com/matthew-scherf)

3 points

8 months ago

17.

Scherlok – zero-config data quality monitoring, works with dbt (github.com/rbmuller)

3 points

22 days ago

18.

Show HN: Schtate – Functional Data Containers with a Familiar API (github.com/schwartzworld)

2 points

3 years ago

19.

Show HN: Concurrent Sharded HashMap for Rust (github.com/mitghi)

2 points

4 years ago

20.

Open source projects by country (github.com/slowernews)

2 points

6 years ago

21.

Punch: Command line time tracking and invoicing (github.com/schwingbat)

2 points

6 years ago

22.

Formal Axiomatization of Advaita Vedanta in Lean 4 (github.com/matthew-scherf)

1 point

6 months ago

23.

Crypto Languages (github.com/slowernews)

1 point

5 years ago

24.

Tracking Dashboard for US Covid-19 Spread (github.com/schnerd)

1 point

6 years ago

25.

D3-scale-cluster: D3 scale that clusters data into discrete groups (github.com/schnerd)

1 point

10 years ago

26.

Schiene – a Python library for interacting with Bahn.de (github.com/kennell)

1 point

11 years ago

27.

ArnoldC – A programming language based on Arnold Schwarzenegger one-liners (github.com/lhartikk)

204 points

12 years ago

28.

ArnoldC: Programming language based on the one-liners of Arnold Schwarzenegger (github.com/lhartikk)

91 points

11 years ago

29.

ArnoldC – Arnold Schwarzenegger based programming language (github.com/lhartikk)

23 points

9 years ago

30.

ArnoldC – Programming language based on the one-liners of Arnold Schwarzenegger (github.com/lhartikk)

19 points

11 years ago