Search: github.com/jsoma | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: ReSwapper – Reproduce the Implementation of Inswapper

github.com/somanchiu

2 years ago

1 points

62.

Show HN: Morphing Somatic Quasicrystal Neural Network

11 years ago

3 points

63.

Show HN: SomaOS – rebuilding the desktop so AI is native to it, not bolted on

github.com/avsribhas-svg

3 months ago

2 points

64.

Show HN: Soma, a local-first AI OS with 178 cognitive modules and P2P learning

github.com/unimaginative-artist

4 months ago

2 points

65.

4 years ago

2 points

66.

Show HN: A website that auctions itself daily

thedailyauction.com

5 months ago

43 points

67.

DNSworks is looking for a technical cofounder.

17 years ago

17 points

68.

Show HN: I built a website to summarize Tech Twitter each day

todayontechtwitter.com

a year ago

11 points

69.

Show HN: Pyroscope-rs a multi-language profiler built with Rust

github.com/pyroscope-io

4 years ago

2 points

70.

Show HN: Soul Protocol – an open standard for portable AI identity

3 months ago

1 points

71.

Show HN: A tool to scrape senators' stock transactions for your own analysis

github.com/neelsomani

6 years ago

350 points

72.

The next subleq

github.com/tomhea

3 years ago

121 points

73.

Show HN: Rust-starter, a boilerplate to build Rust CLI applications

github.com/rust-starter

5 years ago

97 points

74.

Show HN: Cuq – Formal Verification of Rust GPU Kernels

github.com/neelsomani

8 months ago

94 points

75.

Nsh, a unified router style CLI for OpenBSD

github.com/yellowman

4 years ago

86 points

76.

Hardcaml: An OCaml library for designing hardware

github.com/janestreet

6 years ago

59 points

77.

K3c – Classic Docker for a Kubernetes World

github.com/ibuildthecloud

6 years ago

34 points

78.

Show HN: Symbolic Circuit Distillation: prove program to LLM circuit equivalence

github.com/neelsomani

6 months ago

16 points

79.

Shellspec – a unit testing framework for Posix compliant shell script

github.com/shellspec

6 years ago

10 points

80.

BitAuth: Passwordless authentication using Bitcoin cryptography

github.com/bitpay

11 years ago

4 points

81.

Simple Python profiler

github.com/omarabid

14 years ago

4 points

82.

Plotly Dash: Analytical Web Apps for Python and R

github.com/plotly

7 years ago

4 points

83.

Sorry, this diff is taking too long to generate

github.com/torvalds

4 years ago

3 points

84.

LosslessCut – Save space by quickly and losslessly trimming video files

github.com/mifi

6 years ago

3 points

85.

Twitter Bootstrap for WordPress

github.com/omarabid

13 years ago

3 points

86.

Show HN: Do Models Represent Epistemic Stance?

github.com/neelsomani

6 months ago

3 points

87.

Show HN: KV Marketplace – share LLM attention caches across GPUs like memcached

github.com/neelsomani

7 months ago

2 points

88.

Show HN: Web2mcp – Auto-generate an MCP for any web app

github.com/neelsomani

10 months ago

2 points

89.

BootstrapPress: Twitter Bootstrap Plugin for WordPress

github.com/omarabid

13 years ago

2 points

90.

Show HN: A list of CLI coding tools similar to Claude Code

github.com/omarabid

7 months ago

2 points