Formalizing a proof in lean using GitHub Copilot and canonical
Terrance Tao recently posted a few videos to his YouTube channel in which he experiments with proof solving using LLM assistance.

Comments ⌘ Read more

Anzeige: Adobe Creative Cloud im Jahresabo bei Amazon günstig wie nie
Mit der Adobe Creative Cloud lassen sich Fotos, Grafiken und Videos kreativ gestalten. Im Jahresabo gibt es die Software zum Tiefstpreis. ( Creative Cloud, Adobe)

Image

Anzeige: Smarter Beamer mit 4K, Dolby Atmos, Netflix zum halben Preis
Ein smarter Beamer mit 4K-Unterstützung, Dolby Atmos und Netflix-Zertifizierung für spektakuläres Heimkino ist bei Amazon stark reduziert. ( Beamer, Audio/Video)

Image

Anzeige: Günstige 4K-Action-Cam unter 50 Euro als GoPro-Alternative
Nur für kurze Zeit gibt es die SJ4000 Action-Cam mit 4K Videoauflösung für unter 50 Euro im Angebot als günstige GoPro-Alternative. ( Technik/Hardware, Audio/Video)

Image

Ex-hotel guard says Diddy paid for video of assault on singer Cassie
A former hotel security guard says he was given $US100,000 in a brown paper bag by Sean “Diddy” Combs for what he hoped was the only video of him beating up his then-girlfriend Casandra Ventura in 2016. ⌘ Read more

Attempted to take a cute video of my cats licking each other, and then this happened… ⌘ Read more

Nintendo Switch 2: Everything you need to know
From tech specs to game compatibility, we answer all the big questions ahead of the Switch 2’s release. ⌘ Read more

Anzeige: In-Ear-Kopfhörer von Soundcore um 30 Prozent reduziert
In-Ear-Kopfhörer von Soundcore by Anker mit adaptiver Geräuschunterdrückung und langer Spielzeit gibt es bei Amazon zum Aktionspreis. ( Kopfhörer, Audio/Video)

Image

Wild videos capture fiery scenes from a massive Ukrainian drone attack on Russian bombers shielded by tires ⌘ Read more

Paraglider video out of China likely doctored with AI, experts say
The ABC was among hundreds of media outlets which reported on the incredible footage. Experts say the video was at least partially manipulated by artificial intelligence. ⌘ Read more

10 Secret Abilities of Well-Known Animals
As kids, we all learned about the world’s most famous animals from books, TV, video games, or the Rainforest Cafe and its incredibly biodiverse gift shop. However, Big Animal is keeping certain secrets from you, and the animals you’ve known and loved since childhood harbor some weird and obscure secret abilities, features, and effects. Read […]

The post [10 Secret Abilities of Well-Known Animals](https://listverse.com/2025/05/30/10-secret-abilities … ⌘ Read more

Dmytro Prudnikov, former product designer at Komoot, who was still featured last December in a post on LinkedIn, but got, as many others, fired, posted an emotional video on YouTube. Together, he and a lot of other former colleagues, they spent some time together for a last gathering. ⌘ Read more

Maybe you’ll enjoy this as well:

I still have one of my first modems, a Creatix LC 144 VF:

Image

I think this was the modem that I used when I first connected to the internet, but I’m not sure.

I plugged it in again and it still works:

Image

Image

The firmware appears to be from 1994, which sounds about right. I don’t think we had internet access before that. We certainly did use local mailboxes, though. (Or BBS’s, as you might call them.)

I now want to actually use that modem again. For the moment, I can only use a phone to dial into it, I lack a second modem to actually establish a connection. Here’s a video:

Image

Not spectacular, but the modem does answer after me entering ATA.

I bought another cheap old modem on eBay and am now waiting for it to arrive. Once it’s here, I want to simulate an actual dial-up session, hopefully from OS/2 or Windows 3.x.

I thought it’s an AI video first. 😆 ⌘ Read more

I sent you my QR code, please respond!

*for context: long ago, there were some complaints, about some of my sitting drawings, where the legs are apart, not using dithering/more shading and one of my favourite artists, made a video, exploring the use of QR codes, in art
P.S.: the code just redirects to my websites

Making the rav1d Video Decoder 1% Faster
Comments ⌘ Read more

Review: Eve Cam Gets USB-C and Better Night Vision, But Still Has 1080p Resolution
If you’re looking for an indoor security camera that takes advantage of Apple’s HomeKit Secure Video functionality, the Eve Cam from smart home maker Eve is worth taking a look at.

Image

Priced at $150, the Eve Cam has been updated over the years with a handful of features that make it better than the original 2020 model. The E … ⌘ Read more

Making Video Games in 2025 (without an engine)
Comments ⌘ Read more

@bender@twtxt.net Just to save some unnecessary und useless network traffic. :-) So that I can download more 1080p videos!!1

Using AI to build a tactical shooter
This video demonstrates a nice mental model of how to structure AI assisted programming for building prototypes (planning stage and implementation stage), how to increase speed by varying the input (audio vs. text), along with different smaller tactics to improve the process.

Comments ⌘ Read more

After 30 years of guns and gore this franchise is turning to story
Doom: The Dark Ages is the closest to a Hollywood blockbuster the series has come, though a human weapon destroying demons is still at the core. ⌘ Read more

Real‑world video demo: Using different AI models in GitHub Copilot
Curious about how AI models perform in real-world scenarios with GitHub Copilot? Same. We made a live video demo to find out, and wrote up our key takeaways.

The post Real‑world video demo: Using different AI models in GitHub Copilot appeared first on The GitHub Blog. ⌘ Read more

Trump admin turns to far right outlet to distribute news through Voice of America
Ben Johansen,  Staff Writer  -  Politico

_Stephan: Back about 1970, I wrote, and my friend Don McDonough produced, the first Voice of America satellite worldwide video broadcast. I called it, It’s a Small, Small World and it was based on promoting humanity’s wellbeing. We would go on to do several other things for VoA, and I was, and remain, very proud of that wo … ⌘ Read more

What do you think I just learned about in this awesome Computerphile video with Matt Godbolt called “Subroutines in Low Level Code”? https://www.youtube.com/watch?v=1su3lAh-k4o

Here’s the plot twist, the phrase “till the cows come home”. Hahaha, I never heard this before, but I love it! It’s always interesting to me to hear English sayings. Sometimes we have the same in German, sometimes – like in this case – entirely different ones. It’s fascinating that even though one hasn’t come across proverbs, it’s typically still clear from the context what’s meant.

Yep, some unexpected language stuff. ;-)

Apple Promotes Vision Pro in New Mother’s Day-Themed Ad
Apple today shared a new spatial video that’s designed to highlight the Vision Pro headset, demonstrating how the device can be used to make and preserve memories.

For the video, two parents, Sam and Khulan, filmed their newborn son using iPhones that are capable of recording spatial video. Sam then edited the footage into a home video for Khulan to watch on the Apple Vision Pro, and the … ⌘ Read more

Rockstar Games share fresh trailer for Grand Theft Auto VI
Rockstar Games has shared a new trailer for Grand Theft Auto VI, just days after delaying the game until May 2026. This latest video has been watched online 475 million times across platforms. ⌘ Read more

How to Increase VRAM Allocation on Apple Silicon Mac
Advanced Mac users may wish to manually increase the VRAM allocation on their Apple Silicon Mac for performance reasons when engaging in graphics intensive tasks like running LLMs locally, AI models, or any graphics heavy applications, whether for gaming or video editing. This is possible because Apple Silicon chips offer unified memory architecture, meaning the … [Read More](https://osxdaily.com/2025/05/07/how-to-increase-vram- … ⌘ Read more

Tiliqua Brings FPGA-Based Audio and Visual Tools to Eurorack Systems
Tiliqua is a modular FPGA-based platform for Eurorack systems, launched on CrowdSupply. It supports real-time audio and video synthesis using open-source tools like Amaranth HDL, offering more flexibility and performance than typical microcontroller-based modules. The platform uses the “SoldierCrab” FPGA System-on-Module, which integrates an LFE5U-25F FPGA, PSRAM, a USB PHY, and SPI flash. This module […] ⌘ Read more

had to share this lovely video of my cat and his reflection ⌘ Read more

Nobody want to be a shitty programmer. The question is: Do you do anything not to not be one?
Reading blogs or social media and watching YouTube videos is fun. After them, your code may be a little better, of course. But you need a lot. You need to study! Read good books and study the code of other programmers, for example. Maybe work with a new language, architectures and paradigms. You need break the routine.

If you know Object-oriented programming, you learn functional programming.
If you know Model-View-Controller, you learn Model-View-ViewModel.
If you don’t know anything about architectures, you learn Clean Architecture, Hexagonal Architecture, etc.
If you know Python, you learn Ruby or Go.
If you know Clojure or Lisp… you don’t need to learn anything else. You are already a good programmer. Just kidding. You can learn Elixir or Scala.

Be a good programmer my friend.

Republican posts video defending law that declared slaves ‘three-fifths’ of a person
Sarah K. Burris,  Senior Editor  -  Raw Story

_Stephan: I think it is very important to recognize that Donny “2 doll”, as Lawrence O’Donnell called him on his program tonight, when Trump said basically that American children have too many toys, is just the leader of a racist fascist coup, but far from the only person perpetrating this destruction of the feder … ⌘ Read more

I’m with @andros@twtxt.andros.dev and @eapl.me@eapl.me on this one. But I have also lost interest in twtxt lately and currently rethinking what digital tools truly add value to my life. So I will not spending my time on adding more complexity to Timeline. Still a big thanks to you @prologic@twtxt.net for all the great work you have done and all the nice conversations both here and on our video calls.

How to Download Videos Without Watermarks from TikTok
If you’re a heavy TikTok user, you probably already know that it’s fairly easy to download videos directly from TikTok to iPhone using the app itself. But you’ve also certainly noticed that any video shared or saved from TikTok has a “TikTok” watermark on the video. If you wish to save a video from TikTok … Read More ⌘ Read more

Here’s another video if my boxing cat for those who requested ⌘ Read more

iPhone 17 Air Almost as Thin as Its Buttons, New Images Show
If you missed the video showing dummy models of Apple’s all-new super thin iPhone 17 Air that’s expected later this year, Sonny Dickson this morning shared some further images of the device in close alignment with the other dummy models in the iPhone 17 lineup, indicating just how thin it is likely to be.

![](https … ⌘ Read more

@kat@yarn.girlonthemoon.xyz OMG! You used the video capabilities of yarnd 🤣 Nice! 😊

Video Review: The AirPods Max in 2025
Apple hasn’t introduced a major update for the AirPods Max since the headphones came out in 2020, but last year there was a minor refresh with new color options and an upgrade to USB-C charging. With no additional new features on the horizon, we thought we’d take a look at whether the ‌AirPods Max‌ are worth picking up in 2025.

_[Subscribe to the MacRumors YouTube channel](https://www.youtube.com/user/macrumors?sub_con … ⌘ Read more

The Nintendo Switch 2 is $700, are video games getting more expensive?
High-end games and systems are more popular than ever, but what about their price tags? ⌘ Read more

@movq@www.uninformativ.de So cool! 😎 Where’s the time lapse video you used to have of this tree? 🌳 Hmm 🧐

Realized I could definitely have a silly gameplay montage youtube channel if I wanted to. All of my best video editing has been goofy visual gags… I could do it…

A great YT video for beginners ⌘ Read more

I think videos like this will be common in the future😅 ⌘ Read more

New Elder Scrolls Online expansion unveiled
The next big expansion for the long running Elder Scrolls Online video game has been unveiled. A decade on, players will be able to continue the original storyline in Seasons of the Worm Cult. Coming to PC and consoles in June. ⌘ Read more

[$] Taking notes with Joplin
Joplin is an open-source
note-taking application designed to handle taking many kinds of notes,
whether it is managing code snippets, writing documentation, jotting
down lecture notes, or drafting a novel. Joplin has Markdown support,
a plugin system for extensibility, and accepts multimedia content,
allowing users to attach images, videos, and audio files to their
notes. It can provide synchronization of content across devices using
end-to-end encryption, or users can opt to sti … ⌘ Read more

Video proof the cameraman is not invincible ⌘ Read more

I paid an athlete $120 to send me a personalised video. You can, too
Thousands of celebrities are sending personalised videos to paying fans. But how exactly does it work? ⌘ Read more

Apple Releases New Immersive Video App for Mac and Vision Pro
Apple today released a new app for managing an immersive video library on a Mac.

Image

Apple Immersive Videos are 3D videos recorded in 8K resolution, with a 180-degree field of view and Spatial Audio. For example, recent performances by singer The Weeknd and … ⌘ Read more

DFRobot Previews RISC-V-Based FireBeetle 2 with ESP32-P4, Targeting Image and Video Applications
The FireBeetle 2 ESP32-P4 is an upcoming compact development board designed for real-time image processing, video streaming, and wireless communication. It targets HMI applications such as digital photo frames, security systems, home control panels, and smart doorbells. The board is built around the ESP32-P4R32 microcontroller, which features a dual-cor … ⌘ Read more

Nintendo’s plan for eight more years at the top of its game
Thanks to a focus on developer freedom, a powerful Nvidia chip and ongoing killer software, the Switch 2 has the ingredients for success. But also some challenges. ⌘ Read more

@thecanine@twtxt.net My apologies, mate! :-( As @david@collantes.us pointed out, this was definitely not my intent at all.

For the easter egg hunt, I first looked for a hidden image map link on the pixel dog in the right lower corner itself. Maybe one giant pixel just links to somewhere else, I figured. But I couldn’t find any and then quickly moved on. Hence, I naturally viewed the HTML source. Because where else would be a good hiding place for easter eggs, right?

Next, I noticed the <font> tags. I thought I had read quite some time ago that they are not an HTML5 thing, but wasn’t entirely sure about it. So, I asked the W3C HTML validator. Sure enough. I thought I let you know about the violations. If somebody had found a mistake on my site, I’d love to hear about it, so I could fix it. I’m sorry that my chosen form of report didn’t resonate with you all that well. I reckoned you’ll also find it a bit funny, but I was clearly very wrong on that.

I actually followed the dog cow link to the video, so I ended up on the easter egg. However, I didn’t recognize it as such. ¯_(ツ)_/¯ Oh well.

Regarding my message about the browser quirks: I read your answer that you were arguing against the HTML validator findings. Of course, everybody can do with their sites whatever they likes.

I played the Nintendo Switch 2, and it’s worth the hype
Nintendo’s hybrid console gets new gimmicks, new games, and a tech upgrade to meet the wider games industry. ⌘ Read more

Nintendo Switch 2 announced for a June 5 launch
The system supports 4K graphics, has an integrated voice chat platform and will cost $700. ⌘ Read more

I’m playing with ratterplatter again: It’s a toy that watches disk I/O and emulates the noise of a real hard disk. (Linux only.) It uses sound samples from one of my older disks.

I tried a different approach at estimating the disk activity and I think I finally got it right (after almost 10 years … 🤦).

Demo, booting a Windows 2000 VM: https://movq.de/v/1400544cc6/2kboot-ratterplatter-2.mp4

(For this purpose alone, I put a couple of mini speakers into my PC case, so that the noise comes from the right place: https://movq.de/v/a3b2dc0932/speakers.jpg)

The results aren’t too bad, but this thing can’t be super accurate due to the huge I/O caches that we have these days. For the video, I dropped the caches before booting Windows, otherwise you would have heard almost nothing.

FWIW, if you don’t know it yet, this is the equivalent for proper keyboard sound: https://github.com/zevv/bucklespring

10 Fictional Bands with Real Hit Songs
Several movies and television shows feature bands we fall in love with, but some fictional bands find real success. Once these bands started gaining traction, they released albums, created music videos, and sometimes even embarked on a tour. Their hits and soundtracks rank high on music charts, and some even reached the top spots. Some […]

The post [10 Fictional Bands with Real Hit Songs](https://listverse.com/2025/03/31/10-fictional-bands-with-real-hit- … ⌘ Read more

Apple’s iPhone 17 range will feature the thinnest iPhone ever
For the first time, 9News can reveal these leaked iPhone 17 Models in video to show the likely changes coming later this year. ⌘ Read more

The Mastodon admins say that it’s probably because of the size of my account (~600 MB), so the export process times out. And I understand that. Here on twtxt, I always use auto-expiring links when I post images or videos. It just gets too much data otherwise. I think I’ll just set my Mastodon account to auto-delete posts after ~180 days or something like that. Nobody cares about old posts anyway.

iPhone 17 Pro Supports 8K Video Recording, Suggests Leaker
Apple’s forthcoming iPhone 17 Pro models are capable of shooting 8K video, up from the current maximum 4K capture resolution on the iPhone 16 series, a Chinese leaker has today suggested.

Image

The Weibo-based account Fixed Focus Digital on Wednesday said that the iPhone 17 Pro is “something to look … ⌘ Read more

@movq@www.uninformativ.de Yeah, most of the graphical applications are actually KDE programs:

• KMail – e-mail client
  
• Okular – PDF viewer
  
• Gwenview – image viewer
  
• Dolphin – file browser
  
• KWallet – password manager (I want to check out pass one day. The most annoying thing is that when I copy a password, it says that the password has been modified and asks me whether I want to save the changes. I never do, because the password is still the same. I don’t get it.)
  
• KPatience – card game
  
• Kdenlive – video editor
  
• Kleopatra – certificate manager
  

Qt:

• VLC – video player
  
• Psi – Jabber client (I happily used Kopete in the past, but that is not supported anymore or so. I don’t remember.)
  
• sqlitebrowser – SQLite browser
  

Gtk:

• Firefox – web browser
  
• Quod Libet – music player (I should look for a better alternative. Can’t remember why I had to move away from Amarok, was it dead? There was a fork Clementine or so, but I had to drop that for some unknown reason, too.)
  
• Audacity – audio editor
  
• GIMP – image editor
  

These are the things that are open right now or that I could think of. Most other stuff I actually do in the terminal.

In the past™, I used the Python KDE4 bindings. That was really nice. I could pass most stuff directly in the constructor and didn’t have to call gazillions of setters improving the experience significantly. If I ever wanted to do GUI programming again, I’d definitely go that route. There are also great Qt bindings for Python if one wanted to avoid the KDE stuff on top. The vast majority I do for myself, though, is either CLI or maybe TUI. A few web shit things, but no GUIs anymore. :-)

10 Real-Life Crimes Inspired by Fiction
Fictional stories are meant to entertain, provoke thought, or even inspire—but sometimes, they inspire people in the worst way possible. Throughout history, there have been disturbing cases where individuals committed real-life crimes after being influenced by movies, books, TV shows, or even video games. Whether driven by delusions, obsession, or a desire to mimic their […]

The post [10 Real-Life Crimes Inspired by Fiction](https://listverse.com/2025/ … ⌘ Read more

iPhone Users Who Pay for iCloud Storage Receive a New Perk
If you pay for iCloud storage on your iPhone, Apple has a new perk for you, at no additional cost.

Image

iCloud+ is the official name for Apple’s paid iCloud storage plans, which range from 50GB for $0.99 per month to 12TB for $59.99 per month in the United States. iCloud+ plans already come with multiple perks for free, such as Hide My Email and HomeKit Secure Video, a … ⌘ Read more

Video: How to create checklists in Markdown for easier task tracking
Ever wondered how to create checklists in your GitHub repositories, Issues, and PRs? Make task lists more manageable in your GitHub repositories, issues, and pull requests.

The post Video: How to create checklists in Markdown for easier task tracking appeared first on [The … ⌘ Read more

10 Video Games That Were Scrapped Close to Completion
Remarkably, the world of video game development is often fraught with unpredictability, where immense effort and staggering amounts of money—sometimes tallying up to millions—can be poured into a project, only to see it abandoned before reaching the finish line. This phenomenon is not only bewildering but also disheartening as developers walk away from near-completed projects, […]

The post [10 Video Games That Were Scrapped … ⌘ Read more

‘This Felt Like a Kidnapping Because It Was’: Family of Mahmoud Khalil Releases Arrest Video
Jessica Corbett,  Staff Writer  -  Common Dreams

_Stephan: As I search the media each day it becomes ever more obvious that psychopath fascist Trump’s idea of government is to mimic Hitler. We are now at the stage where men in plain clothes showing no warrant can break into someone’s home and kidnap them, just as the Gestapo did. You can click … ⌘ Read more

Comet GL-RM1 Enables Remote Control with 2K Video Resolution
Comet (GL-RM1) is a hardware-based remote KVM solution for remote computer access and control. Its open-source design enables hardware-level interaction, making it useful for remote work, IT maintenance, and server management. It allows full control over offline computers, including BIOS access, troubleshooting, and boot failure recovery. The device features a quad-core 1.5GHz processor, 1GB DDR3 […] ⌘ Read more

@kat@yarn.girlonthemoon.xyz this is how i find out the videos are capped at a minute

EVERYONE Will Hate This Video ⌘ Read more

Hands-On With Apple’s New M4 MacBook Air
Apple refreshed the MacBook Air lineup last week, and those new models are available starting today. We picked up one of the M4 ‌MacBook Air‌ models for a quick unboxing and first impressions overview.

_Subscribe to the MacRumors YouTube channel for more videos._

If you’ve seen the M2 or M3 ‌MacBook Air‌ models, then … ⌘ Read more

I’d need to think about it deeply, but at a first sight, nanoblogging would be a simple text (like the original twtxt spec, aimed for TUIs), and microblogging (like Twitter was a few years ago), would be about sharing texts, images, videos, GIFs, links, and perhaps Markdown styling.

Why? You have shorter messages than in a blog, but you may add almost anything you could do in a blog.
Buuut… who knows?

Bluesky Extends Video Limit, Adds DM Filtering in Latest App Update
Bluesky has released an update that makes it possible for users to post longer videos to the social media platform and X (Twitter) rival. Version 1.99 triples the maximum video length from 60 seconds to three minutes, addressing one of users’ most frequent requests.

Image

As shared in a [Blue … ⌘ Read more

Apple Pulls iPhone 16 Ad Showing Off ‘More Personal Siri’
Apple has pulled an ad for the iPhone 16 that depicted a “ more personal Siri,” following the company’s admission last week that it is delaying some of the Apple Intelligence Siri features that it originally expected to release in iOS 18.

Image

English actor Isabella Ramsey starred in the now-private YouTube video, [o … ⌘ Read more

Video Shows iPhone 17 Mockups Based on ‘Internal Documents’
YouTuber iDeviceHelp on Friday posted a video that shows off mockups of Apple’s forthcoming iPhone 17 models that are purportedly based on “internal documents.” We’re sharing the video here since it was made in collaboration with leaker Majin Bu, who last month published [similar iPhone 17 renders](https://www.macrumors.com/2025/02/24/revealed-entire-iphone-17-lineups-camera-d … ⌘ Read more

[ANN] How to run an optimized Tor node on the Monero network

This video is a walk through on how to run an optimized Tor node. I worked with Ofrnxmr on this to make sure that all the information is up-to-date and correct. The goal was to create a beginner-friendly walk through that highlights everything needed to ensure that you are sending transactions over Tor, that you are receiving incoming peer connections over Tor, and that your node will continue helping out the clearnet as well. Additionally, the config includes an option … ⌘ Read more

Video: How to run dependency audits with GitHub Copilot
Learn to automate dependency management using GitHub Copilot, GitHub Actions, and Dependabot to eliminate manual checks, improve security, and save time for what really matters.

The post Video: How to run dependency audits with GitHub Copilot appeared first on The GitHub Blog. ⌘ Read more

RK3566 Credit Card-Sized SBC with M.2 Expansion and 4K Video Support
The RK3566 Single Board Computer is designed for a range of applications, combining processing power with multiple connectivity options. Built with an 8-layer PCB design and featuring a compact form factor, it is powered by a quad-core Cortex-A55 processor and includes an M.2 2242 slot for expansion. The SBC features the Rockchip RK3566, a quad-core […] ⌘ Read more

Video game auteur’s latest two-player tale is another bizarre hit
New adventure games you can play on the couch next to a friend are vanishingly rare, but Josef Fares has the genre dialled in. ⌘ Read more

A depressing video about the current state of printers that just ends with “fuck this, I’m gonna talk about my cat now”: https://www.youtube.com/watch?v=bpHX_9fHNqE

And I just added a video clip of the woodpecker. As you can easily see from the shaking, it hammers so dang hard that the whole ground around the tree vibrates.

New MacBook Air Coming This Week: What to Expect
Apple CEO Tim Cook teased a new product announcement this week, sharing a short video that says “there’s something in the Air.” Based on the “Air” wording and the timing of the launch, it sounds like we’re going to get new M4 [MacBook Air](https://www.macrumors.com/ro … ⌘ Read more

@prologic@twtxt.net I wonder if we watched the same video.

House Republicans are betting big on pain
Hayes Brown,   Staff Writer / Editor  -  MSNBC

_Stephan: The Republican Congress members in subservience to the uber-rich who bought them their seats, and in submission to aspiring dictator Trump, is trashing the U.S. economy.  I am sure you have seen some of the video clips of townhall meetings in which the Republicans are booed and challenged. We are going from an economy that was the envy of the world as Biden’s administration ended to an … ⌘ Read more

The MacRumors Show: We Answer Your Questions!
On this week’s special episode of The MacRumors Show, we answer your listener questions.

_Subscribe to The MacRumors Show YouTube channel for more videos_

Responding to your queries from over the past few weeks, we talk pocket cameras, our own devices, the Mail app, visionOS, foldables … ⌘ Read more

Quickly Edit & Cut Video Lossless on Mac with LosslessCut
Whether you’re a regular video and audio editor or just have occasional needs to do so, you might appreciate using the handy free LosslessCut app, the “swiss army knife of lossless video/audio editing”, which allows for lossless editing and cutting of video and audio files. LosslessCut lets you quickly extract, remove, add, and combine audio … [Read More](https://osxdaily.com/2025/02/27/quickly-edit-cut-video-lossle … ⌘ Read more

Quickly Edit & Cut Video Lossless on Mac with LosslessCut
Whether you’re a regular video and audio editor or just have occasional needs to do so, you might appreciate using the handy free LosslessCut app, the “swiss army knife of lossless video/audio editing”, which allows for lossless editing and cutting of video and audio files. LosslessCut lets you quickly extract, remove, add, and combine audio … [Read More](https://osxdaily.com/2025/02/27/quickly-edit-cut-video-lossle … ⌘ Read more

iPhone 16e’s Battery Capacity Revealed in Real-World Battery Life Test
In its announcement video for the iPhone 16e, Apple said the device features a new internal design that allowed for a larger battery.

Image

Apple does not publicly advertise mAh battery capacities for iPhones. In his [iPhone 16e review video](https://www.youtube.com/watch?v=w-Wh … ⌘ Read more

@andros@twtxt.andros.dev Just before the pandemic, we watched Uncle Bob videos once a week in the lunch break. While almost all of my old teammates agreed with his views, I partially found them to be very odd and even counterproductive.

I didn’t come across John Ousterhout or any of his work before, at least not deliberately. So, this document is my first contact.

I only finished the chapter on comments and I totally agree with John so far. This document just manifests to me how weird Bob’s view is on certain subjects.

I always disagreed with the concept of a maximum method length. Sure, generally, shorter functions are probably better, but it always depends. And I’ve certainly seen super short methods that just made the code flow even worse to follow. While “one function should only do one thing” is a nice general rule, I’m 100% in team John with the shown examples. There are cases, where this doesn’t help readability at all. Not even close.

To me, a function always has to justify its existence. Either by reusing it at least at another place or by coming up with dedicated tests for it. But if it is just called once and there are no tests, I almost always decide against it. Personally, I don’t mind longer methods. We just recently had a discussion about that and I lost against two other workmates who are more in Uncle Bob’s camp, they refactored one medium sized method into three very short ones. Luckily, we agree on most other topics.

Lol, what!? The shorter the method, the longer the variables inside? I first thought I misread or the writeup mixed it up. I’ll always do it the other way around.

I’ve been also bitten badly by outdated comments in the past, but Bob must have worked on really terrible projects to end up with such an attitude to dislike comments. Oh well. No doubt, I’ve come across by several orders of magnitude more useless comments, in my experience (autogenerated) JavaDocs fall in the category more frequently than not. So, I know that there are different types of comments. A comment doesn’t automatically mean that it is good and justified.

But I also partially agree with Bob and John and think that a good name has a proper chance to save a comment. Though, when in doubt, I go John’s route and use a shorter name with a comment rather than use a kilometer long identifier. Writing good comments typically takes some time, sometimes much longer than writing the code. It regularly takes me several minutes. It’s a hard art.

I perhaps should read up on John’s work. He seems to be more reasonable and likeminded. :-) Let me continue to complete this document.

Trump Backs House GOP Bill Slashing $1 Trillion From Medicaid and Food Stamps
Chris Walker ,  Staff Writer  -  truthout

_Stephan: I was just told today by the office of one of my physicians that telemedicine, doing a video meeting with a physician, will no longer be covered by Medicare. That, for me, is a big deal. I live on an island and going to a medical appointment on the mainland when all that is involved is a conversation, is an all-day opera … ⌘ Read more

Testing the World’s Thinnest Foldable Smartphone
Chinese smartphone maker Oppo recently came out with the Find N5, which is a super thin and lightweight foldable smartphone. It’s thinner and lighter than Samsung’s foldable devices, and Apple’s non-foldable ones.

_Subscribe to the MacRumors YouTube channel for more videos._

The Find N5 has a 6.62-inch display when closed, and an 8.12-inch display when open, so when unfolded, it’s just a bit smalle … ⌘ Read more

** mkv no more **
My previous post included a video. I made that video with OBS which outputs .mkv video files.

I wanted to do my best to ensure that folks with a variety of devices and browsers would be able to watch the video if they wanted to, so, I converted it into a few different formats.

Here’s the bash script I wrote to do that. It relies on ffmpeg.

”`hljs bash
#!/bin/bash

if ! command -v ffmpeg &> /dev/null; then

echo "ffmpeg  ... ⌘ [Read more](https://eli.li/mkv-no-more)```

Raspberry Pi-Like Board Incorporates RK3568 CPU, GbE Port, and M.2 2242 Slot
Graperain’s RK3568 single board computer is a compact platform for embedded applications, powered by a quad-core Cortex-A55 CPU at 2.0GHz. It supports Android 11, Linux, Ubuntu, and Debian, features an ARM G52 2EE GPU for 4K video decoding, and offers versatile connectivity for industrial, consumer, and commercial use.   The Rockchip RK3568 processor is built […] ⌘ Read more

Those are some impressive wigs: https://imgur.com/gallery/life-imitates-video-game-5KlJBhj I wonder how it feels to wear such a thing for a day – especially in summer. 😅🥵

Aqara Launches Camera Hub G5 Pro
Smart home company Aqara today announced the global availability of its Camera Hub G5 Pro, which is designed specifically for outdoor surveillance. The G5 Pro integrates with the Apple Home app and it supports HomeKit Secure Video.

Image

Available in two colors, the G5 Pro provid … ⌘ Read more

@falsifian@www.falsifian.org Mate, what an amazing video, holy cow! :-D We only get complete jokes of icicles compared to what you had there ealier today. It’s a giant wall. For how many days did that grow on your roof?

@falsifian@www.falsifian.org Wooooaaaahhh! That is BY FAR the biggest icicle I’ve ever seen. Really cool! :-) How long did it take to melt in your sink? The video download is still dripping in, looking forward to that.

Some satisfying icicle-breaking in our backyard: photos.falsifian.org/video/sM7G3vfS6yuc/VID_20250217_203250.mp4

I couldn’t resist taking home a prize:

Image

Image

It’s been snowy here in #Toronto.

Image

(I tried formatting the images in markdown for the benefit of yarn and any other clients that understand it.)

#photo #photos #winter

Microsoft’s first big game of the year is an RPG masterpiece
Avowed is a brilliant story, a wonderful world and an excuse for a lot of crunchy first-person combat rolled up into an excellent and breezy RPG. ⌘ Read more

A mother shares a video of her house cat: ‘He takes my kids to the bus every day, makes sure they get off safely, and then comes home.’ ⌘ Read more

10 Video Game Villains Who Foolishly Aided the Hero to Win
Video game villains come in various shapes and sizes. They possess different capacities, but there is only one end to everything they do: to ensure that the protagonist does not fulfill their mission in the long run. Video game villains employ different tricks and tactics to achieve this objective. Some disguise themselves as a friend […]

The post [10 Video Game Villains Who Foolishly Aided the Hero to Win](https:/ … ⌘ Read more

Apple Prototypes Tabletop Robot With Lifelike Movements Ahead of Rumored Launch by 2027
A team of robotics researchers at Apple have designed and prototyped a lamp-like robot with lifelike movements, according to a blog post and accompanying video published last month on the Apple Machine Learning Research website. The lamp, which reminds us of the cute Pixar mascot [Luxo Jr.](https://www.youtube.com/watch?v=gX0CmJa … ⌘ Read more

10 Films That Are Still Banned in the UK
Westerners live in an age of relative freedom when it comes to the films we can enjoy. U.S. and UK censors are more forgiving than they used to be, and horrific, graphic, and downright lewd films that would previously have been banned from even the roughest fleapit make it into mainstream cinemas. https://web.archive.org/web/20200924204745/https://www.bbfc.co.uk/education-resources/education-news/video-nasties The UK’s […]

The post [10 Films That Are … ⌘ Read more

Assassin’s Creed is finally heading to Japan. It needs to hit the mark
The long-awaited feudal Japan episode of the long-running series follows a ninja and a samurai in a period of civil war. For Ubisoft, it could be a make or break. ⌘ Read more