rdivyanshu.bsky.social
https://rdivyanshu.github.io/
14 posts
20 followers
125 following
Regular Contributor
Conversation Starter
comment in response to
post
Whoa look out for large failure probability.
comment in response to
post
pict is the star of slideshow
comment in response to
post
Does it autocorrect dafny to daphne ? (I hope I am getting correct references)
comment in response to
post
The new back-end supports a custom calling convention to place the STG virtual registers into specific hardware registers.
GHC compiles haskell using STG machine (amelia.how/posts/the-gm...) where it make sense to pin STG virtual registers to hardware registers for performance reason.
comment in response to
post
What the heck
comment in response to
post
Detectorists
comment in response to
post
I remember their regular tweet about it a long time ago.
comment in response to
post
My understanding is rosette does enough symbolic execution so that final encoding using bounded model checking is linear in program length.
comment in response to
post
This is what it's like being a psychologist for software teams
comment in response to
post
@norootcause.surfingcomplexity.com Might interest you. Formalizing OneBit algorithm from Lamport new book in coq using coq-tla.
comment in response to
post
I wanted my Algorithms students to program NP hardness reductions so we developed Karp. A domain specific language for writing Karp reductions. Our students are quite good with a debugger, so reducing learning Theory to debugging seemed like a win. docs.racket-lang.org/karp/index.h...
comment in response to
post
This one is my favorite.
comment in response to
post
THEN DO IT, I LOVE TO HAVE IT, ..... I WANT IT