Search: github.com/axiomhq | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

I turned a $59 Android phone into a self-healing cloud engine (Axiom SDK)

github.com/liberatedai-ui

16 days ago

3 points

32.

React Axiom: a way to use models with React

github.com/wgoto

10 years ago

3 points

33.

Show HN: I built a <400ms latency voice agent that runs on a 4gb vram GTX 1650"

github.com/pheonix-delta

4 months ago

2 points

34.

Axiom-X: A GPU-Accelerated Evolutionary Engine

github.com/BMV-AI

6 months ago

1 points

35.

Show HN: Prompt-Compose.js Use Axioms and Compositions to Build Modular Prompts

github.com/anubhavgupta

3 years ago

6 points

36.

Astra v1.0 – Formally verified smart contracts with six mathematical axioms

5 months ago

2 points

37.

Formal Axiomatization of Advaita Vedanta in Lean 4

github.com/matthew-scherf

6 months ago

1 points

38.

Pyano: A formalization of first-order logic and Peano's axioms in Python

github.com/sanjoy

3 years ago

1 points

39.

Show HN: Crystalline Protocol – A blockchain with a built-in "Logic Firewall"

github.com/deramazesaa-web

6 months ago

7 points

40.

Toward a new mathematical theory of computation.

17 years ago

5 points

41.

Show HN: Physics from "I am": a recursive model that works?

github.com/ktynski

10 months ago

4 points

42.

Show HN:I built a deterministic 10k-node VRP solver on a $100 phone

2 months ago

2 points

43.

Show HN: Formally Verified a Millennium Prize Problem in Coq Yang-Mills Mass Gap

github.com/Shariq81

4 months ago

2 points

44.

Ask HN: Which learning style is better? Mastery Learning or Spiral approach?

7 years ago

1 points

45.

Show HN: I built a dependency graph for the tree of human science

github.com/slepybear

4 months ago

1 points

46.

Show HN: Cursor Agent Factory – 5-layer architecture for AI agent systems

github.com/gitwalter

5 months ago

1 points

47.

Show HN: 32KB deductive engine that catches LLM hallucinations

5 months ago

1 points

48.

Show HN: A verified foundation of mathematics in Coq (Theory of Systems)

5 months ago

1 points

49.

GitHub – nushell/nushell: A new type of shell

github.com/nushell

5 years ago

763 points

50.

The Art of Command Line (2015)

github.com/jlevy

7 years ago

597 points

51.

Youtube-dl: Command-line program to download videos

8 years ago

581 points

52.

Docker-OSX: Run macOS VM in a Docker

github.com/sickcodes

3 years ago

458 points

53.

Pi-hole: Network-wide ad blocking

github.com/pi-hole

3 years ago

438 points

54.

A pure JavaScript implementation of Git for Node and browsers

github.com/isomorphic-git

8 years ago

381 points

55.

Learning operating system development using Linux kernel and Raspberry Pi

github.com/s-matyukevich

8 years ago

368 points

56.

Libui: a portable GUI library for C

github.com/andlabs

8 years ago

356 points

57.

Wireguard-docs: Setup, usage, configuration, and a full example

github.com/pirate

7 years ago

323 points

58.

SpiderFoot: OSINT collection and reconnaissance tool

github.com/smicallef

6 years ago

272 points

59.

A curated list of books on Software Architecture

github.com/mhadidg

5 years ago

262 points

60.

PS4-5.05-Kernel-Exploit: A fully implemented kernel exploit for the PS4

github.com/Cryptogenic

8 years ago

181 points