GoKawiil - Latest Tech News & Aggregated Headlines

Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover

news.ycombinator.com Unknown 2025-11-17 14:27:25

Fermat’s Last Theorem An ongoing multi-author open source project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover. Information about the project The project is currently being led by Kevin Buzzard. It is funded by grant EP/Y022904/1, awarded by the UK’s Engineering and Physical Sciences Research Council. The project is hosted at Imperial College London. Kevin would like to extend many many thanks to both of these institutions for their ongoing support of this nonstand

Topics: fermat information kevin project theorem

Shop Amazon

A statistical analysis of Rotten Tomatoes

news.ycombinator.com Daniel Parris 2025-11-17 21:10:07

Intro: Why Is Everything "Certified Fresh"? I stayed in a hotel recently, which means I watched cable television, which means I consumed commercials that I could not skip—and some of these commercials advertised upcoming movie releases. Promo after promo, I noticed an unmistakable pattern: every film was "Certified Fresh" on Rotten Tomatoes, with this seal of approval serving as the ad's climactic selling point. After five days of "Certified Fresh" movie propaganda, I began to grow suspicious.

Topics: data fresh rotten tomatoes tomatometer

Shop Amazon

Hundreds of Thousands of User Chats With AI Chatbot Grok Are Now Public

cnet.com See Full Bio 2025-11-17 14:16:00

Does what's said between you and your AI chat stay between you and your AI chat? Nope. According to a report by Forbes, Elon Musk's AI assistant Grok published more than 370,000 chats on the Grok website. Those URLs, which were not necessarily intended for public consumption by users, were then indexed by search engines and entered the public sphere. It wasn't just chats. Forbes reported that uploaded documents, such as photos, spreadsheets and other documents, were also published. Representa

Topics: ai data grok share users

Shop Amazon

Google finally lets you customize icon shapes on your Pixel’s home screen

androidauthority.com Unknown 2025-11-18 02:32:21

Mishaal Rahman / Android Authority TL;DR You can now customize icon shapes on your Pixel Launcher’s home screen. Android will give you five options. Including the default circle, there’s square, four-sided cookie, seven-sided cookie, and arch. These options are currently only available in the August 2025 Android Canary release, but we expect it won’t be long before they make their way into the QPR2 track. Hot off the heels of the Pixel 10 launch, Google unveiled a new Android Canary release.

Topics: android canary icon options release

Shop Amazon

SimpleIDE

news.ycombinator.com Unknown 2025-11-18 02:15:55

SimpleIDE A lightweight, professional VB.NET IDE built with GTK# 3 on Linux using .NET 8.0. SimpleIDE provides a modern development environment specifically designed for VB.NET projects on Linux systems. Features Code Editor Multi-file tabbed editing with automatic file type detection with automatic file type detection VB.NET syntax highlighting with customizable color themes with customizable color themes Line numbers with click-to-select and drag-to-select functionality with click-to-se

Topics: build ctrl project simpleide vb

Shop Amazon

Guillermo del Toro Explains Why His Frankenstein’s Monster Looks So Unique

gizmodo.com Germain Lussier 2025-11-18 02:00:57

Clearly, we’re all very, very excited about Guillermo del Toro’s Frankenstein, which is coming to theaters on October 17 before arriving on Netflix on November 7. That’s because it’s del Toro, one of our most beloved filmmakers; his cast is incredible; and there has rarely been a better pairing of filmmaker and subject matter. One other thing has us hyped up too, and that’s Frankenstein’s monster. Del Toro loves a monster and, in a new interview, he talks about how he approached his monster diff

Topics: bodies del frankenstein monster toro

Shop Amazon

Android finally lets you control your Pixel phone’s flashlight brightness

androidauthority.com Unknown 2025-11-18 06:36:33

Mishaal Rahman / Android Authority TL;DR Android has finally added native flashlight brightness controls from the Quick Settings panel. Google added support for controlling the flashlight brightness in Android 13, but there was no way to do so from Quick Settings. This feature is available in the latest August 2025 Android Canary release and may arrive in Android 16 QPR2. If you’re looking for something under a couch, bed, or other dimly lit area, then your phone’s built-in flashlight will c

Topics: android brightness flashlight quick release

Shop Amazon

Video Games Weekly: Silksong and Gamescom

engadget.com Unknown 2025-11-18 06:16:35

Welcome to Video Games Weekly on Engadget. Expect a new story every Monday or Tuesday (or Wednesday, whatever), broken into two parts. The first is a space for short essays and ramblings about video game trends and related topics from me, Jess Conditt, a reporter who's covered the industry for more than 13 years. The second contains the video game stories from the past week that you need to know about, including some headlines from outside of Engadget. Please enjoy — and I'll see you next week.

Topics: 2025 advertisement game games microsoft

Shop Amazon

The Pixel 10 Pro has the display upgrade your poor eyes have been begging for

androidauthority.com Unknown 2025-11-18 11:04:10

Rita El Khoury / Android Authority TL;DR The Pixel 10 Pro series introduces a new “sensitive eyes” setting that doubles its display PWM rate to 480Hz. The option is limited to the Pro models, with partial support on the Pro Fold, and none on the base Pixel 10. This is Google’s first significant step toward helping flicker-sensitive users, but it could go further. OLED screens are great for deep blacks and rich colors, but they also have a hidden flicker problem. It’s caused by PWM dimming, w

Topics: 10 google pixel pro sensitive

Shop Amazon

Google’s not done yet, with a new Android Canary release arriving for testers

androidauthority.com Unknown 2025-11-18 11:05:51

Adamya Sharma / Android Authority TL;DR Google started its Android Canary program earlier this summer. So far that’s meant a new Canary release on roughly a monthly cadence. Today Android Canary 2508 has landed for users interested in trying it out. Google, you do know that other days of the week exist, right? Because so far this Wednesday, Google has been getting stuff done like it’s planning to shut down operation at the end of the day ahead of a nice, long four-day weekend. A few hours ba

Topics: android canary google new release

Shop Amazon

Here are all the Android phones that support Qi2

engadget.com Unknown 2025-11-18 10:40:07

The Qi2 wireless charging spec was originally announced back in early 2023. However, Android phone makers haven’t exactly been rushing to add Qi2 support to their latest devices since then. That’s made finding a compatible handset rather difficult, which is a bummer for anyone who has seen the wealth of accessories and power banks that iPhone owners have had access to for several generations. On top of faster charging speeds (up to 25 watts or higher in later revisions), Qi2 dictates the inclus

Topics: 10 advertisement android phones qi2

Shop Amazon

I went hands-on with every Google Pixel 10 phone, and this model stole my heart

zdnet.com Kerry Wan 2025-11-18 11:20:00

Sabrina Ortiz/ZDNET ZDNET's key takeaways Pixel 10 lineup brings welcome changes across all models. Base Pixel 10 suits most, but power users will prefer Pro XL. Pro XL is the sleeper hit with top performance and endurance. Get more in-depth ZDNET tech coverage: Add us as a preferred Google source on Chrome and Chromium browsers. I'll be honest: My expectations going into my Google Pixel 10 demos were on the lower side. I had just wrapped up testing Samsung's $1,900 foldable phone, and Goo

Topics: 10 google pixel pro xl

Shop Amazon

Introduction to AT Protocol

news.ycombinator.com Kuba Suder 2025-11-18 09:13:09

Some time ago I wrote a long blog post I called “Complete guide to Bluesky”, which explains how all the user-facing features of Bluesky work and various tips and tricks. This one is meant to be a bit like a developer version of that – I want to explain in hopefully understandable language what all the pieces of the network architecture are and how they all fit together. I hope this will let you understand better how Bluesky and the underlying protocol works, and how it differs from e.g. the Fedi

Topics: atproto bluesky like pds post

Shop Amazon

Today's NYT Connections: Sports Edition Hints and Answers for Aug. 21, #332

cnet.com See Full Bio 2025-11-18 11:12:00

Looking for the most recent regular Connections answers? Click here for today's Connections hints, as well as our daily answers and hints for The New York Times Mini Crossword, Wordle and Strands puzzles. To solve today's Connections: Sports Edition, focus on the endings of some of the words. That should help you see how they connect. Read on for hints and the answers. Connections: Sports Edition is out of beta after making its debut on Super Bowl Sunday on Feb. 9. That's a sign that the game

Topics: answers connections group sports today

Shop Amazon

Android will finally fix your messy home screen by forcing apps to use themed icons

androidauthority.com Unknown 2025-11-18 16:05:52

Mishaal Rahman / Android Authority TL;DR Android 16 QPR2 Beta 1 offers improved support for themed app icons. For apps that don’t natively offer a monochrome icon, QPR2 lets the system automatically generate one for theming purposes. A new “Create” option also appears for icon theming, which may be related to in-development AI-powered tools. You may have thought today was going to be all about the Pixel 10 and Google’s latest hardware, but that has only been the start of things. No sooner di

Topics: android google icon icons qpr2

Shop Amazon

Google is expanding a key anti-theft feature to make your apps more secure

androidauthority.com Unknown 2025-11-18 16:43:51

Hadlee Simons / Android Authority TL;DR Android’s Identity Check feature is being expanded in the upcoming Android 16 QPR2 update to better protect your sensitive apps. The feature will now enforce biometric-only authentication for any app that uses the biometric prompt, removing the screen lock credential as a fallback. This optional security measure will prevent thieves who know your PIN from accessing sensitive apps when you’re outside of a trusted location. Late last year, Google announc

Topics: android apps biometric check identity

Shop Amazon

Amazon could shake up the tablet market with a higher-end model running real Android

androidauthority.com Unknown 2025-11-18 16:56:10

Amazon TL;DR Amazon is reportedly working on a higher-end Android tablet codenamed Kittyhawk. Sources claim that the company is tossing around the idea of a $400 price tag. It’s said there are still plans to launch some lower-priced tablets that run on Vega OS, but its full slate will eventually be powered by a version of Android. Many of Amazon’s products use a forked version of Android called Fire OS. However, the company has long been trying to separate its products from Google’s operatin

Topics: amazon android os price vega

Shop Amazon

Google Pixel 9 Pro vs. 8 Pro vs. 7 Pro vs. 6 Pro: Here are the biggest differences when upgrading

zdnet.com Maria Diaz 2025-11-18 16:51:00

Kerry Wan/ZDNET Get more in-depth ZDNET tech coverage: Add us as a preferred Google source on Chrome and Chromium browsers. The fastest, most efficient Pixel phone is here, and many current Google phone users are considering upgrading. Google's latest Pixel 10 Pro phone has an upgraded Tensor G5 processor, which makes it more powerful than any Pixel phone ever. If you have an older Pixel, you may wonder if the new flagship is worth the upgrade and why. Also: I'm a longtime iPhone user, but Go

Topics: 10 camera new pixel pro

Shop Amazon

Made by Google 2025: Everything Announced - Pixel 10, Pixel Watch 4, Pixel 10 Pro Fold

cnet.com See Full Bio 2025-11-18 15:35:00

Even though the Pixel 10 leaks and rumors felt as if they arrived in a steady firehose before today's Made by Google event -- compelling the company to release a teaser video pre-announcing the new phone's existence a month ago -- Google still delivered details it somehow managed to keep private until it was ready to share. And that delivery was refreshingly fun for a tech event. The Tonight Show host Jimmy Kimmel led the proceedings in a very late-night talk show format, bringing on several sp

Topics: 10 ai google pixel pro

Shop Amazon

Today's NYT Connections Hints, Answers and Help for Aug. 21, #802

cnet.com See Full Bio 2025-11-18 16:00:09

Looking for the most recent Connections answers? Click here for today's Connections hints, as well as our daily answers and hints for The New York Times Mini Crossword, Wordle, Connections: Sports Edition and Strands puzzles. Are the NYT Connections puzzle editors OK? There were some wacky words in today's puzzle. Read on for clues and today's Connections answers. The Times now has a Connections Bot, like the one for Wordle. Go there after you play to receive a numeric score and to have the pr

Topics: answers connections group today words

Shop Amazon

Group14 lands $463M from SK, Porsche, and others to make silicon anodes for EVs

techcrunch.com Tim De Chant 2025-11-18 16:50:33

Battery materials startup Group14 announced Wednesday it has closed a $463 million funding round to expand its manufacturing footprint, a sign that investors remain confident in the future of electric vehicles. The startup manufactures silicon anode materials, which significantly boost the storage capacity of lithium-ion batteries. Group14 currently operates three factories, two in the U.S. and one in South Korea. Despite headlines about softening demand growth for electric vehicles, the globa

Topics: graphite group14 material round silicon

Shop Amazon

Lock screen widgets are finally live on Pixel phones in Android 16 QPR2

androidauthority.com Unknown 2025-11-18 21:37:05

TL;DR The first beta of Android 16 QPR2 finally brings lock screen widget support to Pixel phones, a feature previously only available on tablets. Users can swipe inward from the right edge of the lock screen to access a dedicated page that can be customized to hold multiple widgets. The feature’s arrival comes amidst the Pixel 10 launch and complements its new Qi2 support to turn the phone into a mini smart display on a stand. It’s a big day for Pixel fans. On the heels of the Pixel 10 serie

Topics: android lock page screen widgets

Shop Amazon

Show HN: Bizcardz.ai – Custom metal business cards

news.ycombinator.com Unknown 2025-11-18 18:54:22

bizcardz.ai is a website where you design business cards which are converted to KiCad PCB schematics which can be manufactured (using metals) by companies such as Elecrow and PCBWay Config In prod Groq (not Grok) is used because they are about 40% faster than openai & gemini You may choose to skip use of Groq by setting env openai_as_groq=true OpenAI - svg guidance - gpt-4o Gemini - svg ranking - gemini-2.0-flash Replicate - image generation - ideogram-v2a-turbo Groq - svg generation - ll

Topics: bizcardz cli gemini groq use

Shop Amazon

Introduction to Bluesky's AT Protocol

news.ycombinator.com Kuba Suder 2025-11-18 21:13:09

Some time ago I wrote a long blog post I called “Complete guide to Bluesky”, which explains how all the user-facing features of Bluesky work and various tips and tricks. This one is meant to be a bit like a developer version of that – I want to explain in hopefully understandable language what all the pieces of the network architecture are and how they all fit together. I hope this will let you understand better how Bluesky and the underlying protocol works, and how it differs from e.g. the Fedi

Topics: atproto bluesky like pds post

Shop Amazon

10 Creepy Tales to Stream for Free on Tubi

gizmodo.com Cheryl Eddy 2025-11-18 21:15:05

The sheer amount of content on free streamer Tubi is both exciting and a bit intimidating. However, if weird horror is what you seek, you need only dig past the overstuffed landing page to find some surprisingly intriguing selections. Here are 10 picks we recommend to get you started. Eden Lake Writer-director James Watkins’ Speak No Evil remake might’ve been a bust, but his 2008 directorial debut starring Kelly Reilly (Yellowstone), Michael Fassbender (X-Men), and Jack O’Connell (Sinners) is

Topics: horror original tubi watch world

Shop Amazon

Pixel 10 Pro vs Galaxy S25 Ultra: I know which one I’d get

androidauthority.com Unknown 2025-11-18 23:00:43

The Samsung Galaxy S25 Ultra is the smartphone equivalent of an all-inclusive holiday and costs about as much. Packing a massive screen, an impressive camera array, and plenty of push for even the pickiest power user, it’s not a smartphone you simply settle on. But, flagship devices only have a brief time in the sun before something new and potentially better comes along. The latest pretender is from Google and is in the form of the Pixel 10 Pro. Which would you buy: Pixel 10 Pro or Galaxy S25

Topics: 10 galaxy pixel pro ultra

Shop Amazon

The Pixel 10 series is here, and this is the one I’d get

androidauthority.com Unknown 2025-11-18 23:00:58

Google’s Pixel 10 series has inspired various views from me and my colleagues, even weeks before its official launch. There’s little doubt that the company smashed the copy-paste shortcut when designing the Pixel 9 line successor, and for some, this similar aesthetic just isn’t good enough. However, you’ll notice a few standout additions and improvements if you peer deeper into the Pixel 10 trio’s specs sheets and feature files. Which Pixel 10 phone would you buy? 98 votes Pixel 10 30 % Pixel 1

Topics: 10 google pixel pro xl

Shop Amazon

Google releases the first beta of Android 16 QPR2, previewing its big December update

androidauthority.com Unknown 2025-11-19 02:33:24

Mishaal Rahman / Android Authority TL;DR Google has begun beta testing Android 16 QPR2, a quarterly update that will introduce new developer-facing APIs as well as user-facing features. This is part of Google’s new accelerated release schedule to get new Android and AI features to developers faster than the traditional yearly cycle. Users currently on the QPR1 beta have a short window to opt-out and move to the stable channel without wiping their device before the QPR2 update is installed. A

Topics: 16 android beta new qpr2

Shop Amazon

Here’s all the new features for Pixels in Android 16 QPR2 Beta 1

androidauthority.com Unknown 2025-11-19 02:54:00

Mishaal Rahman / Android Authority Google released the first beta of Android 16’s second quarterly platform release today. We installed Android 16 QPR2 Beta 1 to find out what’s new, so read on if you’re trying to decide whether it’s worth installing on your own device or you simply want to know what’s coming in the future! Don’t want to miss the best from Android Authority? Set us as a preferred source in Google Search to support us and make sure you never miss our latest exclusive reports, e

Topics: android beta device google new

Shop Amazon

The Rogue Prince of Persia is officially out for PC and consoles

engadget.com Unknown 2025-11-19 02:46:21

Ubisoft and Evil Empire's long-awaited The Rogue Prince of Persia is finally out and available for purchase. It's been in early access on Steam for over a year and the developers have made plenty of changes during that time to get the game ready for a general launch. It's available for PC via Steam and the Epic Games Store, Xbox Series X/S and PS5. It's also playable in the cloud by using the Xbox Cloud service, Ubisoft+ and Amazon Luna. Nintendo fans will have to wait a bit longer. The game's

Topics: access cloud empire game roguelike

Shop Amazon

Latest Tech News

Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover

A statistical analysis of Rotten Tomatoes

Hundreds of Thousands of User Chats With AI Chatbot Grok Are Now Public

Google finally lets you customize icon shapes on your Pixel’s home screen

SimpleIDE

Guillermo del Toro Explains Why His Frankenstein’s Monster Looks So Unique

Android finally lets you control your Pixel phone’s flashlight brightness

Video Games Weekly: Silksong and Gamescom

The Pixel 10 Pro has the display upgrade your poor eyes have been begging for

Google’s not done yet, with a new Android Canary release arriving for testers

Here are all the Android phones that support Qi2

I went hands-on with every Google Pixel 10 phone, and this model stole my heart

Introduction to AT Protocol

Today's NYT Connections: Sports Edition Hints and Answers for Aug. 21, #332

Android will finally fix your messy home screen by forcing apps to use themed icons

Google is expanding a key anti-theft feature to make your apps more secure

Amazon could shake up the tablet market with a higher-end model running real Android

Google Pixel 9 Pro vs. 8 Pro vs. 7 Pro vs. 6 Pro: Here are the biggest differences when upgrading

Made by Google 2025: Everything Announced - Pixel 10, Pixel Watch 4, Pixel 10 Pro Fold

Today's NYT Connections Hints, Answers and Help for Aug. 21, #802

Group14 lands $463M from SK, Porsche, and others to make silicon anodes for EVs

Lock screen widgets are finally live on Pixel phones in Android 16 QPR2

Show HN: Bizcardz.ai – Custom metal business cards

Introduction to Bluesky's AT Protocol

10 Creepy Tales to Stream for Free on Tubi

Pixel 10 Pro vs Galaxy S25 Ultra: I know which one I’d get

The Pixel 10 series is here, and this is the one I’d get

Google releases the first beta of Android 16 QPR2, previewing its big December update

Here’s all the new features for Pixels in Android 16 QPR2 Beta 1

The Rogue Prince of Persia is officially out for PC and consoles

About GoKawiil

Privacy

Advertising

Latest Tech News

Trending Topics

Hot Now

Popular

Emerging

About GoKawiil

Privacy

Advertising