Viewing profile — bkase

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 …

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!

Which links specifically are broken?

Hmm I'll take a look at that. Yes code is here: https://github.com/bkase/CUDA-grep

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.

Oh good, I'm glad we did mention this!

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 i…

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? I…

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 fun…

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 AS…

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] htt…

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…

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 variab…

For those interested in the lecture associated with these notes: https://www.youtube.com/watch?v=GNc1t6Q5Dls

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: htt…

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 no…

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 somethin…

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 n…

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 softw…

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

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 rec…

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 (hopefull…