Search: github.com/picrin | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Picrin – a lightweight R7RS scheme implementation in pure C89 (github.com/picrin-scheme)

93 points

10 years ago

2.

Show HN: A formal proof of deMorgan's law in lean (github.com/picrin)

3 points

10 years ago

3.

Lock-Picking Robot (github.com/etinaude)

314 points

5 months ago

4.

Domainr Command Line Script makes picking a new one easier than ever (github.com/talsafran)

39 points

15 years ago

5.

Show HN: FbFriends, a JS dialog for picking FB friends (icambron.github.com)

14 points

13 years ago

6.

Picking up Angular (github.com/deontologician)

12 points

12 years ago

7.

I built an MCP server so your agent stops picking the wrong cloud services (github.com/Tlalvarez)

2 points

2 months ago

8.

Picking up the Pieces: Popular Spec-Driven Development tool abandoned, forked (github.com/open-gsd)

1 point

8 days ago

9.

Express middleware for picking REST API HTTP status code (github.com/B1naryStudio)

1 point

12 years ago

10.

Picking Vectors to Pack (github.com/WinVector)

1 point

3 years ago

11.

Picking a fight with Bootstrap to switch from padding to margin grids (github.com/twbs)

1 point

10 years ago

12.

Ask HN: How do you familiarize yourself with a new codebase?

407 points

11 years ago

13.

Show HN: Allocate poker chips optimally with mixed-integer nonlinear programming (github.com/jstrieb)

213 points

2 years ago

14.

Show HN: Mirrorful – A developer-first way to implement designs faster (github.com/Mirrorful)

134 points

3 years ago

15.

Launch HN: Confident AI (YC W25) – Open-source evaluation framework for LLM apps

117 points

a year ago

16.

Show HN: Epsilla – Open-source vector database with low query latency (github.com/epsilla-cloud)

111 points

3 years ago

17.

Show HN: Volume rendering 3D data in Three.js and GLSL (github.com/SuboptimalEng)

108 points

2 years ago

18.

Show HN: Autoresearch@home (ensue-network.ai)

79 points

3 months ago

19.

Ask HN: What's You Life's Work?

42 points

examplary_cable

3 years ago

20.

Will pair for food

35 points

12 years ago

21.

Tell HN: We just got screwed by PayPal

23 points

15 years ago

22.

Show HN: Datoviz – Vulkan-based GPU scientific visualization (C/C++/Python) (github.com/datoviz)

23 points

2 years ago

23.

Show HN: Gram Functions – Serverless platform for turning code into LLM tools (speakeasy.com)

23 points

7 months ago

24.

Show HN: The problem with the epsilon greedy method (github.com/crobertsbmw)

22 points

11 years ago

25.

Show HN: GEITje-7B – A New Large Open Dutch Language Model (github.com/Rijgersberg)

20 points

2 years ago

26.

Ask HN: Programmers Who Want to Get Better at Math

15 points

2 years ago

27.

Show HN: PrivatePDF – minimal PDF editor that runs in the browser (github.com/photown)

14 points

2 years ago

28.

Show HN: Mukette, a Markdown Pager for Unix-Based Systems (github.com/Chubek)

12 points

2 years ago

29.

Show HN: Animated chart presentations in Jupyter notebooks (github.com/vizzuhq)

10 points

4 years ago

30.

Show HN: I made a daily routines app, but it requires photos to complete (folksable.com)

6 points

2 years ago