rhencke

13 ms·

91.
by rhencke 6y ago
Eiffel uses 'invariant', and .NET Code Contracts uses 'Invariant'.
92.
by rhencke 6y ago
Eiffel uses 'ensure' and 'require' for these meanings. .NET Code Contracts (may it rest in peace) uses 'Ensures' and 'Requires' for these meanings as well.
93.
by rhencke 6y ago
TAP is not a testing framework.
94.
by rhencke 6y ago
Check out IntelliJ's binary patching - it might be closer to what you want? It's based on bsdiff. The actual binary patching magic happens here: https://github.com/JetBrains/intellij-community/tree/
95.
by rhencke 6y ago
Groovy-like DSLs with compile-time checking and strong typing (and now @DslMarker is a nice bonus) are very nice. Check out inline functions and reified generics, too. There's some compelling stuff there.
96.
by rhencke 6y ago
Shopify is planning to do this on a permanent basis. https://twitter.com/tobi/status/1263483496087064579
97.
by rhencke 6y ago
You might find DQLite of interest. https://dqlite.io/
98.
by rhencke 6y ago
Define 'overlap'?
99.
by rhencke 6y ago
You might enjoy AssemblyScript. http://assemblyscript.org
100.
by rhencke 7y ago
Your monitor is likely running low on black ink.
101.
by rhencke 7y ago
Been looking for something like this for a long time! Thanks!
102.
by rhencke 7y ago
Yes, though it's early days yet. See: https://github.com/wasmerio/kernel-wasm
103.
by rhencke 7y ago
Yeah, new XPS 15 here. Would be a beautiful machine, if it weren't for the constant thermal issues..
104.
by rhencke 7y ago
It's not pointless - it's pretty standard practice. For example, although drives in Google Cloud are encrypted at rest, once they are decommissioned the drives are physically destroyed: https://cloud.google.com/sec
105.
by rhencke 7y ago
In what way is it incorrect or misleading? The first paragraph of the article states "Mozilla intends to deprecate OpenSearch and eventually remove it from Firefox."
106.
by rhencke 7y ago
A Turing machine runs on a theoretically infinitely long tape in both directions. That doesn't make the concept of a Turing machine useless.
107.
by rhencke 7y ago
That better be some incredibly thin spaghetti you're holding in your massive hands.
108.
by rhencke 7y ago
This is one of my favorite books(-in-progress) to follow along with. If you've ever even had a passing curiosity in how interpreters work, I highly recommend checking it out from the beginning: http://craftinginterpreters.c
109.
by rhencke 8y ago
So much so that the Node developers now maintain a separate project dedicated to providing a stable wrapper API around it, now dubbed N-API: https://github.com/nodejs/abi-stable-node
110.
by rhencke 8y ago
You may find the Ko Handbook useful, as much of this is addressed there: https://kocircuit.github.io/language/
111.
by rhencke 8y ago
The article you link comes to a different conclusion: > With the Gradle daemon running and incremental compilation turned on, Kotlin compiles as fast or slightly faster than Java.
112.
by rhencke 8y ago
Not really - keep in mind interacting with Boss as a Service is a normal human conversation. In that way, it's very fluid and natural. You tell them what you want to work on, they help keep you accountable via reaching out, you repor
113.
by rhencke 8y ago
This was on HN once before - when it was, I signed up, because I struggle with prioritizing things that I need to do in my personal life over my professional life. (Hair cut, clean car, dentist, what have you.) I figured I didn't hav
114.
by rhencke 8y ago
Try again - there are many uplifting articles listed.
115.
by rhencke 8y ago
As someone who spent a few years having to debug PostScript with pstack and GhostScript running in a fixed-size command-prompt window in the 2010-ish timeframe... this looks futuristic even today. Was the idea with the direct stack manipula
116.
by rhencke 8y ago
The cross-linking capabilities seem honestly really cool, and this is something I have often yearned for in managing my own info. I dig that the license is unlimited updates within a major version too. Will give it a shot. :)
117.
by rhencke 8y ago
We can create a language for it. It could be like HTML, using tags, but extensible, and the author could declare the schema of the information. You could even mix data from different schemas in the same document, using something like names
118.
by rhencke 8y ago
Solid uses the latter. WebID-TLS: https://dvcs.w3.org/hg/WebID/raw-file/tip/spec/tls-respec.ht... WebID-OIDC: https://github.com/solid/webid-oidc-spec
119.
by rhencke 8y ago
It's actually the other way around, humorously enough. x86_64 is also known as AMD64, and for good reason. AMD created the core 64-bit x86 design, but, more importantly, they have patents to key pieces of the ISA required to legally i
120.
by rhencke 8y ago
I highly recommend watching the TED Talk that Torvalds presented. You get a much clearer idea what he means by "not a people person". https://www.ted.com/talks/linus_torvalds_the_mind_behind_lin... This talk

More ›