Search: github.com/MaiaVictor | Heykuki News

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)

130 points

11 years ago

2.

Formality – An efficient programming language and proof assistant (github.com/maiavictor)

102 points

8 years ago

3.

Forall.js: Idris-like static types and invariant checks for JavaScript (github.com/maiavictor)

63 points

9 years ago

4.

Show HN: LJSON: JSON extended with pure functions (github.com/MaiaVictor)

39 points

11 years ago

5.

Show HN: Moon, an universal code-interchange format (github.com/maiavictor)

11 points

9 years ago

6.

The oracle-free fragment of Lamping's algorithm can evaluate all λ-terms (github.com/MaiaVictor)

6 points

9 years ago

7.

Show HN: Nano-JSON-stream-parser, a 750 bytes streamed JSON parser (github.com/maiavictor)

6 points

9 years ago

8.

Show HN: Abstract Calculus, a massively parallel model of computation (github.com/maiavictor)

5 points

8 years ago

9.

Quantum-proof small (768-bit) signatures for 1-bit messages (github.com/maiavictor)

3 points

6 years ago

10.

Formality: An efficient programming language and proof assistant (github.com/MaiaVictor)

3 points

8 years ago

11.

Supercompilation for free with the abstract algorithm (github.com/MaiaVictor)

3 points

8 years ago

12.

Show HN: Drop-in, expressive static type and invariant checks for JavaScript (github.com/MaiaVictor)

3 points

9 years ago

13.

Make Ethereum massively scalable today with delayed computations (gist.github.com)

3 points

9 years ago

14.

Massively parallel GPU programming on JavaScript made simple and clean (github.com/MaiaVictor)

3 points

10 years ago

15.

Bitspeak converts hex strings to pronounceable words (github.com/MaiaVictor)

2 points

7 years ago

16.

PureState.js, the stupidiest state management library that works (github.com/maiavictor)

2 points

10 years ago

17.

Async/await is just the do-notation of the Promise monad (gist.github.com)

2 points

5 years ago

18.

Multiplication with Optimal β-Reduction (github.com/maiavictor)

2 points

6 years ago

19.

“Turns out the Y-combinator has a normal form, surprisingly.” (github.com/MaiaVictor)

2 points

8 years ago

20.

Lamping's Abstract Algorithm (github.com/maiavictor)

2 points

9 years ago

21.

Multiplication with Optimal β-Reduction (github.com/MaiaVictor)

1 point

6 years ago

22.

Show HN: Navim browses files on the terminal with minimal amount of keystrokes (github.com/MaiaVictor)

1 point

6 years ago

23.

Theorem proving VS testing (with a simple example) (github.com/MaiaVictor)

1 point

8 years ago

24.

What is wrong with the Web, and why we need Moon (draft) (gist.github.com)

1 point

9 years ago

25.

WebMonkeys: a simple, straightforward lib for GPU programming on JavaScript (github.com/MaiaVictor)

1 point

10 years ago