Search: github.com/Axinom | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Show HN: Axiom – Open-source AI research agent that runs locally (C#, Ollama)

github.com/DynamicCSharp

4 months ago

1 points

62.

Formal Axiomatization of Advaita Vedanta in Lean 4

github.com/matthew-scherf

6 months ago

1 points

63.

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

github.com/sanjoy

3 years ago

1 points

64.

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

github.com/deramazesaa-web

6 months ago

7 points

65.

Toward a new mathematical theory of computation.

17 years ago

5 points

66.

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

github.com/ktynski

10 months ago

4 points

67.

Show HN: We made a VS Code extension to recreate a debugger experience from logs

marketplace.visualstudio.com

a year ago

3 points

68.

Show HN: Linkitall – create dependency-graphs of ideas

github.com/charstorm

3 years ago

3 points

69.

Proton/electron mass ratio pure geometry – 10⁻¹³% error, zero free parameters

6 months ago

2 points

70.

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

2 months ago

2 points

71.

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

github.com/Shariq81

4 months ago

2 points

72.

Show HN: I wrote a toy proof assistent

github.com/chrisd1977

2 years ago

2 points

73.

Show HN: An autopoietic agent forge for emergent, consensus-based AI ecosystems

github.com/jzkool

5 months ago

hiddenarchitect

1 points

74.

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

7 years ago

1 points

75.

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

github.com/slepybear

4 months ago

1 points

76.

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

github.com/gitwalter

5 months ago

1 points

77.

Show HN: 32KB deductive engine that catches LLM hallucinations

5 months ago

1 points

78.

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

5 months ago

1 points

79.

GitHub – nushell/nushell: A new type of shell

github.com/nushell

5 years ago

763 points

80.

The Art of Command Line (2015)

github.com/jlevy

7 years ago

597 points

81.

Youtube-dl: Command-line program to download videos

8 years ago

581 points

82.

Docker-OSX: Run macOS VM in a Docker

github.com/sickcodes

3 years ago

458 points

83.

Pi-hole: Network-wide ad blocking

github.com/pi-hole

3 years ago

438 points

84.

A pure JavaScript implementation of Git for Node and browsers

github.com/isomorphic-git

8 years ago

381 points

85.

Learning operating system development using Linux kernel and Raspberry Pi

github.com/s-matyukevich

8 years ago

368 points

86.

Fermented Chili “Open Sauce” – My most starred repo has no code in it

github.com/aweijnitz

4 years ago

367 points

87.

Libui: a portable GUI library for C

github.com/andlabs

8 years ago

356 points

88.

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

github.com/pirate

7 years ago

323 points

89.

OSSU: Path to a free, self-taught education in computer science

github.com/ossu

5 years ago

322 points

90.

Osx-kvm: Run macOS on QEMU/KVM

github.com/kholia

8 years ago

299 points