Search: github.com/arithmetric | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

91.

Show HN: A new language for COBOL workloads, built on Go (github.com/CoreBankLang)

5 points

7 months ago

92.

Show HN: A Vaadin Algebra and Calculus Solver Built with AI Assistance

4 points

3 months ago

93.

Show HN: A toy compiler I built in high school (runs in browser) (vire-lang.web.app)

4 points

4 months ago

94.

Valori – Deterministic Substrate for AI (Code and ArXiv Paper)

4 points

5 months ago

95.

Show HN:Interactive RISC-V CPU Visualizer (Sequential and Pipelined) (mostlykiguess.github.io)

4 points

7 months ago

96.

Show HN: Axiom – C++ tensor library with NumPys API, optimized for Apple Silicon (github.com/Frikallo)

3 points

4 months ago

97.

Show HN: Selen – Constraint Satisfaction Solver in Rust (github.com/radevgit)

3 points

8 months ago

98.

Ramanujan-Computing: Distributed Computing with Idle Smart Devices: Open-Source

3 points

a year ago

99.

Show HN: Prav-core – A no_std, zero-allocation QEC decoder in Rust (github.com/qubitsok)

3 points

5 months ago

100.

Show HN: Warper – The fastest React virtualization library, built with Rust/WASM (warper.tech)

3 points

6 months ago

101.

A language model that emits raw VM opcodes instead of text

2 points

2 months ago

102.

Show HN: SHDL – A minimal hardware description language built from logic gates (github.com/rafa-rrayes)

2 points

4 months ago

103.

Show HN: Datetime-bench: which datetime formats LLMs get right (and wrong) (github.com/MemoryStore)

2 points

2 months ago

104.

AbsCrypt [Chariot Technologies Lab Inc]

2 points

7 years ago

105.

Show HN: TurkishSieve CPU/GPU prime sieve found errors in Nicely's tables (github.com/bilgisofttr)

2 points

3 months ago

106.

Show HN: I applied Markowitz port. theory to agent teams / proved it in a zkVM (mnemom.ai)

2 points

3 months ago

107.

Show HN: I built a deterministic vector DB kernel in Rust using fixed-point math (github.com/varshith-Git)

2 points

6 months ago

108.

Show HN: TensorDict, GPU-accelerated Python dicts (github.com/pytorch)

2 points

2 years ago

109.

Show HN: A Write Barrier That Blocks Structural Collapse in LLM Reasoning

1 point

3 months ago

110.

Show HN: Evaluate Python functions at their singularities (github.com/FWDhr)

1 point

calculusmachine

2 months ago

111.

Show HN: Turkish Sieve Engine – Full Prime Statistics Up to 10^14 and V2 Preview (github.com/bilgisofttr)

1 point

3 months ago

112.

Show HN: Synergetic-SQR – A 4D rendering engine with bit-exact rotation (github.com/johncurley)

1 point

3 months ago

113.

Show HN: DoScript – DSL for file automation with natural language syntax (github.com/TheServer-lab)

1 point

4 months ago

114.

Show HN: CPU-based Neural Net. Zero floats. Returns "I don't know" (github.com/probabilistic-minds-consortium)

1 point

4 months ago

115.

Show HN: Meru OS – The First Sovereign AI Stack (<2MB, CPU-Native)

1 point

4 months ago

116.

Show HN: ImplicitPlotter – Plot graph of any binary implicit function (github.com/byx2000)

1 point

8 months ago

117.

Show HN: Finite math system for programmers (human+AI made)

1 point

a year ago

118.

Show HN: Probability-Spreadsheet – A Probabilistic Spreadsheet in Python (github.com/Topping1)

1 point

a year ago

119.

Show HN: DateTimeMate: A Golang lib and CLI for advanced date/time manipulation (github.com/jftuga)

1 point

2 years ago

120.

Show HN: FMAs Complement – Like 2's Complement but for Matrix Multiplications (kibichomurage.medium.com)

1 point

2 years ago