Viewing profile — profquail

SIG is hiring for some roles in Sydney: https://careers.sig.com/global-experienced

Pennsylvania has oil and was formerly a British colony: https://en.wikipedia.org/wiki/Pennsylvania_oil_rush

https://en.wikipedia.org/wiki/Synecdoche

Another option is to build your own. You could buy a small ARM board like a NanoPi R6S (<$100) with 2.5GbE ports and run pfSense on it.

Are you using Windows’ built-in Powershell? If so, are you allowed to install the newer Powershell Core (based on .NET Core)? The latter has a lot of fixes and improvements compare…

WinFsp (FUSE for Windows) has an NFS driver: https://github.com/winfsp/nfs-win

zlib-ng also has adler32 implementations optimized for various architectures: https://github.com/zlib-ng/zlib-ng Might be interesting to benchmark their implementation too to see h…

The complicated number encoding scheme you mentioned is a hexfloat: C has them too. Hexfloat can be really useful when you need precise/exact floating-point constants for numerical…

Your idea for the secret to prevent spoofing is interesting and reminiscent of the verification secret in the SCTP packet header: https://en.m.wikipedia.org/wiki/SCTP_packet_struct…

I think it’s more like Gandiva or DataFusion (both from the Apache Arrow project).

M-DISC: https://en.m.wikipedia.org/wiki/M-DISC They’re special DVD and Blu-ray discs designed for long-term storage. DVD and Blu-ray are so widely used, it seems likely you’d be ab…

There’s also a company here in Philadelphia that makes custom split-flap displays: https://www.oatfoundry.com/

If you want to do set thread-core affinity in a cross-platform way, hwloc is a good approach: https://www.open-mpi.org/projects/hwloc/doc/v2.7.0/a00166.ph...

https://en.wikipedia.org/wiki/Fermat's_Last_Theorem

Hoogle is pretty neat — you can search by type signature and it’ll find matching APIs from hackage packages: https://hoogle.haskell.org/ Source: https://github.com/ndmitchell/hoogl…

Now could be a good time to make this change, in coordination with HPy: https://github.com/hpyproject/hpy I agree though — it’s tempting to keep extending and stretching the langua…

The Opal webcam ($300) looks fairly similar in specification to the new(ish) Dell UltraSharp webcam ($200): https://www.dell.com/en-us/shop/dell-ultrasharp-webcam/apd/3... What is …

Lisp machines had hardware/OS-based garbage collection ~40 years ago: https://en.m.wikipedia.org/wiki/Lisp_machine

This was standardized as the L1 Sync feature of IEEE1588:2019, as described here: https://blog.meinbergglobal.com/2020/09/17/whats-new-in-ieee...

Kats looks like a useful library, but I’m a bit surprised to see they’re not enabling parallel execution for the numba kernels. Surely FB must have time-series data large-enough th…

The original code was written in F#, then re-written later in F7 then F* (FStar).

MiTLS is written in FStar, not F#. FStar has some tools (like Kremlin [1]) for extracting C code from the verified FStar, so in theory it wouldn’t be too hard to also extract Rust …

Maybe more like: next time there’s a downturn, keep the orders if they can afford to. Having the chips on hand when the market picks up again could be a great investment, since the…

Sure, it’s important for a library to have C source code for portability. That doesn’t exclude implementing the code in another language (such as F*/FStar or Dafny) that has strong…

The 2600 Magazine community is still alive and well: https://www.2600.com/