profquail

9 ms·

31.
by profquail 6y ago
The optimizations get you the following: * Normalization: this is where "smart constructors" come in handy; having a normal form for the terms allows the caching to work better. This also impacts the compactness of the generated D
32.
by profquail 6y ago
I wrote an implementation of this several years back. If you’re interested in the code: https://github.com/jack-pappas/facio/tree/master/Reggie The derivatives approach makes Unicode support easier since
33.
by profquail 6y ago
The glommio library from DataDog was specifically built around io_uring: https://www.datadoghq.com/blog/engineering/introducing-glomm...
34.
by profquail 6y ago
Thanks for the link! This is really useful for developing/testing out code optimizations for POWER-based systems (e.g. for low-level bits like hashing functions, crypto, and vector math).
35.
by profquail 6y ago
Not generally, no. blosc is geared towards “rectangular” data — that is, a C-style array of int, double, or some struct type.
36.
by profquail 6y ago
Have you considered implementing any parts of this in F* (so they can be verified) and extracting back to C, as is being done for TLS? https://project-everest.github.io/
37.
by profquail 7y ago
HeidiSQL: https://www.heidisql.com/ Bonus — it also works for MySQL/MariaDB, MS SQL, and sqlite.
38.
by profquail 7y ago
Isn’t this what the LAST_VALUE window function does? If so, that’s a standardized SQL syntax which is supported in both postgresql and recent versions of MySQL. https://www.postgresqltutorial.com/postgresql-last_value-fun...
39.
by profquail 7y ago
Slightly offtopic, but should you need sanitizer and your local stores are out of stock — perhaps due to people like the subjects of this article — you can make your own based on this guide from the WHO: https://www.who.int/
40.
by profquail 7y ago
That’s known as “structuring” and is illegal: https://en.m.wikipedia.org/wiki/Structuring
41.
by profquail 7y ago
If you’re in the US, the legal counterparty for any exchange-traded (or OTC-traded-but-exchange-reported) is the Options Clearing Corporation (OCC). The idea is that it’s a consortium of many exchanges and broker-dealers that can absorb any
42.
by profquail 7y ago
Maybe they could include NBASE-T nics that’d also support 2.5 and 5 Gbps speeds?
43.
by profquail 7y ago
NewEgg — look under “digital signage” / “commercial displays”: https://www.newegg.com/Commercial-Displays/SubCategory/ID-30...
44.
by profquail 7y ago
You can get dumb TV’s, they’re just called “digital signage”. For example: https://www.lg.com/us/business/digital-signage/lg-60UL3E
45.
by profquail 7y ago
“Rewriting rules” refers to term-rewriting systems[1], which are sets of directed equations. An “undirected” equation is similar to what you see grade-school algebra class, e.g. y = ax + b; if you have the right pieces of data, you can solv
46.
by profquail 7y ago
.NET has always had slow exception handling because it tied/ties in Windows’ Structured Exception Handling (SEH); that’s rather slow but provides e.g. detailed stack traces even for mixed-mode callstacks. Having ported some decently
47.
by profquail 7y ago
An example of real-world verified software is miTLS: https://www.mitls.org/
48.
by profquail 7y ago
Banks offer both fixed-rate (“locked in”) and floating-rate mortgages (where you pay the prime rate + some fixed number of basis points).
49.
by profquail 7y ago
It's been feasible to run F# on Unix for years, first via Mono, and more recently with .NET Core.
50.
by profquail 7y ago
You can read, say, the top N lines of the file and perform type inference on the column data to determine the type of the column. This is how it's done in the F# "type provider" for CSV: https://fsharp.github.io&#x
51.
by profquail 7y ago
ARM is a major tech company based in Europe.
52.
by profquail 7y ago
Or PolyML, which is another popular implementation (e.g. used in the Isabelle/HOL theorem prover): https://polyml.org/
53.
by profquail 7y ago
Have you considered using the POWER9-based Raptor Blackbird uATX board for your next build? The firmware is open, and they advertise it as a feature: https://www.raptorcs.com/content/BK1B02/intro.html
54.
by profquail 7y ago
What Vampire and similar “automated theorem provers” are doing is searching for a proof of some logical statement (that you specify). That proof search is a really tough problem, so there’s a ton of research that goes into finding ways of s
55.
by profquail 8y ago
How does this compare to cpprestsdk? https://github.com/Microsoft/cpprestsdk
56.
by profquail 8y ago
If you really needed to run Rust code on some platform LLVM doesn’t natively support, it does allow you to compile to C. Presumably you could then compile that using whatever C compiler works for your platform. Although Rust is not as porta
57.
by profquail 8y ago
Check out ATerms, it’s a storage (and in-memory representation) designed for storing ADTs: https://github.com/cwi-swat/aterms
58.
by profquail 8y ago
This is an interesting idea, but I don’t see what’s different about it compared to ATerms: https://github.com/cwi-swat/aterms
59.
by profquail 8y ago
Aye, it’s PMULL, and it’s available as part of the ARM Crypto Extensions. This patch shows that using it can result in a large performance improvement: https://github.com/randombit/botan/issues/842
60.
by profquail 8y ago
Maybe not a bad thing, but seems less of a strong signal of “goodness” compared to a book recommended the same number of times by different users. You might consider capping the number of times you consider recommendations for one book from

More ›