Re: [go-nuts] Blog: Calculating type sets is harder than you think

On Mon, May 16, 2022 at 3:24 AM 'Axel Wagner' via golang-nuts wrote: > > I thought you might be interested in a new blog post I just published, about > the difficulties of proving that a type set is empty: > https://blog.merovius.de/posts/2022-05-16-calculating-type-sets/ > It is based on a probl

Re: [go-nuts] [gollvm] build fail

Works now. Thanks for your help. Have a nice day. Than McIntosh 于2022年5月17日周二 02:06写道： > Apologies, looks like I picked the wrong LLVM hash. Please try > > llvm-project commit 09629215c272f09e3ebde6cc7eac9625d28910ff > > Cheers Than > > > On Mon, May 16, 2022 at 10:38 AM Than McIntosh wrote: >

Re: [go-nuts] [gollvm] build fail

Apologies, looks like I picked the wrong LLVM hash. Please try llvm-project commit 09629215c272f09e3ebde6cc7eac9625d28910ff Cheers Than On Mon, May 16, 2022 at 10:38 AM Than McIntosh wrote: > Hi, > > Thanks for your interest in Gollvm. > > The gollvm build is broken at tip at the moment; due

Re: [go-nuts] [gollvm] build fail

Hi, Thanks for your interest in Gollvm. The gollvm build is broken at tip at the moment; due to competing demands on my time, I haven't been able to work on this problem. Your patience is abbreviated. For now I suggest building with slightly older versions of the LLVM and related repos. For exa

Re: [go-nuts] HTTP2 client sending RST_STREAM to Netty server

You should verify that you haven’t saturated the network path to host - otherwise as you say you are working around it - but all you’ve done is effectively increase the timeout. If you timestamp the messages and inspect on the receiver you may see that they are significantly delayed. > On Ma

[go-nuts] Re: CertPool->SystemCertPool - API Behavior of Windows

Go 1.18 uses the Windows platform APIs to verify certificates (as proposed in https://go.dev/issue/46287). The specific changes are summarized in https://go.dev/doc/go1.18#crypto/x509. On Sunday, May 15, 2022 at 6:01:55 PM UTC-4 sre.ag...@gmail.com wrote: > Hi All, > > I am trying to use X509

[go-nuts] [gollvm] build fail

clang version 10.0.0-4ubuntu1 build commands: cmake -DCMAKE_C_COMPILER=clang -DCMAKE_CXX_COMPILER=clang++ -DCMAKE_INSTALL_PREFIX=/compiler/gollvm -DCMAKE_BUILD_TYPE=Release -DLLVM_USE_LINKER=gold -G Ninja ../llvm-project/llvm ninja gollvm [2184/3879] Building CXX object tools/gollvm/passes/CMak

Re: [go-nuts] HTTP2 client sending RST_STREAM to Netty server

Hi All, I have been able to get around my issue by creating more than 1 connection with the web server/service. I got this clue from a message I posted on github issues page. Here is a link to the issue in case anyone is interested: https://github.com/golang/go/issues/52845 It appears that the HTT

Re: [go-nuts] Re: Golang and virustotal

Weird thing is that I think virustotal is backed up by Google (not 100% sure) so it is curious they don't push on a more decent recognition, or provide some detection guidelines. Staying still that the blame is on AV makers, of course. On Fri, May 13, 2022, 21:59 Amnon wrote: > My workaround is

[go-nuts] Blog: Calculating type sets is harder than you think

Hi, I thought you might be interested in a new blog post I just published, about the difficulties of proving that a type set is empty: https://blog.merovius.de/posts/2022-05-16-calculating-type-sets/ It is based on a problem that came up when the notion of type sets was proposed