gue5t

20 ms·

151.
by gue5t 10y ago
Does anyone know of an open-source implementation of a similar pipeline?
152.
by gue5t 10y ago
I have no idea what you're talking about. The bit patterns in someone's bank account aren't money, they're just a record of money. If someone has 1000000 dollars, they will have a given bit pattern in their database row.
153.
by gue5t 10y ago
Related: epochs and lockfree data structures in crossbeam https://aturon.github.io/blog/2015/08/27/epoch/
154.
by gue5t 10y ago
To me, the inability of these "haskell to hardware" systems to handle general recursion shows that they are fundamentally missing the most important part of the mapping from functional computation to combinational logic plus regis
155.
by gue5t 10y ago
Try "Formal Languages in Logic: A Philosophical and Cognitive Analysis" by Catarina Dutilh Novaes. It's maybe the best work I've read in this field, and I've read most of what's on the github list. My copy has
156.
by gue5t 10y ago
True. The indeterminism provided by letting the OS and cache coherence reorder thread execution and memory accesses in response to external factors is one of the reasons parallel execution can provide speedups in practice, so benign races a
157.
by gue5t 10y ago
It wouldn't be possible if the filesystem were not recklessly-shared (essentially global) mutable state, and the danger of shared mutable state is one of the high-level lessons that learning Rust will teach you.
158.
by gue5t 10y ago
Don't google errors. Don't network anything that isn't explicitly requested to be networked. Don't give any built-in affordances for HTTP or other poorly-designed, politically-imposed protocols. I don't even know wh
159.
by gue5t 10y ago
tl;dr: They backported an existing kernel feature (per-cpu syn cookie generation) to 3.x using iptables (rather than just maintaining a patchset) because they didn't want to run a current kernel or maintain a fork.
160.
by gue5t 10y ago
Thank you, this is a very good explanation and now I'm convinced that this is the right thing to do. But I do need mutual authentication, and want to avoid rolling my own crypto for it--so does Rustls expect to support client auth in T
161.
by gue5t 10y ago
Look at performing operations in the frequency domain or diagonalizing a square matrix.
162.
by gue5t 10y ago
I don't see how "typed/untyped" is a meaningful distinction if you consider "dynamic types" to be types. If the only observable effect of the typechecker in a dynamically-typed language is a runtime error, how
163.
by gue5t 10y ago
I have no dogma about where you implement your typechecker; all I assert is that it's better to have one. The LISP philosophy is (in my impression from the literature) that with powerful enough abstractions, one writes so little code t
164.
by gue5t 10y ago
The difference between adding symbols to a language with product types (i.e. consing) and simply having algebraic data types in your language is that symbols are untyped, and so you're allowed to compare apples and oranges (they'r
165.
by gue5t 10y ago
Tizen's openness is also a lie for phones. Just like AOSP, community involvement is not welcome in the Tizen development process and doesn't have any role in deciding what ships on phones.
166.
by gue5t 10y ago
Which components are hackable? The closed-source kernel? The closed-source userspace libraries? The Internet service infrastructure (iCloud &c.)? The outdated versions of open-source software? You have root, and you can build your own e
167.
by gue5t 10y ago
I would refer to these as "services" and "libraries"; referring to either as an "API" is conflating a tool with its interface.
168.
by gue5t 10y ago
I don't think I have enough context to understand this article. What exactly does "response time" measure, here? The diagram of the system makes it look like this program is essentially just a scan over a data stream, so each
169.
by gue5t 10y ago
I really wish people would more clearly distinguish library APIs from RPC APIs exposed by corporations' servers. I have no desire to deal with another company but I would love an open-source library implementing the client side of MMS,
170.
by gue5t 10y ago
See also "Coq: The world's best macro assembler?": http://research.microsoft.com/en-us/um/people/nick/coqasm.pd...
171.
by gue5t 10y ago
A more idiomatic way to write the line is: r_str.chars().next() == Some(MAIN_SEPARATOR)
172.
by gue5t 10y ago
Sorry for being rude. It seems strange that there are a set of names associated with blobs of data (source code) but the tools for managing that name->blobs map (querying which names are mapped, removing a mapping from the map, etc.) are
173.
by gue5t 10y ago
This line seems like a bug to me (assigning the int 16 to a variable that should be of an enumerated type {I8, I16, I32, S, R}, though I don't know if Go has those): https://github.com/ketchupsalt/debugger/blo
174.
by gue5t 10y ago
The user interface is appalling. Whoever designed this has managed to produce worse ergonomics than a single 1970s-style terminal, for essentially a similar set of tasks (editing text+binary files and piping data through commands). I see so
175.
by gue5t 10y ago
There won't be any ads. This may not have been explicitly listed, but a user-centric communication medium does not perpetrate psychological warfare against its users and reward distracting them, stalking and profiling them, or exploiti
176.
by gue5t 10y ago
Eventually we will want to do updates, unless you prefer bugs to not. When we do, we'll need strategies to tame the quadratic space blowup caused by lack of sharing across the dependency tree relative to the current model.
177.
by gue5t 10y ago
C does have a standard ABI on each platform (where "platform" is slightly vague, ranging from "a place where people agree to use the SYSV ABI" to "Windows+MSVC"), so you can generally call into C libraries fr
178.
by gue5t 10y ago
The benefits of advanced static and dynamic analysis tools for C shine through on questions of semantic correctness (look at Coverity, Frama-C and PVS Studio), not memory safety (though they do reason about memory safety). You can achieve p
179.
by gue5t 10y ago
Similarity isn't a clear-cut yes/no question, but the NT kernel is so similar to UNIX that it was able to adopt a second syscall ABI compatible with Linux. Present operating systems are basically a monoculture in terms of high-lev
180.
by gue5t 10y ago
Is the problem the OS, or the architecture/ABI? I wouldn't expect porting to a new OS to be terribly difficult, though it is a time sink since there's a fair bit of API surface to cover to get Rust's libstd ported, and y

More ›