profquail

11 ms·

61.
by profquail 8y ago
I didn’t see the article say anything about redacting code? The XNU kernel (used in macOS and iOS) is open-source and has been for some time: https://github.com/apple/darwin-xnu My reading of the article was that Apple
62.
by profquail 8y ago
Out of curiosity —- have you looked at using Postgresql’s full text search functionality to implement your search engine (e.g. [1])? If so, what do you get out of the combination of Postgres + Elasticsearch that you chose it over just the P
63.
by profquail 8y ago
Cambridge English dicctionary has “causing extreme worry” as the 2nd definition of “agonizing”: https://dictionary.cambridge.org/dictionary/english/agonizin... An example they give for this definition of the word
64.
by profquail 8y ago
He’d be earning more if paid in some other currency and spending in pounds. He’d be earning less — as the article mentions — if earning in pounds and paying out (to subcontractors) in other currencies.
65.
by profquail 8y ago
Parser combinators are generally slower than a hand-written or code-generated parser. That’s somewhat innate due to the overhead of “threading” (for lack of a better word) your control flow through many function calls. There are some techni
66.
by profquail 8y ago
There’ve been some follow-up papers to Appel’s Compiling with Continuations over the years. The most recent one, Compiling with Contiuations, or Without? Whatever. [1] is pretty interesting — they show a direct-style functional IR with
67.
by profquail 8y ago
“Dynamic” in GP’s answer is referencing .NET’s support for dynamic typing (which works in both C# and F#): https://docs.microsoft.com/en-us/dotnet/csharp/programming-g...
68.
by profquail 8y ago
This is great! I’ve been hoping someone — IBM or one of it’s partners like Raptor or Gigabyte — would make a lower-end POWER8/9 system available. The price of this board ($1K) is much more affordable for a hobbyist developer who wants
69.
by profquail 8y ago
What you’re describing sounds like Abstract Interpretation[1], a technique used in static analyzers and compilers (e.g. for bounds-check elimination). You can pick any abstract domain you want, but the more complex the domain — i.e., the mo
70.
Harvard Converts Millions of Legal Documents into Open Data(govtech.com)
331 points by profquail 8y ago|31 comments
71.
by profquail 8y ago
There was an excellent article posted to HN a few years back about Clifford algebra you (and GP) might find interesting: https://slehar.wordpress.com/2014/03/18/clifford-algebra-a-v...
72.
by profquail 8y ago
TravisCI has been asked repeatedly to provide FreeBSD as a build OS, and it doesn’t appear they’re interested in expanding beyond Linux/macOS on x86: * https://github.com/travis-ci/travis-ci/issues/1818
73.
by profquail 8y ago
It may be possible for the code in these libraries to be made portable using the ROCm HIP compiler: https://github.com/ROCm-Developer-Tools/HIP
74.
by profquail 8y ago
I was disappointed to hear about QCOM shuttering the team building the Centriq, it seemed really promising. At least there’s still (on the ARM server frontier) Cavium ThunderX2, with which GigaByte recently started rolling out ARM servers a
75.
by profquail 8y ago
Checked C source code: https://github.com/Microsoft/checkedc
76.
by profquail 8y ago
For “normal”, exchange-listed options in the US, the counterparty is the OCC (Options Clearing Corporation): https://www.theocc.com
77.
by profquail 8y ago
Many (all?) Intel network adapters from the last decade have support for ieee1588; that includes embedded options like the i219-LM (and earlier models in that family): https://ark.intel.com/products/82185/Intel-Eth
78.
by profquail 8y ago
I saw a discussion once (can’t remember where) about the possibility of adding opt-in GC functionality to Rust. If that ever comes to fruition, I wonder if that’d cover many of the current use cases for OCaml?
79.
by profquail 8y ago
Could this attack be mitigated or otherwise slowed down by using non-temporal memory loads (x86: movntdqa) when reading the private key from memory? Or using clflush to evict the cached private key data from memory after each time it’s used
80.
by profquail 9y ago
I agree that new projects should, in general, be targeting Python 3.x by default. In this specific case though, it looks like the Bohrium library being used by Veros for parallelization has some issues with Python 3 so that may be what’s ke
81.
The accidental HFT firm(meanderful.blogspot.com)
132 points by profquail 9y ago|32 comments
82.
by profquail 9y ago
Check out the article(s) about Amazon’s use of TLA+ for a good, industrial example of formal methods: http://lamport.azurewebsites.net/tla/amazon.html
83.
by profquail 9y ago
It’s a web framework written in Elixir; I haven’t used it myself, but have seen others commenting here on HN and saying it’s similar to (but not an exact clone of) Ruby on Rails. http://phoenixframework.org
84.
by profquail 9y ago
FreeBSD has commercial support from iXsystems. FreeBSD (and perhaps some other BSDs) support “top-end” Ethernet as well. There was a great post on the Netflix blog a couple of months ago (discussed on HN) about how Netflix optimized their s
85.
by profquail 9y ago
Correction: I meant PowerPC, not POWER. The latter is not likely to fit comfortably in a laptop. If you want a POWER-based workstation , check out the Talos II from Raptor Computing.
86.
by profquail 9y ago
This project isn’t about designing CPUs, so “running a foundry” is irrelevant. They’re working to build a laptop that’ll run an off-the-shelf POWER-based CPU, which is complex but still massively simpler than designing and building the CPUs
87.
by profquail 9y ago
The BBR whitepaper gave examples of improvements on high-capacity backhaul links (e.g. a 10Gbps WAN) and lower-speed, last-mile connections to end users.
88.
by profquail 9y ago
That may well be true, but that’s irrelevant for many developers (e.g., me) writing things like data analysis tools and backend services in F#.
89.
by profquail 9y ago
3D XPoint has been available for several months now, just not in the DIMM form factor. E.g. the Intel P4800X: https://www.anandtech.com/show/11209/intel-optane-ssd-dc-p48...
90.
by profquail 9y ago
Minor correction: `pugs` was written in Haskell, not OCaml. https://hackage.haskell.org/package/Pugs

More ›