|
AlsoD posted:So one fix to this could be to give tuples a sugar, much like as is done for lists currently, so that n-tuples are actually n nested 2-tuples (i.e. a heterogeneous list). Having recursive heterogeneous lists is nontrivial. Duplicating some code 15 times is annoying, but that's far simpler than 5 type system extensions to express nested 2-tuples. And if you have tuples more than 15 long, your program is probably a complete mess anyways.
|
# ¿ Apr 2, 2014 20:27 |
|
|
# ¿ May 16, 2024 10:48 |
|
tractor fanatic posted:Is it intractable to write a formally proven TLS library in C, or is mathematical correctness just not a high priority? There's a formally proven TLS library in F#, miTLS. Proving semantics is much easier in a functional language with a garbage collector. It's possible that miTLS could be "lowered" to C, but it would require carefully proving each step of the translation. There are other attempts at formally verifying C programs like Frama-C which might be applicable as well.
|
# ¿ Apr 10, 2014 23:13 |
|
Apparently /dev/urandom has a spinlock that kills performance when read by multiple threads simultaneously. But this is by design, according to the author: Theodore Ts'o posted:Doctor, doctor it hurts when I do this. Well, then don't do that! (hint: you can get security AND speed simultaneously)
|
# ¿ Apr 19, 2014 07:22 |
|
Deus Rex posted:Golang has (significantly less-retarded) ASI as well. Effective Go posted:The rule is this. If the last token before a newline is an identifier (which includes words like int and float64), a basic literal such as a number or string constant, or one of the tokens
|
# ¿ Apr 23, 2014 22:47 |
|
CodeBabes and CodeDicks
|
# ¿ Apr 26, 2014 22:16 |
|
Apps aren't killed immediately when you switch away from them or hit back. Some terribly programmed games (Ridiculous Fish) will peg the CPU regardless of if they're in the foreground (or if the screen is even on).
|
# ¿ Jun 18, 2014 07:56 |
|
Buildbot posted:Properties load speedup
|
# ¿ Sep 25, 2014 22:22 |
|
code:
|
# ¿ May 19, 2015 04:37 |
|
wilderthanmild posted:Rather than like actually validating the date it just checked that it was 57 characters long. I appreciate your company's dedication to not having anyone in Mountain time.
|
# ¿ Aug 7, 2021 19:12 |
|
|
# ¿ May 16, 2024 10:48 |
|
https://github.com/maleesha2005/smsspammer/blob/050ab98191e9b64e470c02d0043697dd5c3b1649/smsspammer.py#L19Python code:
|
# ¿ Sep 15, 2021 06:48 |