Search: github.com/Cubiczan | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Consensus Hardening Protocol (github.com/Cubiczan)

2 points

a month ago

2.

Metabocommand – AI agent meta-command system (github.com/zan-maker)

1 point

a month ago

3.

Nginx Build – A Seamless Nginx Builder (github.com/cubicdaiya)

3 points

10 years ago

4.

Cubicaltt: Cubical Type Theory (github.com/mortberg)

2 points

10 years ago

5.

Apple's Cubify Anything: Scaling Indoor 3D Object Detection (github.com/apple)

188 points

a year ago

6.

Redtt a proof assistant for cartesian cubical type theory (github.com/RedPRL)

2 points

5 years ago

7.

Yacctt: Yet Another Cartesian Cubical Type Theory (github.com/mortberg)

1 point

8 years ago

8.

Show HN: The Hessian of tall-skinny networks is easy to invert (github.com/a-rahimi)

31 points

5 months ago

9.

Show HN: Anders CCHM/HTS Theorem Prover (github.com/groupoid)

6 points

4 years ago