Tobu

9 ms·

31.
by Tobu 4y ago
Progress is fast (much better than when Vélib was launched in 2007), most arrondissements (except maybe 15th/16th) are convenient to get around, the center has some huge lanes that bode well for the future, and there's roadwork at
32.
by Tobu 4y ago
I don't see anything available yet and the announcement is light on details. Hopefully there'll be something concrete before the end of their infrastructure week?
33.
by Tobu 4y ago
Rust's type system is enough to get rid of memory safety and UB, but it does that by enforcing more invariants, invariants which you also use to encode properties you care about. 70% percent of vulnerabilities are memory unsafety whic
34.
by Tobu 4y ago
To add to your point, following Woodruff's "Weird architectures weren't supported to begin with", Robert O'Callahan pointed out[1] that for one definition of the open-source platform (looking at the requirements of
35.
by Tobu 4y ago
By the way, I appreciate the support for short-term certificates as well; Letsencrypt doesn't have it, though invalidation can be detected with OCSP or draft-aaron-acme-ari.
36.
by Tobu 4y ago
Any status for RFC 8657, ACME CAA support? This is for restricting which account and which validation methods may issue certificates. The CPS says they may use it, which is too vague and I'm not going to test it right now. https:&#x
37.
by Tobu 5y ago
A port forwarding utility like rathole/tunnelto (tobaru/frp…) seems simpler than the proposed WireGuard setup.
38.
by Tobu 5y ago
ART — Another RawTherapee — could be addressing this, with recent releases: https://bitbucket.org/agriggio/art
39.
by Tobu 5y ago
If you need to translate between Unix time and UTC (or something geodesic like UT1), you'll be at most one second off. The difference due to leap seconds only accumulates if you need to translate something civil or geodesic (UTC, UT1,
40.
by Tobu 5y ago
Fixed hours are convenient in that they allow you to reject non-work demands over work time or work demands over non-work time.
41.
by Tobu 5y ago
Indeed, first result and no error checking: https://gobyexample.com/hello-world
42.
by Tobu 5y ago
Indeed! This followup used sample code from the Rosetta Code wiki: https://haslab.github.io/SAFER/scp21.pdf The rankings move a little bit, but the relative positions of Go and Rust don't.
43.
by Tobu 5y ago
Wind River seems like it did okay. Bought for $884 million and sold for $4.3 billion. https://en.wikipedia.org/wiki/Wind_River_Systems
44.
by Tobu 5y ago
The compiler itself is fine and its performance well managed, with weekly perf triage and efforts driven by profiling[1], but because adding dependencies is effortless and vetting them isn't, dependency trees tend to get large if not c
45.
by Tobu 5y ago
Boutique carrying the finest petroleum and other refined goods: https://www.youtube.com/watch?v=uqkmaIfWMWQ (Shot during another wave of rising gas prices)
46.
by Tobu 5y ago
Content decryption module: https://en.wikipedia.org/wiki/Encrypted_Media_Extensions A component that decrypts streams locally, which DRM makers intend will be restricted enough to not leak the keys it uses.
47.
by Tobu 5y ago
You clearly misunderstood the link you gave about Java support if you think it's relevant to how the kernel is implemented. The kernel has extensible support for execve-ing files the kernel doesn't directly understand as binaries
48.
by Tobu 5y ago
If anyone had trouble parsing rustccggcc, it's rustc-cg-gcc, ie https://github.com/rust-lang/rustc_codegen_gcc
49.
by Tobu 5y ago
NaCL (native client) sort of did this, but through an entirely separate toolchain. It's not an easy task.
50.
by Tobu 5y ago
And I see the safe languages section[1] in the WasmBoxC post; that looks like it would address most of the remaining UB risk, but Firefox will take some time getting there. [1]: https://kripken.github.io/blog/wasm/
51.
by Tobu 5y ago
The host application is still C, and the final compilation of the mix of C and sanitized C still relies on the optimizer to be fast, so it might be possible for the untrusted library to reveal UB in the rest of the application. I can see h
52.
by Tobu 5y ago
The README[1] is enough to understand, this is a really funky implementation and does nothing to bring useful functionality into the kernel. It relies on TokuDB, which is a database server meant for userland, already a complex piece of code
53.
by Tobu 5y ago
Scrubbing would be fun, I agree!
54.
by Tobu 5y ago
The clever idea that makes manyclangs compress well is to store object files before they are linked, with each function and each variable in its own elf section so that changes are mostly local; addresses will indirect through sections and
55.
by Tobu 5y ago
Shades of https://arstechnica.com/gadgets/2021/05/freenode-irc-has-bee...
56.
by Tobu 5y ago
Remember when Microsoft launched a chat bot? https://arstechnica.com/information-technology/2016/03/tay-t...
57.
by Tobu 5y ago
I'm not sure where the confusion is coming from. If userspace wants to distinguish files, it normally does so with a (ino_t, dev_t) pair. With some nuance wrt inode generations if you aren't holding on to files yet want to guard
58.
by Tobu 5y ago
Interestingly, in another decision, that did go as high as the Cour de Cassation, Microsoft did get a license violation treated as counterfeiting, with higher monetary damages. - https://www.legalis.net/jurisprudences&#x2
59.
by Tobu 5y ago
They seem to conflate YouTube and YouTube music, as well.
60.
by Tobu 5y ago
(See here for a status update, kind of) https://community.letsencrypt.org/t/rfc-8657-caa-extension-i...

More ›