FILTER RESULTS
FILTER RESULTS
close.svg
Search Result for “automated mathematical proof”

Showing 1 - 10 of 18

LIFE

Caveat emptor is undefeated in online shopping

Life, James Hein, Published on 11/03/2026

» It is becoming more common to buy things online. The majority of my shopping, not counting groceries, is now done that way. In the past I've warned about prices that are too good to be true, like a 4TB thumb drive for a few dollars from sites like Temu and AliExpress. There is now a kind of middle ground where the price could be correct and it's coming from, say, Amazon. Recently, even though I had some doubts, I bought a 5TB SSD drive from Amazon for around half of what I'd expect it to be. I did this knowing I can easily send things back to Amazon.

LIFE

Beware the AI bots

Life, James Hein, Published on 04/06/2025

» I recently joined a Facebook group that supposedly represented Kat Timpf, a regular presenter on the Gutfeld! show. I posted a couple of comments and a couple of weeks later, I received a tag in social media purportedly from Dana Perino, a regular on the Fox show The Five. Initially this was a surprise. Why would a famous TV star want to chat with me? After a few chats, it became obvious something was off. The tag name in Messenger was just Dana Perino but the conversation had a few structural errors, not something a former press secretary would make.

LIFE

Jetsons cars finally take off

Life, James Hein, Published on 26/03/2025

» Some readers will remember the old cartoon The Jetsons. This promised a future with flying cards, robot assistants and helpful computer tools. We have or are getting very close to the robot assistants, and the latest artificial intelligence offerings seem to be the automated helpers. Missing to date are the flying cars. That may have changed with the new Jetson ONE, a single person flying car I saw a demonstration of in a recent video. It looked good, seemed to fly with good stability and landed without any issue. You can find the demos with a simple search. The craft has vertical take-off and landing capability. However, I shudder to think of what thousands of these might look like in the skies above a city without some serious improvements in driving and collision avoidance.

LIFE

Microsoft's quantum conundrum

Life, James Hein, Published on 12/03/2025

» If you've been keeping up with quantum computer news, you will have seen the Microsoft Marketing announcement on topological q-bits and a potential quantum computer in a few years. I was planning to write about this in some detail, but it turns out the reality may not meet the marketing. Surprising, I know, but the announcement implying Microsoft has q-bit technology ready to go and scale is speculative. They don't have any physical models, just some tests and a theory that has already been challenged by the physics community. It will take a while to go through all the published data, but the Microsoft quantum computer could be decades, not years, in the future, if ever.

LIFE

7 levels of AI await humanity

Life, James Hein, Published on 02/08/2023

» This week is AI week, both to date and going forward. Some don't understand the difference between AI and AGI, the latter being artificial general intelligence, denoting a system that behaves like a human being in capabilities. So, for your amusement I've put together, with credit to the YouTube channel AI Uncovered, a description of the seven levels of AI.

LIFE

Apple sets sights on VR market

Life, James Hein, Published on 21/06/2023

» The biggest announcement of the past week or two was the Apple Vision Pro VR system. There has been so much on this recently. The quick summary is -- two 4K eyepieces, no controllers required and it can replace your TV and computer monitors. I was more interested in the battery life being two hours, or if you were using them, not enough for the full Apple presentation. The price is also an amazing US$3,500 in America so out of the range of most people. One argument is that by the time you don't need to pay for a TV upgrade or new monitors it is worth the investment. My counter is if you have a four-person household that price becomes $14,000, a lot more than the cost of a new TV. Oh, and you can mostly only use it with Apple kit which really limits options.

LIFE

New chatbot can do a lot, but can you trust it?

Life, James Hein, Published on 18/01/2023

» Over the New Year break, I was digging a bit more into artificial intelligence and especially how the ChatGPT can be used and how it could affect society.

LIFE

Google triumphs over Oracle

Life, James Hein, Published on 14/04/2021

» - Long-time readers may remember that back in the mists of IT time, over 10 years ago, Oracle challenged Google over the use of Oracle's Java API's and some of their code in Android.

LIFE

Digital world backslides into autocratisation

Life, James Hein, Published on 03/03/2021

» - I love new technology and I often pick up the latest gadgets from sites like Kickstarter. Researchers at the University of Colorado Boulder are one step closer to using humans as batteries.

LIFE

Redefining your normal and other tech predictions

Life, James Hein, Published on 06/01/2021

» Thank goodness 2020 is finished. Hopefully 2021 will be better and that in this case not all of my predictions will come true.