Search: github.com/MaiaVictor | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Show HN: Caramel – a modern syntax for the lambda calculus

github.com/MaiaVictor

11 years ago

130 points

2.

Formality – An efficient programming language and proof assistant

github.com/maiavictor

8 years ago

102 points

3.

Forall.js: Idris-like static types and invariant checks for JavaScript

github.com/maiavictor

9 years ago

63 points

4.

Show HN: LJSON: JSON extended with pure functions

github.com/MaiaVictor

11 years ago

39 points

5.

Show HN: Moon, an universal code-interchange format

github.com/maiavictor

9 years ago

11 points

6.

The oracle-free fragment of Lamping's algorithm can evaluate all λ-terms

github.com/MaiaVictor

9 years ago

6 points

7.

Show HN: Nano-JSON-stream-parser, a 750 bytes streamed JSON parser

github.com/maiavictor

9 years ago

6 points

8.

Show HN: Abstract Calculus, a massively parallel model of computation

github.com/maiavictor

8 years ago

5 points

9.

Quantum-proof small (768-bit) signatures for 1-bit messages

github.com/maiavictor

6 years ago

3 points

10.

Formality: An efficient programming language and proof assistant

github.com/MaiaVictor

8 years ago

3 points

11.

Supercompilation for free with the abstract algorithm

github.com/MaiaVictor

8 years ago

3 points

12.

Show HN: Drop-in, expressive static type and invariant checks for JavaScript

github.com/MaiaVictor

9 years ago

3 points

13.

Make Ethereum massively scalable today with delayed computations

gist.github.com

9 years ago

3 points

14.

Massively parallel GPU programming on JavaScript made simple and clean

github.com/MaiaVictor

10 years ago

3 points

15.

Bitspeak converts hex strings to pronounceable words

github.com/MaiaVictor

7 years ago

2 points

16.

PureState.js, the stupidiest state management library that works

github.com/maiavictor

10 years ago

2 points

17.

Async/await is just the do-notation of the Promise monad

gist.github.com

5 years ago

2 points

18.

Multiplication with Optimal β-Reduction

github.com/maiavictor

6 years ago

2 points

19.

“Turns out the Y-combinator has a normal form, surprisingly.”

github.com/MaiaVictor

8 years ago

2 points

20.

Lamping's Abstract Algorithm

github.com/maiavictor

9 years ago

2 points

21.

Multiplication with Optimal β-Reduction

github.com/MaiaVictor

6 years ago

1 points

22.

Show HN: Navim browses files on the terminal with minimal amount of keystrokes

github.com/MaiaVictor

6 years ago

1 points

23.

Theorem proving VS testing (with a simple example)

github.com/MaiaVictor

8 years ago

1 points

24.

What is wrong with the Web, and why we need Moon (draft)

gist.github.com

9 years ago

1 points

25.

WebMonkeys: a simple, straightforward lib for GPU programming on JavaScript

github.com/MaiaVictor

10 years ago

1 points