Search: github.com/formml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

211.

A lightweight spreadsheet with Lisp formulas: new improved version (github.com/naver)

2 points

6 years ago

212.

Show HN: A correct Scheme interpreter based on R5RS formal semantics (github.com/siraben)

2 points

6 years ago

213.

New open source F# RISC-V ISA formal specification and CPU simulation (github.com/mrLSD)

2 points

7 years ago

214.

A hack for showing LaTeX formulas in GitHub markdown (gist.github.com)

2 points

7 years ago

215.

HACL*, a formally verified cryptographic library written in F* (github.com/project-everest)

2 points

7 years ago

216.

A formally verified proof of the soundness of System F (github.com/stepchowfun)

2 points

7 years ago

217.

Automatically convert formulae to code (github.com/philipxyc)

2 points

8 years ago

218.

Simple formulation of the fine structure constant (github.com/vicfx)

2 points

8 years ago

219.

Tell HN: Homebrew base python formula now Python3

2 points

8 years ago

220.

SaltStack formula: Django stack, Varnish caching and HAProxy load balancing (github.com/alexisbellido)

2 points

10 years ago

221.

homebrew-dupes: System duplicate formulae for the Homebrew (github.com/Homebrew)

2 points

10 years ago

222.

Show HN: The "Structural Formula" of LLMs – No more black boxes (github.com/kuruitinoji-sys)

1 point

4 months ago

223.

GitHub-Formalizing the Strong Goldbach Conjecture for AI(HOL,Standard Semantics) (github.com/JQCTeam)

1 point

10 months ago

224.

Formal Threat Modelling for Ledger Hardware Wallets with PDDL and Alloy (github.com/jose-blockchain)

1 point

3 months ago

225.

Show HN: One formula detects failure in quantum, neural nets, and hearts (github.com/Wise314)

1 point

3 months ago

226.

Show HN: FuturLang – Natural language formal verification

1 point

4 months ago

227.

Lean 4 formalization of Erdős Problem #848 – seeking review (github.com/The-Obstacle-Is-The-Way)

1 point

vibecodermcswag

4 months ago

228.

SmartExcelGuardian: Open-source Excel data cleaning with heuristics and formulas (github.com/rogers-cyber)

1 point

5 months ago

229.

Litex: A simple formal language which 10-year-olds learns quickly (github.com/litexlang)

1 point

a year ago

230.

MindScript: An experimental language combining formal and informal computation (github.com/DAIOS-AI)

1 point

2 years ago

231.

Fret: Formal Requirements Elicitation Tool v3.0 (github.com/NASA-SW-VnV)

1 point

3 years ago

232.

What if I told you that formal representation of a kanji glyph is not gibberish (github.com/ninep9up)

1 point

4 years ago

233.

Formula engine with A1 notation for TypeScript (github.com/handsontable)

1 point

5 years ago

234.

A Note on Formal Specification for Programmers (github.com/rodgarrison)

1 point

6 years ago

235.

OpenSSL homebrew formula – control-freak (TM) edition (gist.github.com)

1 point

11 years ago

236.

PHP is finally getting a formal specification. It has only taken 19 years (github.com/php)

1 point

12 years ago

237.

Show HN: formal verification for Firebase (github.com/tomlarkworthy)

1 point

12 years ago

238.

Simulating Why One AI Always Wins: Formal Theory of the Singleton Attractor (github.com/ninjahawk)

1 point

13 days ago

239.

Newbrew: TUI for discovering recent Homebrew formula additions (github.com/matt-riley)

1 point

a month ago

240.

We retired an AI agent through a formal hearing (gist.github.com)

1 point

a month ago