Search: notamonadtutorial.com | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Interview with Jesper Louis Andersen about OCaml, Go, and Protocol Design

notamonadtutorial.com

7 years ago

3 points

32.

Inteview with Thomas Wiecki about PyMC and probabilistic programming

notamonadtutorial.com

8 years ago

unbalancedparen

3 points

33.

Jesper L Andersen about Erlang, Haskell, OCaml, Go, .... and Protocol Design

notamonadtutorial.com

8 years ago

3 points

34.

Chapel: a productive parallel programming langauge

notamonadtutorial.com

8 years ago

unbalancedparen

3 points

35.

A wild PyBoy appears: a GameBoy emulator written in Python

notamonadtutorial.com

6 years ago

2 points

36.

Symmetric Encryption

notamonadtutorial.com

3 years ago

2 points

37.

Pinocchio Virtual Machine: Nearly Practical Verifiable Computation

notamonadtutorial.com

3 years ago

2 points

38.

Verifiable AES: encryption using zero-knowledge proofs

notamonadtutorial.com

3 years ago

shantanu_sharma

2 points

39.

Weird ways to multiply fast with Karatsuba, Toom–Cook and Fourier

notamonadtutorial.com

3 years ago

2 points

40.

Fully-homomorphic encryption, zero-knowledge proofs, and multiparty computation

notamonadtutorial.com

4 years ago

2 points

41.

ClojErl: Implementation of Clojure on the Erlang Virtual Machine

notamonadtutorial.com

5 years ago

2 points

42.

How to pretend you have social skills

notamonadtutorial.com

5 years ago

2 points

43.

NuShell: Shell where traditional Unix meets modern development, written in Rust

notamonadtutorial.com

6 years ago

2 points

44.

NuShell: The shell where traditional Unix meets modern development, made in Rust

notamonadtutorial.com

6 years ago

2 points

45.

How to pretend you have social skills

notamonadtutorial.com

7 years ago

2 points

46.

Inteview with Thomas Wiecki about PyMC and probabilistic programming

notamonadtutorial.com

8 years ago

2 points

47.

How to pretend you have social skills

notamonadtutorial.com

8 years ago

unbalancedparen

2 points

48.

(2015) Jesper Louis Andersen on Erlang, Haskell, OCaml, Go, Idris, the JVM, RFCs

notamonadtutorial.com

9 years ago

2 points

49.

A Pythonist finds a new home at Clojure land

notamonadtutorial.com

9 years ago

2 points

50.

Champagne SuperNova, incrementally verifiable computation

notamonadtutorial.com

3 years ago

1 points

51.

How to get a true headache: brute forcing NTRU

notamonadtutorial.com

3 years ago

1 points

52.

Using Metal and Rust to make FFT even faster

notamonadtutorial.com

3 years ago

1 points

53.

Proof aggregation schemes: SnarkPack and aPlonk

notamonadtutorial.com

3 years ago

1 points

54.

Message Authentication Codes

notamonadtutorial.com

3 years ago

1 points

55.

Arithmetization Schemes for ZK-SNARKs

notamonadtutorial.com

3 years ago

1 points

56.

Nearly Practical Verifiable Computation with a Pinocchio Virtual Machine

notamonadtutorial.com

3 years ago

1 points

57.

Decentralized private computation: ZEXE and VERI-ZEXE

notamonadtutorial.com

3 years ago

1 points

58.

The Hunting of the (ZK)-Snark

notamonadtutorial.com

3 years ago

1 points

59.

Verifiable AES: encryption using zero-knowledge proofs

notamonadtutorial.com

3 years ago

1 points

60.

Rebuilding the Racket Compiler with Chez Scheme (2020)

notamonadtutorial.com

4 years ago

1 points