profquail

6 ms·

1.
by profquail 6mo ago
SIG is hiring for some roles in Sydney: https://careers.sig.com/global-experienced
2.
by profquail 2y ago
Pennsylvania has oil and was formerly a British colony: https://en.wikipedia.org/wiki/Pennsylvania_oil_rush
3.
by profquail 3y ago
https://en.wikipedia.org/wiki/Synecdoche
4.
by profquail 3y ago
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.
5.
by profquail 3y ago
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 compared to the built-in Powershell.
6.
by profquail 4y ago
WinFsp (FUSE for Windows) has an NFS driver: https://github.com/winfsp/nfs-win
7.
by profquail 4y ago
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 how it compares.
8.
by profquail 4y ago
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 methods. Without them, you end up having to do more-co
9.
by profquail 4y ago
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_structure
10.
by profquail 4y ago
I think it’s more like Gandiva or DataFusion (both from the Apache Arrow project).
11.
by profquail 4y ago
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 able to find some equipment in 30 years
12.
by profquail 5y ago
There’s also a company here in Philadelphia that makes custom split-flap displays: https://www.oatfoundry.com/
13.
by profquail 5y ago
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...
14.
by profquail 5y ago
https://en.wikipedia.org/wiki/Fermat's_Last_Theorem
15.
by profquail 5y ago
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/hoogle
16.
by profquail 5y ago
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 language to be something it was never design
17.
by profquail 5y ago
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 Opal offering over the
18.
by profquail 5y ago
Lisp machines had hardware/OS-based garbage collection ~40 years ago: https://en.m.wikipedia.org/wiki/Lisp_machine
19.
by profquail 5y ago
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...
20.
by profquail 5y ago
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 they’d see some performance benefits from parallelism in these
21.
by profquail 5y ago
The original code was written in F#, then re-written later in F7 then F* (FStar).
22.
by profquail 5y ago
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 code too. [1] https://github.com/FStarLang&#
23.
by profquail 5y ago
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 they’ll be able to produce vehicles when their competitors can’
24.
by profquail 5y ago
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 stronger out-of-the-box safety guarantees, then compiling it
25.
by profquail 6y ago
The 2600 Magazine community is still alive and well: https://www.2600.com/
26.
by profquail 6y ago
You can also use SQL:2011 "System-Version Tables" (a.k.a. temporal databases) supported in most of the major RDBMSs now. You'd just need to keep track of a timestamp when you started querying/paginating and include it as
27.
by profquail 6y ago
You could use something based on DPDK, like pktgen-dpdk: https://git.dpdk.org/apps/pktgen-dpdk/
28.
by profquail 6y ago
oneAPI uses DPC++ (Data-Parallel C++), which is pretty much just SYCL, which itself is a C++ library on top of OpenCL. From my understanding, the Khronos group realized OpenCL 2.x was much too complicated so vendors just weren’t implementin
29.
A Major ReviewMeta Update: Why I’m Stepping Away and Seeking a Successor(reviewmeta.com)
2 points by profquail 6y ago|0 comments
30.
by profquail 6y ago
Another approach to solving this issue is with a temporal database (standardized in SQL:2011); supporting a “valid time” in your query gives your user a consistent view of the database tables even if others are modifying it concurrently. It

More ›