Just a data point: UK Mobile Broadband resolves the product site fine. (I have not registered with my credit card so the 'adult and malicious site' filter is still in place). As other posters have mentioned perhaps the name itself is triggering some kinds of filtering?
Andrew Wiles was also careful about communicating progress on his Fermat's Theorem proof during the years in his attic. So yes I take the point.
I read the Mastodon thread as more about the 'flattening' and 'rawness' of the proofs these systems and their operators are producing. I mean what is the cultural significance of a lean proof that is half a million lines long or something? And what tools can be extracted for further work from such a construction?
The late William Thurston wrote about the culture of mathematics in that sense.
UK police officers are not routinely armed, but there armed response units, and under certain circumstances in e.g. railway stations and airports you will see pairs of officers walking about with machine guns on a regular basis.
Accountability: misuse of cctv or bodycam footage can lead to disciplinary action of various kinds including being sacked. The link below will give you an idea of the volume of formal complaints and the 'pipeline' from complaint to potential dismissal and criminal proceedings against officers;
"Research has shown that being creative through art projects can help promote stress relief, increase self-esteem, help connect with others, and boost intrinsic motivation. So, participating in mindful art projects can open one's mind to more positive thoughts and offer alternative solutions to life problems."
And wise. Well done publishing the Web site which works without fuss in a calm way.
> "The source brought it to my attention because the proprietor of this identity theft service offered my Virginia drivers license as a free sample in their initial sales thread on Exploit."
Mr Krebs is dealing with all this mayhem and idiocy with remarkable sang froid if I may say so. Good heavens.
Downloaded the AppImage, chmod +x and ran it from my user space on Debian Trixie under Gnome. I went for light, colourful and modern UI, skipped the login/cloud invite, disabled the telemetry and started it up.
Quite chatty when running it from the terminal, but seems to be working well on my Thinkpad X250 landfill laptop. Looks 'flat' and all in the modern style, but adapts to the 1366x768 letterbox that is my screen nicely.
Perhaps Tir by Carwyn Graves would engage the interest of the Monbiot generation and lead them into a slightly different framing (and introduce some Welsh)?
The last point in the OA about rounding the estimate of the time spent on the assigned tasks. Just wondering if the response would depend on the wording of the instructions to participants and the nature of the incentivisation.
Me being a bit of a boy scout / Belbin 'company worker', I would tend to use a timer (I'm a pomodoro method person for things like marking or checking references &c).
The rest, oh yes. I stopped paying much attention to studies based on dozens of undergraduates doing weird concocted tasks years ago.
OA makes no mention of Fred Hoyle's 'three hours with a calculator' to check Hawkins figures (and being generally unimpressed). Also nothing about the Thoms (Alexander and Archie) who surveyed many other stone circles, or perhaps a passing reference to John North's chunky book on Stonehenge itself. Latterly Euan MacKie was working out how exactly you could test an hypothesis about ancient observers marking a celestial alignment of some type anywhere in the latitudes of Britain. A multi-route rabbit hole if you are in need of diversion.
reply