bkase

6 ms·

1.
Do in secret. Assert in public. Don't under-constrain your in ZK programs(zksecurity.xyz)
3 points by bkase 3y ago|0 comments
2.
by bkase 4y ago
I work on the tooling layer for zkapps on Mina — Great questions! I think in the future the overhead will improve significantly, and we can already see incremental improvements in some proof systems. For Kimchi (the proof system we’ve built
3.
by bkase 7y ago
Unfortunately, I don't actually have access to NVidia hardware anymore -- but I would be happy to accept a PR from someone who can get this to run!
4.
by bkase 7y ago
Which links specifically are broken?
5.
by bkase 7y ago
Hmm I'll take a look at that. Yes code is here: https://github.com/bkase/CUDA-grep
6.
by bkase 7y ago
One of the authors here: Happy to answer any questions. Keep in mind this was a school project from 2012 (Kayvon's 15-418 at CMU, a wonderful class), so it's been a while.
7.
by bkase 7y ago
Oh good, I'm glad we did mention this!
8.
by bkase 7y ago
One of the authors here: Yes you are right, you should not replace grep for one off regexes due to the latency of the io operations. As far as I recall, memory throughput however is much higher on house than on CPUs (or at least this was tr
9.
Fast Accumulation on Streams(codaprotocol.com)
23 points by bkase 8y ago|0 comments
10.
by bkase 8y ago
I enjoyed the post, but there's something that bothers me about using the name CRDT. A CRDT is just what mathematicians (and functional programmers) call a Semilattice[1], right? In general, I find it frustrating when people make up ne
11.
by bkase 9y ago
Another interesting problem slightly more interesting than a quine is writing an auto-cannibal machine (this was a homework assignment in my semester of 15-251 at CMU): Write a function `ACM : (String -> a) -> a` aka a function that t
12.
by bkase 10y ago
I found your post very compelling. I have tried messing around with the APL derivatives (J and K and Q), but never created anything substantial. I didn't know you could view the AST like that, and it did really help in your explanation
13.
by bkase 11y ago
Don't miss the presentation linked at the bottom of the readme[1], and the browser-based IDE, Golem linked in the middle[2]. [1] https://www.youtube.com/watch?v=HnZipJOan54 [2] http://shem.io/
14.
by bkase 11y ago
Certified Programming with Dependent Types (available online as well http://adam.chlipala.net/cpdt/ ) is also a good resource for learning Coq (note: I just started working through the material this weekend).
15.
by bkase 11y ago
I've been using scm_breeze for a couple years, and it really makes me more productive with Git. My favorite feature is that after a `gs` all the files listed are bound to sh variables $e1, $e2, etc.
16.
by bkase 11y ago
For those interested in the lecture associated with these notes: https://www.youtube.com/watch?v=GNc1t6Q5Dls
17.
by bkase 11y ago
This library reminds me of some of the "future" introduced in this (satirical, yet insightful) talk: https://www.destroyallsoftware.com/talks/the-birth-and-death... Discussion: https://news.ycombin
18.
by bkase 11y ago
Unfortunately, not. We had a bad gradle config for a while so when we fixed that our build time jumped down from 6min incremental to 2min. However, I can tell you that I haven't noticed an increase in build time since we fixed our grad
19.
by bkase 11y ago
I haven't looked into it much in the past few years so it is possible the inner class overhead on Android is not significant anymore, but a few years ago it was definitely something to watch out for on Dalvik. Again I wasn't being
20.
by bkase 11y ago
Thanks for the info! I did know that passing lambdas to Java API calls still has to instantiate an anonymous inner class, but the details about what happens in each situation are new to me (and really interesting). I'm sorry that I did
21.
by bkase 11y ago
We built Roll for Android ( http://tryroll.com ) in Kotlin -- we currently have ~17k lines and have been working on it since this Spring. We wanted to iterate on a lot of the software structure we came up with for our Swift iOS
22.
by bkase 12y ago
Not my project, so I can't update the repo. Here's a simple way to see an example: # clone and then make && ./irscc test/main.c open a.pdf
23.
IRSCC: Compile C code into tax forms(bitbucket.org)
15 points by bkase 12y ago|2 comments
24.
by bkase 13y ago
I like to take advantage of temporal locality. My zshrc is configured to take me to the most recent place that I have been whenever I open a new shell: autoload -U add-zsh-hook record_pwd() { pwd > ~/.cwd } add-zsh-hook chpw
25.
by bkase 13y ago
Thanks for the advice. As soon as we get this project to run successfully on CUDA 5, we'll update the finalreport document with the entire-application performance numbers (hopefully before the end of tomorrow).
26.
by bkase 13y ago
Well I woke up to a nice surprise! Since people seem really interested in this, mburman and I are going to spend the day fixing up this project. This was a final project for 15-418 in Spring of 2012 (that was a great class). We need to upda
27.
Git-paradox - Copy history forward safely and easily(github.com)
1 points by bkase 14y ago|1 comments