GoKawiil - Latest Tech News & Aggregated Headlines

Peano arithmetic is enough, because Peano arithmetic encodes computation

news.ycombinator.com Unknown 2025-09-14 09:10:38

$\begingroup$ PA is enough, because PA can encode computation. This is longer than I expected, and was made longer still by some browser crashes. But I'd been idly thinking of writing these ideas up. I hadn't for these reasons. It is a lot of work. What I have to say is obvious to logicians, and they would consider the detour into programming to only be a distraction. Computer programmers who can appreciate the programming detour, are mostly not that interested in logic. But this question hi

Topics: binary induction list pa proof

Shop Amazon

$100 Hamburger

news.ycombinator.com Unknown 2025-09-15 01:41:14

Aviation slang $100 hamburger ("hundred-dollar hamburger") is aviation slang for the excuse a general aviation pilot might use to fly.[1][2] Background [ edit ] A $100 hamburger trip typically involves flying a short distance (less than two hours), eating at an airport restaurant, and then flying home. "$100" originally referred to the approximate cost of renting or operating a light general aviation aircraft, such as a Cessna 172, for the time it took to fly round-trip to a nearby airport. H

Topics: 100 aviation fly hamburger run

Shop Amazon

SIMD-friendly algorithms for substring searching

news.ycombinator.com Wojciech Muła 2025-09-15 01:31:18

Introduction Popular programming languages provide methods or functions which locate a substring in a given string. In C it is the function strstr , the C++ class std::string has the method find , Python's string has methods pos and index , and so on, so forth. All these APIs were designed for one-shot searches. During past decades several algorithms to solve this problem were designed, an excellent page by Christian Charras and Thierry Lecroq lists most of them (if not all). Basically these al

Topics: algorithms assumption based designed string

Shop Amazon

Tesla faces protests in Austin over Musk's robotaxi plans

cnbc.com Lora Kolodny 2025-09-15 04:40:29

With Elon Musk looking to June 22 as his tentative start date for Tesla's pilot robotaxi service in Austin, Texas, protesters are voicing their opposition. Public safety advocates and political protesters, upset with Musk's work with the Trump administration, joined together in downtown Austin on Thursday to express their concerns about the robotaxi launch. Members of the Dawn Project, Tesla Takedown and Resist Austin say that Tesla's partially automated driving systems have safety problems. T

Topics: austin fsd musk safety tesla

Shop Amazon

Just add humans: Oxford medical study underscores the missing link in chatbot testing

venturebeat.com Nick Mokey 2025-09-15 03:34:19

Join the event trusted by enterprise leaders for nearly two decades. VB Transform brings together the people building real enterprise AI strategy. Learn more Headlines have been blaring it for years: Large language models (LLMs) can not only pass medical licensing exams but also outperform humans. GPT-4 could correctly answer U.S. medical exam licensing questions 90% of the time, even in the prehistoric AI days of 2023. Since then, LLMs have gone on to best the residents taking those exams and

Topics: humans llm llms medical participants

Shop Amazon

UK unis to cough up to £10M on Java to keep Oracle off their backs

news.ycombinator.com Lindsay Clark 2025-09-15 05:57:50

UK universities and colleges have signed a framework worth up to £9.86 million ($13.33 million) with Oracle to use its controversial Java SE Universal Subscription model, in exchange for a "waiver of historic fees due for any institutions who have used Oracle Java since 2023." Jisc, a membership organization that runs procurement for higher and further education establishments in the UK, said it had signed an agreement to purchase the new subscription licenses after consultation with members.

Topics: java licensing oracle said subscription

Shop Amazon

The Tech Job Meltdown

news.ycombinator.com Professor Axelrod 2025-09-15 05:22:54

He wrote me a prescription; he said “You are depressed I'm glad you came to see me to get this off your chest Come back and see me later, next patient please Send in another victim of industrial disease” Industrial Disease, Dire Straits The Google campus doesn’t look as friendly as it used to. (this ia actually from Bartertown in Mad Max 3 - you can see Thunderdome in the middle) Since the start of 2023, more than half-a-million tech workers have been laid off. This isn’t the impact of COV

Topics: companies costs section tax tech

Shop Amazon

U.S. Army bringing in big tech executives as lieutenant colonels

news.ycombinator.com Patty Nieberg 2025-09-15 07:06:43

Four senior executives of tech giants like Meta and Palantir are being sworn into the Army Reserve as direct-commissioned officers at the unusually high rank of lieutenant colonel as part of a new program to recruit private-sector experts to speed up tech adoption. The Army calls the program to recruit Silicon Valley executives Detachment 201: The Army’s Executive Innovation Corps. One of the executives, Andrew Bosworth of Meta (formerly Facebook) posted on X that the “201” monicker was a nod t

Topics: army executives meta officers tech

Shop Amazon

This Android notification exploit could trick you into opening some very unfriendly links (Updated)

androidauthority.com Unknown 2025-09-15 10:19:58

Joe Maring / Android Authority TL;DR A bug in Android notifications can cause the “Open link” button to open a different link than the one displayed. Hidden characters in the messages can confuse the system, causing it to open a link that only makes up a part of the one in the displayed notification. Until Google issues a fix, it’s safest to avoid using the “Open link” button and open links manually in the app. Update, June 13, 2025 (5:19 PM ET): Google has reached out to Android Authority w

Topics: android link links notification open

Shop Amazon

Anker SOLIX EverFrost 2 40L electric cooler drops to its all-time low price

androidauthority.com Unknown 2025-09-15 11:59:36

Edgar Cervantes / Android Authority I have actually been using the Anker SOLIX EverFrost 2 40L electric cooler for some time, and I love it. I know it’s a bit pricey, but discounts come from time to time. Right now, you can get it for its record-low price, saving you $200. Buy the Anker SOLIX EverFrost 2 40L electric cooler for just $699.99 ($200 off) This offer is available from Amazon. It is a “limited time deal,” which means the deal should end relatively soon. This also makes it an automat

Topics: cooler deal electric freezer time

Shop Amazon

Whatever Happened to Sandboxfs?

news.ycombinator.com Julio Merino 2025-09-13 05:37:09

Back in 2017–2020, while I was on the Blaze team at Google, I took on a 20% project that turned into a bit of an obsession: sandboxfs. Born out of my work supporting iOS development, it was my attempt to solve a persistent pain point that frustrated both internal teams and external users alike: Bazel’s poor sandboxing performance on macOS. sandboxfs was a user-space file system designed to efficiently create virtual file hierarchies backed by real files—a faster alternative to the “symlink fore

Topics: action bazel sandboxfs sandboxing symlink

Shop Amazon

We found a germ that 'feeds' on hospital plastic – new study

news.ycombinator.com Ronan Mccarthy 2025-09-15 15:01:00

Plastic pollution is one of the defining environmental challenges of our time – and some of nature’s tiniest organisms may offer a surprising way out. In recent years, microbiologists have discovered bacteria capable of breaking down various types of plastic, hinting at a more sustainable path forward. These “plastic-eating” microbes could one day help shrink the mountains of waste clogging landfills and oceans. But they are not always a perfect fix. In the wrong environment, they could cause

Topics: aeruginosa bacteria break hospitals plastic

Shop Amazon

I convinced HP's board to buy Palm and watched them kill it

news.ycombinator.com Phil Mckinney 2025-09-15 12:03:30

I've never shared this story publicly before—how I convinced HP's board to acquire Palm for $1.2 billion, then watched as they destroyed it while I was confined to bed recovering from surgery. This isn't just another tech failure analysis. I was the HP Chief Technology Officer who led the technical due diligence on Palm. I presented to Mark Hurd and the HP board, making the case for moving forward with the acquisition. I believed we were buying the future of mobile computing. Then I watched it

Topics: hp innovation technology thinking webos

Shop Amazon

Today's NYT Connections: Sports Edition Hints and Answers for June 14, #264

cnet.com See Full Bio 2025-09-15 15:24: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. Today's Connections: Sports Edition has a whopper of a purple category, but since the other three categories aren't that tough, it kind of fills itself in. Read on for hints and the answers. Connections: Sports Edition is out of beta now, making its debut on Super Bowl Sunday, Feb. 9. That's

Topics: answers connections group sports today

Shop Amazon

Archer drops about 15% on $850 million share sale following Trump air taxi pilot program

cnbc.com Samantha Subin 2025-09-15 19:00:33

Midnight, an all-electric aircraft from company Archer Aviation, is seen at the Salinas Municipal Airport in Salinas, California, on Aug. 2, 2023. Archer Aviation 's stock dropped about 15% on Friday after the air taxi maker said it sold $850 million worth of shares. The electric vertical takeoff and landing vehicle, or eVTOL, company said Thursday it plans to use the financing to support new infrastructure and the rollout of an artificial intelligence-based aviation software platform. The mon

Topics: air archer aviation evtol said

Shop Amazon

The case for embedding audit trails in AI systems before scaling

venturebeat.com Emilia David 2025-09-15 19:13:09

Join the event trusted by enterprise leaders for nearly two decades. VB Transform brings together the people building real enterprise AI strategy. Learn more Editor’s note: Emilia will lead an editorial roundtable on this topic at VB Transform this month. Register today. Orchestration frameworks for AI services serve multiple functions for enterprises. They not only set out how applications or agents flow together, but they should also let administrators manage workflows and agents and audit t

Topics: agents ai enterprises orchestration systems

Shop Amazon

Google Clock starts drip-feeding its big Material 3 Expressive makeover

androidauthority.com Unknown 2025-09-15 19:57:58

Hadlee Simons / Android Authority TL;DR Google Clock v7.14 brings small but noticeable visual updates to the alarm and settings toggles. The refreshed toggle design is part of Google’s shift toward Material 3 Expressive. A full redesign is expected with version 8 of the Clock app. Google’s Clock app is still waiting on its big Material 3 Expressive makeover, but a more minor update is already starting to move the visuals in that direction. Version 7.14 of the app introduces some subtle UI tw

Topics: app clock google redesign settings

Shop Amazon

AirTag helps London couple recover stolen car after police refuse to act

9to5mac.com Marcus Mendes 2025-09-15 19:55:08

A London couple was able to locate and reclaim their Jaguar E-Pace this week using Apple’s AirTag, after local police chose not to take immediate action, even with real-time location data in hand. As reported by BBC News, the £46,000 stolen vehicle was taken from outside the couple’s home in Brook Green, Hammersmith, on June 3. The car had an AirTag hidden inside, which allowed the owners to track its precise location to a nearby neighborhood in Chiswick. The couple contacted the Metropolitan

Topics: airtag car couple location police

Shop Amazon

As Trump Comes for Your Social Media, It’s Time You Consider What’s Worth Sharing

gizmodo.com Kyle Barr 2025-09-15 16:11:22

Agents of the Trump administration are increasingly using social media posts to crack down on immigrants, tourists, and even some U.S. citizens. Last month, a leaked document showed the State Department had crafted a new standard for reviewing the social media accounts of any foreign students planning to attend or even visit Harvard University. Legal immigrants may have benefits denied based on social media activity, and people expressing opinions or acting contrary to Trump are being detained a

Topics: block media party settings social

Shop Amazon

Today's NYT Connections Hints, Answers and Help for June 14, #734

cnet.com See Full Bio 2025-09-15 19:06:00

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. Dog-lovers, today's NYT Connections puzzle is barking out your name. Two dog-related categories should make it easy for fans of our furry friends. Read on for clues and today's Connections answers. The Times now has a Connections Bot, like the one for Wordle. Go there aft

Topics: answers connections group today words

Shop Amazon

Archer drops 15% on $850 million share sale following Trump air taxi pilot program

cnbc.com Samantha Subin 2025-09-15 23:13:35

Midnight, an all-electric aircraft from company Archer Aviation, is seen at the Salinas Municipal Airport in Salinas, California, on Aug. 2, 2023. Archer Aviation 's stock dropped about 15% on Friday after the air taxi maker said it sold $850 million worth of shares. The electric vertical takeoff and landing vehicle, or eVTOL, company said Thursday it plans to use the financing to support new infrastructure and the rollout of an artificial intelligence-based aviation software platform. The mon

Topics: air archer aviation evtol said

Shop Amazon

The Internet Archive modernizes its GeoCities GIF search engine

engadget.com Unknown 2025-09-15 23:23:15

The Internet Archive made it easier to search for '90s-era GIFs. GifCities contains millions of animations from the decade of flannel shirts and Soup Nazis. The GIFs were pulled from old GeoCities webpages, which (mostly) bit the dust in 2009. The new version of GifCities is much easier to search. You can now search semantically, based on the animation's content. In other words, it's much more likely to bring up the topic or scene you're looking for by describing it. In GifCities' old version,

Topics: archive gifcities internet search version

Shop Amazon

Thiings

news.ycombinator.com Unknown 2025-09-12 19:30:23

Can't find what you're looking for? Request a thiing that isn't in the collection. Request a Thiing

Topics: collection isn looking request thiing

Shop Amazon

The spiritual sequel to the Pebble smartwatch is on track to ship in July

engadget.com Unknown 2025-09-16 03:20:14

Eric Migicovsky, the creator of Pebble who's reviving the e-paper smartwatch with a new company called Core Devices, shared that the first new smartwatches are coming next month. The Core 2 Duo watch is on track to ship to pre-order customers in July and the pricier Core Time 2 is still on track to launch this year. The $149 Core 2 Duo is "near mass production" according to Migicovsky, and should land in the hands of all pre-order customers during July or August. If you pre-ordered, you'll be a

Topics: core migicovsky new pebble time

Shop Amazon

I Convinced HP's Board to Buy Palm for $1.2B. I Watched Them Kill It in 49 Days

news.ycombinator.com Phil Mckinney 2025-09-16 03:03:30

I've never shared this story publicly before—how I convinced HP's board to acquire Palm for $1.2 billion, then watched as they destroyed it while I was confined to bed recovering from surgery. This isn't just another tech failure analysis. I was the HP Chief Technology Officer who led the technical due diligence on Palm. I presented to Mark Hurd and the HP board, making the case for moving forward with the acquisition. I believed we were buying the future of mobile computing. Then I watched it

Topics: hp innovation technology thinking webos

Shop Amazon

Play FBC: Firebreak, Deus Ex and More on PlayStation Plus Soon

cnet.com See Full Bio 2025-09-16 03:36:20

Remedy Entertainment released the mind-bending action game Control in 2019. And on June 17, PlayStation Plus Extra and Premium subscribers can return to the Federal Bureau of Control in the wacky, first-person co-op shooter FBC: Firebreak. PlayStation Plus is Sony's version of Xbox Game Pass, and it offers subscribers a large and constantly expanding library of games. There are three PlayStation Plus tiers -- Essential ($10 a month), Extra ($15 a month) and Premium ($18 a month) -- and each giv

Topics: game games playstation plus subscribers

Shop Amazon

Trump’s FTC may impose merger condition that forbids advertising boycotts

arstechnica.com Unknown 2025-09-16 03:11:56

FTC chair alleged “serious risk” from ad boycotts After Musk's purchase of Twitter, the social network lost advertisers for various reasons, including changes to content moderation and an incident in which Musk posted a favorable response to an antisemitic tweet and then told concerned advertisers to "go fuck yourself." FTC Chairman Andrew Ferguson said at a conference in April that "the risk of an advertiser boycott is a pretty serious risk to the free exchange of ideas." "If advertisers get

Topics: advertisers advertising boycott brands ftc

Shop Amazon

Computing’s Top 30: Sukanya Meher

computer.org Jasmine Ang 2025-09-16 07:00:50

Sukanya S. Meher loves a good intersection. Especially the one between theory and application, which she first seriously explored in the realm of superconductor electronics. Today, Meher works in electronic design automation (EDA), bringing with her a unique perspective on circuit design, modeling, simulation, and tool development. This EDA work is also giving her the chance to explore a new intersection: that between technology design and customer success. As an AMS staff engineer at Synopsys

Topics: circuits design ieee superconducting women

Shop Amazon

Epic Games sues Fortnite cheat developer for selling wallhack and auto-aim tools

techspot.com Alfonso Maruccia 2025-09-16 07:44:00

Editor's take: Multiplayer gaming is about fair fights, not shortcuts. But cheaters keep buying their wins, ruining it for everyone else. Epic Games is cracking down hard because cheating isn't just unfair – it's a threat to the whole game. Sorry, losers. Cheating doesn't pay. Epic Games recently announced a new lawsuit targeting developers of Fortnite cheating tools. The company is going after an individual who created software that lets players see through walls and use auto-aim. Epic shared

Topics: cheating epic fortnite players software

Shop Amazon

There’s another leak on the ISS, but NASA is not saying much about it

arstechnica.com Unknown 2025-09-16 07:12:49

There's another leak on the International Space Station, and NASA has already delayed one crew launch to the orbiting laboratory as a result. Beyond that, the space agency is not offering much information about the unfolding situation in orbit. However, multiple sources have confirmed to Ars that the leak is a serious concern for the space agency as it deals with hardware that is approaching three decades in orbit. To understand the current situation, it is important to review past leaks on th

Topics: leak module prk space station

Shop Amazon

Latest Tech News

Peano arithmetic is enough, because Peano arithmetic encodes computation

$100 Hamburger

SIMD-friendly algorithms for substring searching

Tesla faces protests in Austin over Musk's robotaxi plans

Just add humans: Oxford medical study underscores the missing link in chatbot testing

UK unis to cough up to £10M on Java to keep Oracle off their backs

The Tech Job Meltdown

U.S. Army bringing in big tech executives as lieutenant colonels

This Android notification exploit could trick you into opening some very unfriendly links (Updated)

Anker SOLIX EverFrost 2 40L electric cooler drops to its all-time low price

Whatever Happened to Sandboxfs?

We found a germ that 'feeds' on hospital plastic – new study

I convinced HP's board to buy Palm and watched them kill it

Today's NYT Connections: Sports Edition Hints and Answers for June 14, #264

Archer drops about 15% on $850 million share sale following Trump air taxi pilot program

The case for embedding audit trails in AI systems before scaling

Google Clock starts drip-feeding its big Material 3 Expressive makeover

AirTag helps London couple recover stolen car after police refuse to act

As Trump Comes for Your Social Media, It’s Time You Consider What’s Worth Sharing

Today's NYT Connections Hints, Answers and Help for June 14, #734

Archer drops 15% on $850 million share sale following Trump air taxi pilot program

The Internet Archive modernizes its GeoCities GIF search engine

Thiings

The spiritual sequel to the Pebble smartwatch is on track to ship in July

I Convinced HP's Board to Buy Palm for $1.2B. I Watched Them Kill It in 49 Days

Play FBC: Firebreak, Deus Ex and More on PlayStation Plus Soon

Trump’s FTC may impose merger condition that forbids advertising boycotts

Computing’s Top 30: Sukanya Meher

Epic Games sues Fortnite cheat developer for selling wallhack and auto-aim tools

There’s another leak on the ISS, but NASA is not saying much about it

About GoKawiil

Privacy

Advertising

Latest Tech News

Trending Topics

Hot Now

Popular

Emerging

About GoKawiil

Privacy

Advertising