Tobu

16 ms·

151.
by Tobu 12y ago
Seems like INRIA is starting to do some formal checking of OpenSSL. Here's their page: http://prosecco.gforge.inria.fr/ Here's another OpenSSL flaw that was found with Coq, a formal prover: http://ccsi
152.
by Tobu 12y ago
module-local as in, creating a new type that can't be exchanged with the outside? Or converting the value's type on the fly when it gets passed somewhere else? I doubt either would be very usable. Edit: the page refers to open cla
153.
by Tobu 12y ago
Nope. In is_subtype: > # If `sub` is a formal type, then it is accepted if its bound is accepted https://github.com/privat/nit/blob/2323b17d46c873e8c6c41b75d... Ruby is dynamic and the interpreter is featu
154.
by Tobu 12y ago
Python has re.escape; awk can take variable definitions from the command line: echo b |awk '/b/{print a}' a=4
155.
by Tobu 12y ago
vim's regex syntax is unusual and sucky. Thankfully running commands is super-easy: :%!sed …
156.
by Tobu 12y ago
Are you sure? sed has -z, it's useful.
157.
by Tobu 12y ago
Could have to do with charset handling. For the really complex stuff, there's rejit[0]. I wonder if LuaJIT would work; these tools also need IO tricks to be fast. [0] https://lwn.net/Articles/589009/
158.
by Tobu 12y ago
> I used the default OS X versions of these tools. The versions were Perl 5.16.2, Awk 20070501, and some version of BSD sed from 2005
159.
by Tobu 12y ago
http://nitlanguage.org/manual/genericity/ > Unlike many object-oriented languages, generic classes in Nit yield a kind of sub-typing. For example, Pair[Int] is a subtype of Pair[Object]. Sounds completely broke
160.
by Tobu 12y ago
CHANGES: https://github.com/openssl/openssl/compare/OpenSSL_1_0_1j......
161.
by Tobu 12y ago
Indeed, just about every brand of SSL load balancer was doing it wrong: https://www.imperialviolet.org/2014/12/08/poodleagain.html
162.
by Tobu 12y ago
Longer keys could also make some compromises less obvious; finding identical keys -> bad entropy, weak keys (Debian/OpenSSL, lots of devices). I don't know if anyone found backdoored key generators that aren't based on wea
163.
by Tobu 12y ago
OpenID Connect is based on OAuth.
164.
by Tobu 12y ago
Name-checking terrorists is so thin it's transparent. Also, the SourceForge link was for pastebin source code[0] and not an actual pastebin. IMHO it was a lazy request from the copyright lobby, which is seeking to criminalize anonymous
165.
by Tobu 12y ago
Distro packagers generate a listing of public symbols (tagging a symbol with the version number when it is introduced) to catch incompatibilities. It's like static typing, it takes a bit of getting used to but it's very reliable.
166.
by Tobu 12y ago
Maybe this doesn't work for the library ecosystem (standard libraries being where modules go to die), but the language and VM specs are very well designed.
167.
by Tobu 12y ago
They could always have their own fork/branch for upcoming releases of Ruby. It's not like the spec has to freeze the language.
168.
by Tobu 12y ago
Nanobots are decades away and may stay that way, but nanotubes are mass-produced and pollution is a problem. The thin fiber is like asbestos except more volatile, and it can cause cancer. http://www.particleandfibretoxicology.com
169.
by Tobu 12y ago
With PyPy: - `is` is very slightly faster - '%d' is slightly faster Yet another caveat: the differences are often less that 1%, statistically not significant.
170.
by Tobu 12y ago
Those are the quirks of CPython 2.7. The best optimisation is to run with PyPy — those benchmarks run about 10 times faster. After that, if you want to optimise, you need an applicative benchmark. A microbenchmark won't work because ty
171.
by Tobu 12y ago
It's standard, Linux distributions generally install NetworkManager. The tweaks are for people who want more control or have less typical setups.
172.
by Tobu 12y ago
Dated. DHCP can be done in milliseconds, 50ms over a WiFi connection: https://plus.google.com/+TomGundersen/posts/eztZWbwmxM8
173.
by Tobu 12y ago
It's been upstreamed, hasn't it? Announcement http://www.passmark.com/forum/showthread.php?4836-MemTest86-... Previous discussion https://news.ycombinator.com/item?id=8713411
174.
by Tobu 12y ago
Rust needs LLVM for code generation. Realistically they could only trust an interpreted language like (non-jit) Lua. Or they could adopt ZeroVM/NaCl, which would shift the balance towards compiled languages again.
175.
by Tobu 12y ago
Stripping the binaries with filter-branch, or normalising them using smudge filters (for example, making sure zip-based formats use no compression).
176.
by Tobu 12y ago
me.ga or mediafire would work.
177.
by Tobu 12y ago
Since working memory is so important, will there be any policy to get children to practice that while they have the extra mental plasticity? Learning languages takes skill, effort and dedication, focusing on the skills part early would giv
178.
by Tobu 13y ago
Critical sentiments can be useful when they are of the form: “X didn't work, we moved to Y because blah blah and we did it by yada yada”. Whenever something needs fixing in TLS we always hear about the OpenSSL patch first, so it seems
179.
by Tobu 13y ago
Just to clarify, aside from the footnotes this is a translation of the original page.
180.
by Tobu 13y ago
There's another hterm, an xterm implemented in js and shipped with Chromium OS: - https://chromium.googlesource.com/apps/libapps/+/master/hter... - https://chromium.googlesource.com/

More ›