Rusky

95 ms·

961.
by Rusky 11y ago
So which is it? It's impossible for anything new to be stable so Rust automatically reflects badly on Dropbox? Maybe take a look at how well Dropbox is doing and let that reflect on Rust.
962.
by Rusky 11y ago
No more than the typical bounds checking done for asm.js byte buffers. It's nothing like NaCl.
963.
by Rusky 11y ago
English is not math. As you should be able to tell by now, that is not at all what people mean by "inequality is bad."
964.
by Rusky 11y ago
There's also a valid distinction to be made between weak typing through implicit conversions and weak typing through reinterpret_cast. C++ has both unfortunately, but the second one is often necessary for a low-level language.
965.
by Rusky 11y ago
C++11 and 14 make it possible to avoid or ignore much of the complexity of old-style C++, but they also introduce plenty of complexity of their own and they don't deprecate any of the old stuff. It's not a myth.
966.
by Rusky 11y ago
That bug was almost a year before Rust 1.0 was released. At this point, Rust is being used in production outside of Servo- for example Dropbox is even using it for their core data storage code. It's certainly not as old-and-boring stab
967.
by Rusky 11y ago
Nim seems close enough to C that you should be able to use the #line directive to map lines of C to lines of Nim source, keep variable and type names the same, and just use gdb.
968.
by Rusky 11y ago
That sort of code does get reused a lot, when games are built on third-party (or in-house) engines. But I don't think it would make sense to just consolidate all of it- engines make different tradeoffs on how geometry data is formatt
969.
by Rusky 11y ago
Depending on what you mean by "inequality" and "equality," loads of people. While I doubt you could find many people who want some artificial straw-man world where everyone is completely and totally equal in every way,
970.
by Rusky 11y ago
Unikernels don't run on microkernels, they run on hypervisors, AKA exokernels. The difference is that microkernels move abstractions like the file system into server processes that still have to be trusted, but are at least isolated; e
971.
by Rusky 11y ago
In addition to nostrademons' point about virtualization, exokernels have influenced monolithic kernels in particular situations. For example, the Linux kernel's graphics stack is moving away from rendering through the X server, to
972.
by Rusky 11y ago
Perhaps this isn't what you mean, but "isn't there more than enough choice already" always comes across to me as "isn't there at least one language with zero flaws for your use case?" I think the answer to
973.
by Rusky 11y ago
Vernor Vinge's novel A Deepness in the Sky has "programmer archaeologists" working on their starship fleets that have thousands of years worth of software going back to "the 0-second of one of Humankind's first oper
974.
by Rusky 11y ago
Inlining is often called the mother of all optimizations. On its own, it doesn't gain you much compared to any other optimization, but once it's done it enables much, much more. There's a reason languages like C that default
975.
by Rusky 11y ago
In this case, "sin" doesn't quite mean "not being Christian enough." Other religions (and ethics in general) often advocate very similar behaviors, so it wouldn't be surprising to see a Christian who is more of
976.
by Rusky 11y ago
Lua tables are similar- they're nominally hash tables but are often used as arrays (including a length operator), and a few versions ago they added an optimization where small integer keys are stored in an actual linear array.
977.
by Rusky 11y ago
> If the pattern of aliasing can be described by a regular language, then there exist decidable formalisms that can reason about it That sounds really interesting, is there a good place to read more on the subject?
978.
by Rusky 11y ago
What sorts of subjective control and policing have you seen in the Rust community, exactly? It's certainly stricter about enforcing things that HN or Reddit would let slide, but I don't see that as a bad thing, necessarily. For th
979.
by Rusky 11y ago
Rust no longer has green threads. Another good way to make things sequential is C#-style async/await, which is enough syntactic sugar over promises that everything looks sequential again.
980.
by Rusky 11y ago
This is a common and frustrating sentiment when people try to counter sexism/classism/racism. The real question is this: Is it really true that rich white males are generally more competent? If they aren't, what can we do to
981.
by Rusky 11y ago
One big difference is that you're distributing the binaries (or devices containing them) anyway, which makes them reverse-engineerable.
982.
by Rusky 11y ago
I've seen another IR that replaced phi nodes with BB arguments, but they also replaced return with continuations, leading to a kind of best-of-both-worlds cross between SSA and CPS. They were able to implement a bunch of interesting op
983.
by Rusky 11y ago
> invalid = leaks memory Not quite true- invalid use of lifetimes typically means use-after-free rather than a memory leak (and if you include the standard library, then you can leak memory in safe Rust).
984.
by Rusky 11y ago
Do you mean for GNU Hurd specifically, or just microkernels in general? Because there are several microkernels in production use if you look beyond desktop OSes.
985.
by Rusky 11y ago
That may just be the impression given by tutorials, which spend most of their time dealing with the hardware. In a real OS, you'd wrap that up in safe interfaces and then the core of things like scheduling, file systems, etc. could be
986.
by Rusky 11y ago
Might be an autocorrected "jokes aside"
987.
by Rusky 11y ago
Just because a system is unfamiliar does not mean that it hides some new insights, though the reverse is often true. Urbit's problems are much bigger than that- it is full of redundancies and poor choices of abstractions, like using &q
988.
by Rusky 11y ago
Nope. I'm not arguing Nock is bad because it's hard for humans to understand- live images, core dumps, databases, etc. are great. I'm arguing Nock is bad because it relies on jets, which are nonsense.
989.
by Rusky 11y ago
I'm not disputing the idea that the standard library's reliance on a feature will force its support, I'm disputing the idea that jets are a workable solution to anything at all. And no matter the form you turn a language into
990.
by Rusky 11y ago
Abstract ISAs are still languages. And at least loop-unrolled x64 code describes what it's doing straightforwardly, instead of throwing around redundant mathematical abstractions and hoping the interpreter will magically pattern-match

More ›