unbalancedparen

Joined 10 years ago

Karma

682

Submissions

37

Member since

Nov 15

View on Hacker News

Recent submissions

Show HN: Fuzz Forge, vulnerability discovery with AI and fuzzing github.com

11 unbalancedparen 1 year ago 1 comments

Interview about Austral, a systems programming language with linear types blog.lambdaclass.com

111 unbalancedparen 2 years ago 43 comments

Comment · 4 years ago

>For one, the computational work for checking everyone's transactions on everyone's computer (i.e. blockchain) is consuming the computing power of the people interested.

With ZKP there won't be a need to run every transaction on everyone's computer

Comment · 4 years ago

That is the main purpose. But check SNARKs and STARKs, they have a great future outside of blockchain too.

Come see BuzzConf 2020, a software and data science conference, online for all notamonadtutorial.com

3 unbalancedparen 6 years ago 0 comments

A brief introduction to the beauty of Information Theory notamonadtutorial.com

3 unbalancedparen 6 years ago 0 comments

Don't Bet on an Expected Value lambdaclass.com

5 unbalancedparen 6 years ago 1 comments

Comment · 6 years ago

We have done some simulations and explorations on Peters and Adamou's work:

- https://lambdaclass.com/finance_playground/ergodicity/ergodi...

- https://lambdaclass.com/RGBM_animations/

Comment · 7 years ago

Thanks to dirty schedulers that is not a big issue: https://medium.com/@jlouis666/erlang-dirty-scheduler-overhea...

Interview with Noria’s creator: a promising research database in Rust notamonadtutorial.com

4 unbalancedparen 7 years ago 0 comments

Comment · 7 years ago

Hi, I am the interviewer. I think I saw numba once but forgot about it. I will check it and probably ask to interview them too. We are preparing interviews about RAPIDS and other similar projects too.