thelema314

6 ms·

1.
by thelema314 5y ago
I have to note ocaml-bitmatch/bitstring. Example code: https://bitstring.software/documentation/#matching-bitstring... This was extremely convenient for me in the past.
2.
by thelema314 9y ago
TL;DR: use probabilistic logging (x% chance of logging, with x chosen by dev for each log statement) instead of importance levels (ERROR, WARN, INFO, etc) to keep common events from flooding log files. Is that it? edit: misclick
3.
by thelema314 9y ago
This is correct; OCaml integers are tagged with their LSB being 1 to indicate they're not a pointer. This means that the integer n is stored as 2n+1, and adding 1 requires modifying the stored value by 2.
4.
by thelema314 10y ago
> When using a signed integer variable to represent an index, there is an entire range of negative numbers that are not useful at all. Let's make use of them, then. If you have "local variable" with more bits than log(# el
5.
by thelema314 10y ago
I kind of wish this article had gotten into some details of how various compilers implement std::function; while it was nice to see some details of clang++'s 32-byte size of all std::function to remove the need for dynamic memory for m
6.
by thelema314 11y ago
To depend on compiler flags, I do this: ## compiler_flags file keeps a copy of the compile flags $(builddir)/compiler_flags: force mkdir -p $(builddir) echo '$(CPPFLAGS) $(CFLAGS)' | cmp -s - $@ || echo '$(CPPFLAGS) $(
7.
by thelema314 11y ago
The most succinct informal description I have for NP-complete problems is lack of optimal substructure; that is, given a solution to part of the problem, it's possible for that to not help at all for solving the whole problem. For Trav
8.
by thelema314 11y ago
> Given any two cities, a and b out of N, we do not know which one is visited first in the shortest path, and we certainly don't know what a's successor will be in the solution. Even verifying a solution to the problem (Is this
9.
by thelema314 11y ago
I found the redundancy of having the same number stored on both also unnecessary, and a scheme that just reorganized where the bracelets are seems better. The "friendship" component of having identical bracelets is lost, but info
10.
by thelema314 11y ago
NetSpeed Systems ( http://www.netspeedsystems.com ) | Full-time | ONSITE | San Jose, CA We build software that designs and simulates Network on Chip interconnects along with the hardware to implement that interconnect in our custo
11.
by thelema314 11y ago
It seems clear that they used the word "integer" to clarify that only whole number multiples were allowed, and not 1.5, 2.7, etc. As to whether 1 is allowed, that's not determined one way or the other by the use of the word
12.
by thelema314 11y ago
This is quite exaggerated; looking at the actual document [1], it's clear that they're claiming that in the context of the specification, "integer multiple of transmission time interval" doesn't include negative mul
13.
by thelema314 11y ago
The suggestion at the end to use zip compression to protect your files seems funny; when we're talking about extremely rare errors, CRC32 seems insufficient to really protect.
14.
by thelema314 12y ago
My first thought along these lines is to also dump a whitened version of the provided entropy that might be more useful than the raw bits.
15.
by thelema314 12y ago
I see a problem with code syntax highlighting on slide 13; anyone else?
16.
by thelema314 13y ago
I expect this will cause little problem; if 1M bitcoins are lost, the system will just work as if there were only 20M bitcoins created instead of 21M bitcoins. Everything would be a little less expensive because bitcoins would each be wort
17.
by thelema314 14y ago
VGA ports are too tall to fit in ultra-slim laptops. RJ45 is a bit smaller, but must also be sacrificed for slimness.
18.
by thelema314 15y ago
A very nice video, except the particular passage referred to has the clause "designed for..., has only limited purpose or use other than, or is marketed for..." violating various laws. I don't think any of his examples would fall under any
19.
by thelema314 15y ago
Unison anyone? http://www.cis.upenn.edu/~bcpierce/unison/
20.
by thelema314 15y ago
1) Strict yet expressive typing. Find errors at compile time rather than runtime, while still allowing a very flexible set of values to be described. (tuples, sets, lists, hashtables, maps, arrays, records, objects, etc.) 2) Efficiency. P
21.
by thelema314 15y ago
> - Use std::vector instead of C Array What about std::array?
22.
by thelema314 15y ago
Granted. But in either case, there's no proof - only a probability that you haven't reached an incorrect conclusion. I associate the concept of proof with logical certainty, and no statistical method will give you that.
23.
by thelema314 15y ago
I have a problem with the idea behind this - there's no proof that the coin is biased; even flipping it a hundred times and getting the same result is possible with an unbiased coin. All that statistics gives you is the probability of havi
24.
by thelema314 15y ago
3678 packets / 2.5 hours = One packet every 2.44 seconds * 1500 byte MTU = 3.5KB/s Yup, a 4800 baud modem.
25.
by thelema314 15y ago
The entire point of this system is to produce a voting system that does not discourage people voting per their conscience. All deterministic systems so far have flaws that encourage people to vote "strategically" to improve the chances of
26.
by thelema314 16y ago
Article Text: In part 1 of this series, I described how to find the closest match in a dictionary of words using a Trie. Such searches are useful because users often mistype queries. But tries can take a lot of memory -- so much that they m
27.
by thelema314 16y ago
Actually, OCaml never generates objects like this on the stack - value creation is always taken literally. The OCaml compiler is really allocating all those records. It's just that their lifetime is almost zero, so the cost to clean them
28.
by thelema314 16y ago
I don't think either google nor bing searches for the term in wikimedia. I think google spent time finding this misspelling, and bing is sitting on the shoulders of a giant, capturing the same effect with their clickstream analysis.
29.
by thelema314 16y ago
The Chinese CPU is junk, and the chinese supercomputer is built out of US parts - I wouldn't be too apocalyptic about technological superiority for some years yet.
30.
by thelema314 17y ago
I've enjoyed these first two - they're a good summary of how things are laid out, without getting into too many of the messy details. I miss an explanation of closures, but that'd require lots of messy details, I'm sure.

More ›