HNHacker News
TopNewBestAskShowJobs

profquail

6,978 karma · joined June 24, 2009

C#/F#/C++/Python developer. Building trading systems and strategies at Susquehanna: https://sig.com/Careers/

Twitter: @jkpappas

https://github.com/jack-pappas

https://fsharp.org

submissionscomments
profquail··on An Italian farmer found some unknown seeds in his attic and planted them
That day could be today: https://www.molinograssi.it/en/retail-line/miracolo-line/
profquail··on Meta’s renewed commitment to jemalloc
SIG is hiring for some roles in Sydney: https://careers.sig.com/global-experienced
profquail··on The almost-lost art of rosin potatoes
Pennsylvania has oil and was formerly a British colony: https://en.wikipedia.org/wiki/Pennsylvania_oil_rush
profquail··on Apple hiring compiler developers for improving Swift / C++ interoperability
https://en.wikipedia.org/wiki/Synecdoche
profquail··on CISA, NSA, FBI Release Advisory Warning of BlackTech, PRC-Linked Cyber Activity
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.
profquail··on Simple PowerShell things allowing you to dig a bit deeper than usual
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.
profquail··on Mountpoint – file client for S3 written in Rust, from AWS
WinFsp (FUSE for Windows) has an NFS driver: https://github.com/winfsp/nfs-win
profquail··on Computing Adler32 Checksums at 41 GB/s
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.

profquail··on Concise Encoding: A secure data format for a modern world
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-complicated hacks to preserve exact constant values when code gets compiled, or you have to live with compilers (sometimes) subtly altering constants.

I wish more languages supported hexfloats.

profquail··on Open DNS resolvers, from bad to worse
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
profquail··on Vectorization in OLAP Databases
I think it’s more like Gandiva or DataFusion (both from the Apache Arrow project).
profquail··on Ask HN: What's the most stable form of digital storage?
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 that could still read them.

profquail··on DIY Split Flap Display
There’s also a company here in Philadelphia that makes custom split-flap displays: https://www.oatfoundry.com/
profquail··on Failing to reach DDR4 bandwidth
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...
profquail··on Quantum theory based on real numbers can be experimentally falsified
https://en.wikipedia.org/wiki/Fermat's_Last_Theorem
profquail··on Improving GitHub Code Search
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

profquail··on A viable solution for Python concurrency
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 designed for; but at some point it’s been stretched so far it loses the properties that made it attractive to start with. I like Python, but some of the things people are using it for now, they should really consider another language instead, and write a Python wrapper on top of that if they must use it from Python.

profquail··on Opal Camera
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 Dell webcam for the extra $100?

profquail··on C# for Systems Programming
Lisp machines had hardware/OS-based garbage collection ~40 years ago: https://en.m.wikipedia.org/wiki/Lisp_machine
profquail··on Open-sourcing a more precise time appliance
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...
profquail··on Kats: One stop shop for time series analysis in Python
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 functions?
profquail··on Preparing Rustls for Wider Adoption
The original code was written in F#, then re-written later in F7 then F* (FStar).
profquail··on Preparing Rustls for Wider Adoption
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/kremlin

profquail··on MacBook and iPad production delayed as supply crunch hits Apple
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’t. Or they can sell some of the chips they’re holding to their competitors (at the going market rate).
profquail··on OpenSSL will release a high-severity issue fix on 25th
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 to portable C source code for distribution.
profquail··on Phrack Magazine
The 2600 Magazine community is still alive and well:

https://www.2600.com/

profquail··on Best practices for REST API design (2020)
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 part of the SQL query, which'll give clients a consistent view even if the database is being concurrently modified.
profquail··on Dual-port 100GbE PCI-E 4.0 network cards are now under $1300
You could use something based on DPDK, like pktgen-dpdk: https://git.dpdk.org/apps/pktgen-dpdk/
profquail··on C-for-Metal: High Performance SIMD Programming on Intel GPUs
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 implementing it, or only implementing parts of it, so they came up with OpenCL 3.0 which is slimmed-down and much more modular. It’s hard to say how much adoption it’ll get, but with Intel focused on DPC++ and oneAPI now, there will definitely be more numerical software coming out in the next few years that compiles down to and runs on OpenCL.

For example, Intel engineers are building a numpy clone on top of DPC++, so unlike regular numpy it’ll take advantage of multiple CPU cores: https://github.com/IntelPython/dpnp

profquail··on API pagination design
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’s also handy if you want to keep audit records of the database (e.g. so users can see who/when/what changes were made).

https://en.wikipedia.org/wiki/SQL:2011

Page 1 of 29Next →