Search: github.com/stepci | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

A formally verified proof of the soundness of System F (github.com/stepchowfun)

2 points

7 years ago

32.

Finding ambiguities in context-free grammars (github.com/stepchowfun)

2 points

9 years ago

33.

Show HN: Noteref – Maintain references to notes in your codebase (github.com/stepchowfun)

1 point

8 years ago

34.

Typical: Data interchange with algebraic data types (github.com/stepchowfun)

1 point

082349872349872

2 years ago

35.

LRU Eviction of Docker Images (github.com/stepchowfun)

1 point

3 years ago

36.

Typical Rusty: Data interchange with algebraic data types (github.com/stepchowfun)

1 point

4 years ago

37.

Show HN: D3-Stencil

2 points

8 years ago

38.

Stencil: A Compiler for Web Components (github.com/ionic-team)

12 points

9 years ago

39.

Show HN: Python visualisation of the stepping stone algorithm (github.com/sm-alejandr0)

1 point

2 years ago

40.

Show HN: Chrome Extension to Test Multiple Endpoints

3 points

6 years ago

41.

Stepcounting: Fitbit vs. Fuelband (gedankenstuecke.github.com)

2 points

gedankenstuecke

13 years ago

42.

Show HN: I'm a non-coder who turns 1-line intents into full-stack blueprints

2 points

10 months ago

43.

Stepping down as Mockito maintainer after ten years (github.com/mockito)

283 points

5 months ago

44.

Show HN: "data-to-paper" – autonomous stepwise LLM-driven research (github.com/Technion-Kishony-lab)

139 points

2 years ago

45.

From "hot blonde" to "stepsis": porn titles over time (github.com/dhealy05)

21 points

a year ago

46.

I am stepping down from MkDocs (github.com/mkdocs)

6 points

2 years ago

47.

Pystencils – speed up your stencil computations on numpy arrays (github.com/mabau)

4 points

6 years ago

48.

Stedux – Redux for Stencil Components (github.com/randy-r)

2 points

4 years ago

49.

Show HN: M33mu – Cortex-M33 emulation with TrustZone, reverse stepping, and GDB (github.com/danielinux)

2 points

3 months ago

50.

Stepping back as maintainer (github.com/jesseduffield)

2 points

a year ago

51.

I am stepping down from MkDocs (github.com/mkdocs)

2 points

2 years ago

52.

I created an MCP that lets AI debug runtime code (breakpoints, stepping, etc.) (github.com/ai-debugger-inc)

1 point

5 months ago

53.

Meteor: Live Data Sepcification (github.com/meteor)

1 point

13 years ago

54.

Free iOS GUI Stencils for Sketch.app (github.com/sketch-templates)

1 point

13 years ago

55.

Dhewm3 Build with Carmack's Reverse Stencil Shadows from Expired Creative Patent (github.com/dhewm)

1 point

6 years ago

56.

Show HN: I'm 17 and wrote a guide on how to build your own programming language (easel.hackclub.com)

149 points

2 years ago

57.

Show HN: Letting LLMs Run a Debugger (github.com/mohsen1)

147 points

a year ago

58.

Show HN: iPhone 2005 weird "Blob Keyboard" simulator

129 points

a year ago

59.

Show HN: Fio: 3D World editor/game engine – inspired by Radiant and Hammer (github.com/ViciousSquid)

96 points

2 months ago

60.

Tell HN: YouTube disabling playback after 3 videos

35 points

3 years ago