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…
Reading this comment by @david_chisnall: lobste.rs/s/lgqwje/does_curren… (the one about flat memory being a poor abstraction and so on), it occurs to me that microprocessor designers are way better at hiding complexity behind non-leaky abstractions than a lot of us software developers (myself included). I wonder why, or if my perception is off.
First, hardware abstractions are hard to change. The i386 didn't succeed because it was the best 32-bit chip, it succeeded because it could run all existing 8086 software. That's a massive driver. It's easy to build a new chip that massively outperforms a modern Intel chip if you're able to co-design the OS and language that run on it but you won't sell (unless it is really good for a specific, common, workload and gives at least a 10x speedup, as with GPUs).
Second, hardware is simple. Hardware is laid out on a 2D plane and interactions are bounded to adjacent things. You need to route wires to interact with further-away things, which makes place-and-route harder and impacts timing. Most of the time, logic blocks are equivalent to pure functions: they have some in wires and some out wires and, after n cycles, will produce some output on the output wires that depends on the input. The ones that are not (the ones that have internal state) are the more annoying to verify. In contrast, objects in a programming language exist in an n-dimensional sea. Any pair of objects can interact if some piece of code holds references to both (including if one holds a reference to the other). Most components have some state and their output and interactions with other components depend on that state.
Antes de la pandemia, para el cumpleaños de mi ex, se me ocurrió la genial idea de grabarme cantándole el feliz cumpleaños, por supuesto, desafinadísima e inventando notas. Hasta mi hermana salió al final del audio felicitándolo y me pegó un susto porque no sabía que estaba ahí. Lástima que no conocía este imno, me habría ahorrado la vergüenza! Y seguramente la relación se habría salvado 🤣🤣 todo ventajas. youtube.com/watch?v=Ayyo6X2IbU…
CADA MIÉRCOLES UN NUEVO VIDEOCLIP. CADA MARTES UNA NUEVA MÚSICA M.B.D.SUSCRÍBETE al CANAL – DALE a ME GUSTA – DESCÁRGATE el Wallpaper AQUÍ: http://www.flosma...
USB-C is officially the common standard for charging electronic devices in the EU.
This means:
🔌The same charger for all new phones, tablets and cameras ⚡ Harmonised fast-charging technology 🔄 Reduced e-waste 🛑 No more “Sorry, I don’t have the right cable”
"The Scientist and Engineer's Guide to Digital Signal Processing" is an abnormally well-written textbook. I'm 5 chapters in and so many things are clicking for me that have never made as much sense before. I bought the physical version but it rocks that it's also available for free in full legally: dspguide.com/pdfbook.htm
@modulux The REPL's include an input method that allows you to type them using a prefix character (usually backquote). So to type ⊂ you press backquote followed by z.
There's also an Emacs mode for people who prefer that. It's also my intent to create a custom keyboard layout for Linux, but I haven't done that because I personally have no need for it. There is one for APL though, which has almost all the symbols needed.
Hubert Figuière
in reply to Juniper -1 • • •