Dan Connolly
Dan Connolly
Is this a known limitation? I first ran into this when using python: ``` File "selectors.py", line 376, in select OSError: [Errno 52] Function not implemented ``` Then I confirmed...
**Describe the bug** The error message for missing quotes is misleading. **To Reproduce** 1. put something like `timeout_broadcast_tx_commit = 20s` in a .toml file 2. start some utility that uses...
I found the [Probabilistic relational verification types](https://dl.acm.org/doi/10.1145/2535838.2535847) work in the [F*](http://research.microsoft.com/apps/mobile/showpage.aspx?page=/en-us/projects/fstar/) project very interesting: > Recall that non-interference means that public results do not > depend on secrets. If an...
Inspired by [Tokio alpha release with async & await](https://tokio.rs/blog/2019-08-alphas/), I picked up rust for the first time in a while tonight. I managed to adapt your client example to a...
In [a Jan 17 comment](https://github.com/kaist-plrg/jstar/issues/2#issuecomment-1015090886), @jhnaldo writes: > We are currently developing JSAVER, a JavaScript static analyzer, based on the JavaScript syntax and semantics extracted from [ECMAScript specification](https://tc39.es/ecma262/) via [JISET](https://github.com/kaist-plrg/jiset/issues)....
_quick brain dump; IOU links, nicer edit._ dev is a capabilities fan: https://weinholt.se/articles/non-posix-filesystems/ he's doing osdev with scheme https://scheme.fail/ - Cross-compiles to Linux/amd64, NetBSD/amd64 and bare metal amd64 - Concurrency...
includes deSubGraphKit etc. ported from E-on-Java fixes #203 example from `uneval.updoc`: ``` def x := [1, x, 3] test(s(x), "[1, , 3]") $ monte eval fun/uneval.mt >cycle.msg $ capnp convert...
failing test case: ``` > Bool.supersetOf(Bool) false ```
I'm interested to give it a try, based on https://github.com/dckc/capper-mt/blob/master/deJSONKit.mt and nearby stuff. I guess my next step is to try to get enough stuff from capper-mt wired in to...