Search: github.com/formml | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

61.

Ask HN: Advice on Transitioning to Speech AI/Voice Interface Engineering

1 point

2 years ago

62.

Show HN: AWS CLI Installer on Apple Silicon (github.com/carlosonunez)

1 point

a year ago

63.

Podman, the open source Docker alternative ported to M1 (Apple Silicon) machines (github.com/simnalamburt)

494 points

5 years ago

64.

Apple Game Porting Toolkit (github.com/apple)

5 points

3 years ago

65.

Brew install mesos; Mesos was added to Homebrew (github.com/Homebrew)

5 points

12 years ago

66.

"My disgust at Google's ineptitude here knows NO bounds" (github.com/mxcl)

5 points

15 years ago

67.

Apple Game Porting Toolkit 1.0 (github.com/apple)

2 points

3 years ago

68.

Podman, the open source Docker alternative ported to M1 Apple Silicon (github.com/simnalamburt)

2 points

5 years ago

69.

Show HN: Yutovo – visual online and desktop calculator inside a text editor (yutovo.com)

4 points

4 months ago

70.

Computer vision basics in Excel, using just formulas (github.com/amzn)

687 points

6 years ago

71.

CreuSAT: Formally verified SAT solver written in Rust and verified with Creusot (github.com/sarsko)

315 points

4 years ago

72.

Rosenpass – formally verified post-quantum WireGuard (github.com/rosenpass)

285 points

3 years ago

73.

ZZ is a modern formally provable dialect of C (github.com/aep)

266 points

6 years ago

74.

Homebrew removes MongoDB from core formulas (github.com/Homebrew)

252 points

7 years ago

75.

Lion: A formally verified, 5-stage pipeline RISC-V core (github.com/standardsemiconductor)

241 points

5 years ago

76.

CompCert – Formally-verified C compiler (github.com/AbsInt)

227 points

5 years ago

77.

Make formal verification and provably correct software practical and mainstream (github.com/magmide)

204 points

4 years ago

78.

Show HN: Formalizing Principia Mathematica using Lean (github.com/ndrwnaguib)

188 points

a year ago

79.

RusTLS Formal Audit [pdf] (github.com/ctz)

156 points

6 years ago

80.

Garment Notation Language: Formal descriptive language for clothing construction (github.com/khalildh)

136 points

4 months ago

81.

F# RISC-V Instruction Set formal specification (github.com/mrLSD)

134 points

3 years ago

82.

Ongoing Lean formalization of the proof for Fermat's Last Theorem (github.com/ImperialCollegeLondon)

127 points

10 months ago

83.

F# RISC-V Instruction Set Formal Specification (github.com/mrLSD)

122 points

7 years ago

84.

Litex: The First Formal Language Learnable in 1-2 Hours (github.com/litexlang)

111 points

8 months ago

85.

A formalization of category theory in Coq (github.com/jwiegley)

109 points

9 years ago

86.

Show HN: Cuq – Formal Verification of Rust GPU Kernels (github.com/neelsomani)

94 points

7 months ago

87.

Programming as a medium for poorly understood, sloppily-formulated ideas (1967) [pdf] (github.com/devinmcgloin)

77 points

7 years ago

88.

Tamgucalc: A spreadsheet in character mode with Lisp formulas (github.com/naver)

74 points

6 years ago

89.

A formalization in Coq of the Haskell pipes library (github.com/jwiegley)

73 points

11 years ago

90.

XLParser: A C# parser for Microsoft Excel formulas (github.com/spreadsheetlab)

64 points

11 years ago