dikaiosune

11 ms·

31.
by dikaiosune 9y ago
> some humility about the boundaries of "correctness" would probably be a good idea for many of the pontificators I'm probably biased, but in my experience the people actually pushing for correct-by-construction tools tend
32.
by dikaiosune 9y ago
This is empirically not true if you look at the usage of unsafe in pure Rust kernels. Yes, there is assembly needed, and some unsafe Rust code, but it's very possible to wrap up unsafe operations in safe APIs. For example, the kernel r
33.
by dikaiosune 9y ago
parent's HN bio: > I run all the production and cloud programming language teams at Google, and am also an open source lawyer.
34.
by dikaiosune 9y ago
I think you could approximate this for movies using a social graph - I had a hobby project when I got back into programming a few years ago which attempted to generate recommendations based on the director's and actors' "crea
35.
by dikaiosune 9y ago
I've recommended yarn for projects of mine that were broken by npm5, but it has some of its own issues. It's also not bundled by default which is really important for JavaScript tools that are used by beginners.
36.
by dikaiosune 9y ago
There are a bunch of linked issues at https://github.com/nodejs/node/issues/13815 and https://github.com/npm/npm/issues/16991 , such as https://github.com/facebo
37.
by dikaiosune 9y ago
I'm definitely curious to see if the update to npm 5.5.1 resolves most of the issues people have seen on the 5.x releases. Otherwise having an LTS release with a rough release of npm might be pretty painful for a lot of the ecosystem.
38.
by dikaiosune 9y ago
I’d just like to interject for a moment. What you’re refering to as Guix, is in fact, Nix/Guile, or as I’ve recently taken to calling it, Nix plus Guile.
39.
by dikaiosune 9y ago
From one perspective, this just means that the market for software quality is not very tight and that our industry is not empirical in assessing it.
40.
Introducing Expo AR: three.js on ARKit(medium.com)
15 points by dikaiosune 9y ago|0 comments
41.
by dikaiosune 9y ago
Cool! Accomplishes many of the same goals that doing it in Rust would, arguably. I would be curious to hear about what sort of latency-management techniques they've used to build an FS in a GC'd environment.
42.
by dikaiosune 9y ago
Oh no worries, I might have come off a bit defensive there. I think one of the clearest examples would be drivers -- they might be properly sandboxed by a good microkernel, but they are notoriously buggy/crashy/incorrect. If I rem
43.
by dikaiosune 9y ago
I don't think this is quite the template reply (and if you check my HN comment history, I think you might see that I'm quite familiar with receiving the template replies!), what I meant to say is that it'd be much higher leve
44.
by dikaiosune 9y ago
I'm normally quite happy to advocate for Rust everywhere, but one of the benefits of the microkernel architecture is that you have a very small trusted computing base for your system. Yes, Rust could help, but there are lots of techniq
45.
by dikaiosune 9y ago
(I work on Expo) We just use this protocol/schema to make sure that development URL links are tappable on your phone. Checking a URL domain works for lots of deep links, but not when you have IP addresses or dynamically generated ngrok
46.
by dikaiosune 9y ago
This is of course assuming that the WASM GC proposal doesn't require a specific object model to get host GC interop.
47.
by dikaiosune 9y ago
Is this a nicely packaged version of nuclide?
48.
by dikaiosune 9y ago
The react devtools extensions for Chrome usually shows me when a page is using react.
49.
by dikaiosune 9y ago
With significantly smaller file sizes, it could be more challenging to see timing differences. Also, this image is one that someone used the last time OxiPNG was discussed, which seemed relevant to me.
50.
by dikaiosune 9y ago
It would probably be more useful, yes. But that would require remembering what my ls alias without `-h` is, and also would maybe give more confidence in the results of the quick 'n' dirty analysis than is justified.
51.
by dikaiosune 9y ago
There are CLI options for supporting zopfli, not sure whether it's from zopflipng.
52.
by dikaiosune 9y ago
For the curious, I replicated some benchmarks from ~1yr ago ( https://www.reddit.com/r/rust/comments/48vkjy/oxipng_a_multi... ). Note in that thread that the author implies that the optimization levels bet
53.
by dikaiosune 9y ago
If you click directly on the time of a comment, it's a link to a direct reply page.
54.
by dikaiosune 9y ago
It seems to me that govt agencies could still pay contractors to build these things, just with the requirement to make them openly available as part of the contract. If others step in to offer support contracts as well, great! Competitive e
55.
by dikaiosune 9y ago
> Its not hard to measure actual useful things like features or bug. Presumably your consulting business has really taken off now that you have such unique insight into a historically unempirical area of our field?
56.
by dikaiosune 9y ago
Glad to see improvements are coming! Articles like this make me more and more curious whether Fuchsia is an alternative bid to resolve relevant kernel vulnerabilities in a more centralized, architecturally driven fashion, not just a way to
57.
by dikaiosune 9y ago
There's actually a parser for rust called syn, and it's very useful for procedural macros, as the current API exposes a stream of tokens, not a full AST.
58.
Snapshots: Automating Golden Master Regression Tests in Rust(blog.adamperry.me)
2 points by dikaiosune 9y ago|0 comments
59.
by dikaiosune 9y ago
From this article, it sounds like they have a very specialized GPU-accelerated brute force mechanism for local database backups? Assuming they have something like rainbow tables for short passwords on all of these managers, it still seems l
60.
What the Rust Language Server Can Do(ncameron.org)
2 points by dikaiosune 9y ago|0 comments

More ›