What better way to ring in the new year than with a Doctor Who New Year's special? There have been four so far, and we're going to rank their popularity based on their viewing figures.
To celebrate Sacred Time, our games are on sale for a limited time, on Steam store.steampowered.com/curator… and the App Store apps.apple.com/us/developer/a-…. King of Dragon Pass and the two Six Ages games are timeless narrative strategy games set in the mythic world of Glorantha. #KoDP #SixAges
If any event you're going to has a terrible Covid-19 policy, I invite you to shame them by pointing out an EROTIC HYPNOSIS CONFERENCE does a better job than them.
@hub y'all don't have WHO international vaccination certificates over there? all our vaccinations get documented for future reference so we know when we might need a refresh or if we're missing any vaccinations, etc. even without digital certificates we still have the vaccine stickers with a date and doctor's signature.
@hub Same in Alberta, they were in such a hurry to bury it & pretend the whole thing never existed, they stopped issuing certificates the second Kenney ditched. @elexia @literalgrill
@Katzedecimal @hub yeah we checked and apparently those vaccine booklets they only do for yellow fever and polio in Canada if we got this right? very weird. we have documentation for all our vaccinations since childhood.
#LLMs are a fucking scourge. Perceiving their training infrastructure as anything but a horrific all-consuming parasite destroying the internet (and wasting real-life resources at a grand scale) is delusional.
#ChatGPT isn't a fun toy or a useful tool, it's a _someone else's_ utility built with complete disregard for human creativity and craft, mixed with malicious intent masquerading as "progress", and should be treated as such.
Excerpt from a message I just posted in a #diaspora team internal forum category. The context here is that I recently get pinged by slowness/load spikes on the diaspora* project web infrastructure (Discourse, Wiki, the project website, ...
Introduction I am a relatively new macOS user, having started to use the Mac seriously in 2021. Since then, I have tested countless apps—some better than others, some more useful, and some perfectly accessible with VoiceOver, while others were comple…
I've just realised that I can actually get vaccinated against covid every 6 months in Singapore. The government recommends a 1-year interval, but they only require that it's been 5 months since the last one.
And it's still free. And everyone has to mask up in medical settings here.
Discover which vaccines you need in Singapore, check your eligibility for government subsidies, and book a same-day appointment at a nearby clinic. Trusted government health services at your fingertips.
Study pioneers an accurate system for recognizing American Sign Language gestures using advanced computer vision and deep learning, significantly enhancing communication accessibility
This is an updated post from our archives. Kellogg's has introduced NaviLens technology on its cereal boxes, enabling blind and visually impaired individuals to access product information via smartpho
Seventy-four years ago, in 1949, 20th Century Fox, one of Hollywood’s major film studios, made a groundbreaking announcement: it would begin producing content for the burgeoning medium of television.
Over the past few months, Tj Squires has been incorporating generative AI into his workflow as an Accessibility Engineer at TPGi and there are three vital ways it has provided great aid.
Award-winning, full-cast original audio dramas from the worlds of Doctor Who, Torchwood, Blake's 7, Class, Dark Shadows, The Avengers, Survivors, The Omega Factor, Star Cops, Sherlock Holmes, Dorian Gray, Pathfinder Legends, The Prisoner, Adam Adaman…
The American Radio Relay League (ARRL) is the national association for amateur radio, connecting hams around the U.S. with news, information and resources.
I was inspired by someone commenting they'd like more conversations about maths in here, so I just want to post about an interesting mathematical result I did not expect.
First, a bit of an introduction. You may know that the Curry-Howard correspondence links computer programs with proofs. If you've heard this and you're not very clear what it means, it means that logic and computation are intimately related. Different types of computation are isomorphic to logics, for example, natural deduction is isomorphic to lambda calculus. If you have a valid program, this program can be understood as proving some sort of theorem. Specifically, a proof is a program, and the formula that is proven is the type for the program. Likewise, if you have the prove of some theorem, this can be understood as a computation, but here comes an important proviso: classical logic uses axioms such as excluded middle that allow certain forms of proof through double negation elimination that are not computable. In these proofs you don't necessarily show how to constract an object O, but negate the negation of O. Intuitionistic logic is different and does not allow the use of excluded middle or other non-computable axioms. When you have the existential of an object, in order to satisfy the proof, you must show how to construct an object that will satisfy it.
This is interesting, but what happens with non-terminating programs? After all, we know from the halting problem that it is impossible in general to mechanically decide if a program will halt. It turns out, non-terminating programs are proofs of false, they can prove anything.
So only terminating programs give us valid proofs. But we already established we cannot tell if a program terminates or not. What a pickle. This is not strictly true though, not if we weaken our programming language so that it is no longer turing-complete. It is possible to make programming languages for which all computations must end in finite time (though not necessarily in reasonable time!). These languages forbid things like infinite loops or infinite recursion. They use techniques such as structural recursion (where a function has to always call a smaller argument, such as a fuel limit) or some kind of proof of productiveness for a computation to be legally valid. These languages are called total languages.
The really weird thing: for the longest time it was believed that total languages are too limited to be useful in terms of universal computation. Certainly, all else equal, writing code in a total language is harder and takes significantly more effort. One specific thing that was thought impossible was for a total language to interpret itself. That is, one cannot write the interpreter for a total language in that total language.
Well, it turns out one can! In a paper titled Breaking through the normalisation barrier, it was shown that this is possible. I think this result is well-known these days, but it still delights me.
Firefox on desktop, Cromite (Chromium-based) on Android, Firefox can't even compete with Chrome on mobile when they lack basic features like bookmark import/export, or heavily-requested features like PWAs.
Which sucks ass right now, because Mull (DivestOS' fork of Firefox) has ceased development along with DivestOS itself, and people are supposed to migrate away. Yeah, good luck manually migrating all of your bookmarks, your site data, your passwords, without using Firefox Sync, a miserable, nightmarish service to attempt to self-host.
Oh wait how will Honey extension developers new baby - Pie.org - will work in Chrome blocking ads while offering to pay users to see ads. Oh yeah forgot it is a scam just like their original idea.
Would like to support Firefox but unfortunately it's too energy inefficient and slow on a modern Android Flag ship in comparison to chromium based browsers.
Also I do not tolerate Mozillas choice of mass dismissals rather than lowering the work duration across all workers. It's an evil capitalist strategy ruining lifes while the others shall work harder to not be fired next when money is tight.
Provided to YouTube by The Orchard EnterprisesEscalofrío (En Vivo) · Gabriela PosadaEsposada (En Vivo)℗ 1992 SONDORReleased on: 1992-02-13Music Publisher: A...
To recap the highlights of the past months and learn what's new in the final 1.0 release, check out the blog post: simonrepp.com/posts/faircamp-1…
Development of version 1.0 was made possible through the amazing support, funding and expertise of the @NGIZero programme and coalition, led by the @nlnet foundation and financed by the European Commission's @EC_NGI initiative – thank you so much for giving me and everyone benefitting from a better Faircamp this incredible opportunity!
Also, many thanks to all faircampers, contributors, testers, translators, bloggers, podcasters and encouraging voices for supporting this journey - for the final 1.0 release specifically to @branpos for release candidate testing, @n00q for bugreporting/testing, @limebar for the external artist page feature inspiration and @Vac for their diligent translation work.
Along with this release I've published multiple new documentation resources - from an official Linux/macOS/Windows tutorial to a 1.0 migration guide, from an overhauled reference manual to a beginner's guide to publishing faircamp (or any!) static sites - check out the website and recent posts in the #faircamp hashtag to discover them!
Thanks to @spacepup, I got my hands on a demo of a Czech text to speech software from 1993 called CS voice. When opened, it automatically reads a prewritten text describing the program's various functions and features, but in a fun and humorous tone. The first link leads to the recording itself, and the second contains a translated transcript of the recording. If you're curious about the history of this TTS software, I highly recommend reading the article linked below. It's in Czech, but includes a bunch of recordings and insights into the development of speech synthesis, not just in the Czech Republic but more broadly. If you're a fan of the history of text to speech, I think you'll find this really fascinating. Link to article: blindfriendly.cz/hlasove-synte… link to recording: dropbox.com/scl/fi/z99c5le3s80… link to transcript: dropbox.com/scl/fi/rbem4a8mrai…
The #38C3 presentation about the massive #Volkswagen data leak is over and the leak was as bad as it sounded. 100,000s of cars could be located down to cm precision. Also a lot of metadata that is NOT supposed to be public. Disturbing.
The main takeaway was that the real problem here wasn't the leak itself, but that this data was collected in the first place.
I agree. It's not a good idea to create mountains of very personal data and then pray it never leaks.
“The data centers powering the AI industry are fueling higher levels of dangerous air pollution, according to new research. In a paper titled The Unpaid Toll: Quantifying the Public Health Impact of AI, scientists say this pollution could lead to up to 1,300 premature deaths each year by 2030. On top of that, the public health costs—ranging from treating cancer and asthma to covering missed work and school days—are estimated to be hitting around $20 billion annually.”
In case you are visiting the #38C3 conference, today (day 2) at 17:00 there will be an F-Droid meetup: forum.f-droid.org/t/f-droid-me… The perfect chance to grab some AntennaPod stickers :)
Hi! Hope you've had a good christmas/December holiday season so far. I haven't posted on here lately, but with all the retro tech stuff that's made a bit of a resurgence in my corner of Masto I have to share this video where a long-time user of GameMaker tries to find the origin of a bunch of Midi files that used to come in free resource packs on the gamemaker site. You get everything from exploring vintage personal home pages, a lot of covers and some original material, and a lot of Sonic. youtube.com/watch?v=CSYSkjQI__…
Old Game Maker users and internet users alike will recognize Resource Pack 2 for its 129 midis. But who made them all? In this video, I set out to find out, ...
Peekr turned two today. 🎉 Here are the recap (left) and some memories while we were building the by-then "the biggest SVMetaSearch update" (right). We've came a long way throughout these two years.
And when you look at the picture on the right, you can clearly notice how much the interface has evolved.
yup. And in that case, the whole thing about the customer data.... "ask for an extension to file your taxes..."
TBF the Govt is guilty of that shit since you can't file electronically without a third party either proprietary software or proprietary clown service.
#AskFedi: Do any of you know of acceptable #EyeTracking solutions using just plain old cameras (or maybe the IR stuff that comes in iDevices)? I want to play around with something really quickly, and just need something that kind of works, ideally without requiring additional components (though I have IR LEDs and some small camera modules lying around). If you are curious, it is about this: plush.city/@hadley/11372975948…
Rendering idea: bright flashes should be drawn using a simulated persistence of vision, because computer monitors can only get so bright. And a quick, one-frame flash will inherently look very dark.
Ok, so as I'm closing to a highscore release, there's a specific thing I want to know. How many people are still using gnome-games or (never released but I know a few distros packaged it anyway) pre-rewrite highscore?
The reason I'm wondering is - data migration. If there's a lot of people still using the old app, I will have to have a simple way to migrate data from it. If not, I don't need to bother ^^
I have a feeling that it's not a lot of people, since gnome-games is EOLed on flathub and was dropped from everywhere since it was never ported away from tracker 2.x, but you never know, so asking anyway.
If you're using it, please reply. Otherwise, please boost
Writers and creators, if you are publishing erotic fiction online: sexy serials, spicy webcomics, arousing fiction podcasts, or when you publish an erotic short story one-shot of some kind, list it in the Wanton Weekly! wanton-weekly.beehiiv.com/p/no…
Hubert Figuière
in reply to Stefan Arentz • • •