njs12345
Joined 17 years ago
Karma
1,175
Submissions
384
Member since
Dec 23
Recent submissions
Comment · 1 year ago
Comment · 2 years ago
Confessionalism is probably just as large a confounder as communism in this context though..
Comment · 3 years ago
There is the Images Batch API that isn't subject to the 1200 requests/5 minutes limit: https://developers.cloudflare.com/images/cloudflare-images/u...
Comment · 3 years ago
I could see a combination of this approach and one of the audit approaches like `cargo crev` working well in the unsafe case:
- Require audit if there is new unsafe code
- Otherwise, rely on cackle to enforce no use of fs/net etc in safe Rust
This could provide the best of both worlds, automating most of the audit burden while still providing strong guarantees.
Comment · 3 years ago
The lenders will come out alright. Even if the utilities end up being renationalised their debt will be converted into government bonds. The mugs here are the public, which end up paying to service the debt that has been used to issue dividends.
Comment · 4 years ago
https://ourworldindata.org/grapher/carbon-intensity-electric...
With an ageing nuclear fleet built mostly in the 70s and 80s France has the cleanest electricity of any country in Europe (except those with abundant hydro).
Comment · 4 years ago
A good place to start with Coq is Software Foundations: https://softwarefoundations.cis.upenn.edu/
Comment · 4 years ago
The atomics themselves sure, but I guess often they'll be used as a barrier to protect an UnsafeCell or something, like in the implementation of Lazy<T>: https://docs.rs/lazy-init/0.5.0/src/lazy_init/lib.rs.html#85
Comment · 4 years ago
> Even rust's memory model has places where it can't do what C++ can. (you can't use atomic to write data from two different threads at the same time)
Perhaps not in safe Rust, but can you provide an example of something Rust can't do that C++ can? It has the same memory model as C++20: https://doc.rust-lang.org/nomicon/atomics.html
Comment · 4 years ago
China has just hooked a pebble bed reactor up to its grid: https://en.wikipedia.org/wiki/HTR-PM
Comment · 5 years ago
A fun Postgres extension to require this: https://github.com/eradman/pg-safeupdate
Comment · 5 years ago
Football Radar | Systems Engineer | London | Remote (UK) | Full-time
We're looking for an experienced Systems Engineer / Site Reliability Engineer to help us deliver high quality software and shape our technical roadmap over the coming years.
The Development department consists of 20 developers across 4 sub-teams: Analysis, Modelling, Systems and Trading. As part of the Systems team, you'll get the opportunity to enhance our DevOps culture, taking our collaboration and automation to the next level. We're on a mission to improve stability and standardisation, and shorten feedback loops in order to make our team more efficient in delivering business value. We're also looking for someone who can help us integrate security considerations into our development process.
Find out more about Football Radar and the role here: https://footballradar.recruiterbox.com/jobs/fk0mg3u/
Comment · 6 years ago
Land value taxes also seem like they would work very well, have some nice incentive effects and are hard to game: https://en.wikipedia.org/wiki/Land_value_tax
Comment · 6 years ago
This isn't quite the same, because it's just an alias - you can pass a UserID to a function accepting a PostID: https://play.golang.org/p/nSOgcJs_66y
It still provides a documentation benefit of course.
EDIT: Whoops, yes, as lentil points out, they are indeed distinct types not aliases. So it does provide the benefit of the Rust solution.
Comment · 6 years ago
We have to register to vote in the UK: https://www.gov.uk/electoral-register
The same sort of dogwhistles about 'voter fraud' have been getting airtime in the media as well so I'm sure it won't be long before we have widespread disenfranchisement, just like in the US.
I guess per-tenant you would handle similarly but build some tooling to monitor the state of migrations. It might even be easier in some ways, as you might be more able to take table locks when migrating per-tenant.