(The ellipsis is vital, by the way... We're still not there 13 years later but there's been lots of entertaining diversions since!)
-
-
Show this thread
-
In hindsight the word "practical" in the title may have been a teensy bit premature
Show this thread
End of conversation
New conversation -
-
-
I wonder if mine was "find and replace made complicated" :D
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
We also work on that with
@csaba_hruska . We have an experimental idris backend with great results using grin and llvm. https://github.com/grin-tech/idris-grin … Thanks Edwin Brady for the great support of backend development for idris.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Digital designs involve synthesis from behavioral descriptions, and tons of formal verification. I work in analog, where I just worked with a PhD whose dissertation included synthesis of an OTA. We'll, I'm pretty sure it's an OTA, but you'd need to stimulate to have confidence.
-
Tongue in cheek of course, you can verify the circuit with your eyes. But that's the state of things in analog: any synthesis at all is PhD work.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.


