Published on: 2025-05-31 07:14:00
This draft was released March 15, 2006. Please email comments to bret worrydream.com. You can also download the PDF. Magic Ink Information Software and the Graphical Interface by Bret Victor Of software and sorcery A computational process is indeed much like a sorcerer’s idea of a spirit. It cannot be seen or touched. It is not composed of matter at all. However, it is very real. It can perform intellectual work. It can answer questions. It can affect the world by disbursing money at a bank
Keywords: design graphic information software user
Find related items on AmazonPublished on: 2025-06-02 20:35:58
It has become a common refrain during Google's antitrust saga: What happened to "don't be evil?" Google's unofficial motto has haunted it as it has grown ever larger, but a shareholder lawsuit sought to rein in some of the company's excesses. And it might be working. The plaintiffs in the case have reached a settlement with Google parent company Alphabet, which will spend a boatload of cash on "comprehensive" reforms. The goal is to steer Google away from the kind of anticompetitive practices th
Keywords: alphabet antitrust company google reforms
Find related items on AmazonPublished on: 2025-06-03 07:44:56
is a senior editor following news across tech, culture, policy, and entertainment. He joined The Verge in 2021 after several years covering news at Engadget. TikTok is back online after a brief outage last night. Many people started reporting problems with the platform just after 11PM ET, noting that while TikTok wasn’t completely offline, it was definitely dealing with some kind of technical issues that impacted users trying to access the service and view video comments. Based on reports from
Keywords: accounts issues outage service tiktok
Find related items on AmazonPublished on: 2025-06-03 03:29:30
By Stacey Tadlock MURFREESBORO, Tenn. — Middle Tennessee State University’s Center for Popular Music, housed within the College of Media and Entertainment, is about to become the epicenter for punk archiving and exploration. The world’s largest collection of punk records — the iconic Maximum Rocknroll, or MRR, archive — is relocating from the Bay Area in California to Murfreesboro, Tennessee. The archive includes an estimated 60,000 vinyl records, photos, zines and documents spanning decades
Keywords: center collection music popular punk
Find related items on AmazonPublished on: 2025-06-03 02:44:37
A critical component of healthcare, blood transfusions play a vital role in saving lives around the globe every day. Maintaining an adequate blood supply, though, is no easy task, particularly in low- and middle-income countries (LMIC). The demand for O–negative blood — the universal donor type — often exceeds supply and donations have a limited shelf life. Looking to address the issue are a group of Japanese scientists led by Hiromi Sakai at Nara Medical University. They’ve developed a new type
Keywords: artificial blood cells red type
Find related items on AmazonPublished on: 2025-06-03 02:50:15
Some features mentioned below have been sunset since this paper was originally written. Visit our docs to learn more. At MongoDB, we design a lot of distributed algorithms—algorithms with lots of concurrency and complexity, and dire consequences for mistakes. We formally specify some of the scariest algorithms in TLA+, to check that they behave correctly in every scenario. But how do we know that our implementations conform to our specs? And how do we keep them in sync as the implementation evo
Keywords: checking implementation spec tla trace
Find related items on AmazonPublished on: 2025-06-03 05:50: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. Connections: Sports Edition might be tough today. The yellow and green aren't too difficult, but then you're faced with eight names, and you've got to determine their connections. Read on for hints and the answers. Connections: Sports Edition is out of beta now, making its debut on Super Bowl
Keywords: answers connections group sports today
Find related items on AmazonPublished on: 2025-06-03 06:21:00
Apple's next Mac operating system is called macOS Tahoe, for Lake Tahoe, according to Bloomberg's Mark Gurman. The new MacOS, set to be unveiled at the Worldwide Developers Conference on June 9, will reportedly stick with Apple's convention since 2013 of naming the operating system version after scenic California nature spots such as Big Sur and Sequoia. A representative for Apple didn't immediately respond to a request for comment. The version number will also change, jumping from what would
Keywords: apple lake macos operating tahoe
Find related items on AmazonPublished on: 2025-06-03 08:44:22
is a senior editor following news across tech, culture, policy, and entertainment. He joined The Verge in 2021 after several years covering news at Engadget. Just after 11PM ET, many people started reporting problems with TikTok, which isn’t completely offline, but definitely has been dealing with some kind of outage. Downdetector listed 44,000 reports at our last check, and the issue isn’t fixed yet. Based on reports from Reddit, Twitter, Bluesky, and looking at our own devices, at the moment
Keywords: accounts isn news pages tiktok
Find related items on AmazonPublished on: 2025-06-03 09:04:45
The British jet engine that failed in the 'Valley of Death' 56 minutes ago Share Save Michael Dempsey Technology Reporter Share Save Reaction Engines Reaction Engines hoped one day its tech would power a reusable space plane "It was going great until it fell apart." Richard Varvill recalls the emotional shock that hits home when a high-tech venture goes off the rails. The former chief technology officer speaks ruefully about his long career trying to bring a revolutionary aerospace engine to
Keywords: did engines reaction technology varvill
Find related items on AmazonPublished on: 2025-06-03 09:37:19
Outdoor apparel retailer The North Face is warning customers that their personal information was stolen in credential stuffing attacks targeting the company's website in April. The North Face is a major American outdoor apparel and equipment brand owned by VF Corporation that also controls Vans, Timberland, and Dickies. The North Face generates over $3 billion in annual revenue, making it one of the largest outdoor brands in the world, with its e-commerce accounting for approximately 42% of it
Keywords: credential customers face north stuffing
Find related items on AmazonPublished on: 2025-06-03 13:31:49
Luxury fashion brand Cartier is warning customers it suffered a data breach that exposed customers' personal information after its systems were compromised. In notification letters sent today and shared by recipients on social media, Cartier revealed that hackers breached its systems and stole a limited amount of customer information. "We are writing to inform you that an unauthorized-party gained temporary access to our system and obtained limited client information," Cartier stated in the da
Keywords: breach cartier company data information
Find related items on AmazonPublished on: 2025-06-03 03:58:10
i wish to make something. it should be more accessible than ever and the next thing but only the tech giants seem to capture most of the conversation.
Keywords: accessible capture conversation giants make
Find related items on AmazonPublished on: 2025-06-03 13:03:50
Introduction We recently made available some teaching material that we have used to teach program verification to scientists and engineers at Amazon. It composed of lecture slides and exercises with solution. If you want to learn about Dafny and program verification, you can jump right in. You will learn how to program in Dafny, how to do use Dafny as a proof assistant, and finally how to verify programs. If instead you are more interested in teaching program verification, you may find the orga
Keywords: dafny program proof proofs verification
Find related items on AmazonPublished on: 2025-06-03 12:50:15
Some features mentioned below have been sunset since this paper was originally written. Visit our docs to learn more. At MongoDB, we design a lot of distributed algorithms—algorithms with lots of concurrency and complexity, and dire consequences for mistakes. We formally specify some of the scariest algorithms in TLA+, to check that they behave correctly in every scenario. But how do we know that our implementations conform to our specs? And how do we keep them in sync as the implementation evo
Keywords: checking implementation spec tla trace
Find related items on AmazonPublished on: 2025-06-03 10:55:00
Getty Images/Zooey Liao/CNET Millennials and Gen Zers planning on Social Security to fund their retirement may want to reconsider. For years, there's been talk about the Social Security fund running out of money. The government program could see its funds depleted sooner if President Donald Trump cuts Social Security taxes. As a personal finance expert who saved enough to retire comfortably at 40, I've worked with dozens of clients to help them calculate how much they need to save now to affo
Keywords: money pay retirement security social
Find related items on AmazonPublished on: 2025-06-03 17:44:37
A critical component of healthcare, blood transfusions play a vital role in saving lives around the globe every day. Maintaining an adequate blood supply, though, is no easy task, particularly in low- and middle-income countries (LMIC). The demand for O–negative blood — the universal donor type — often exceeds supply and donations have a limited shelf life. Looking to address the issue are a group of Japanese scientists led by Hiromi Sakai at Nara Medical University. They’ve developed a new type
Keywords: artificial blood cells red type
Find related items on AmazonPublished on: 2025-06-03 17:18:48
If you’re looking for the best value on portable power solutions, there’s a unique opportunity on Amazon right now that’s hard to ignore: The Anker Solix C1000 portable power station is a top pick for anyone needing reliable backup power for home, outdoor adventures, or emergencies. But the catch: although the power station itself retails at $799, Amazon is having a flash sale on the bundle containing the Solix C1000 and the standard water-resistant carrying case for just $549. That’s an astoni
Keywords: amazon c1000 power solix station
Find related items on AmazonPublished on: 2025-06-03 17:13:44
In Brief DreamWorks co-founder Jeffrey Katzenberg’s venture fund WndrCo co-led a $15.5 million Series A round for Creatify, an AI video ad platform. Creatify’s AdMax platform uses AI to quickly generate dozens of video advertisements, which are geared toward social media marketing — AdMax analyzes high-performing social video campaigns on apps like TikTok and Instagram to shape its output. Tech industry titans have been bullish on AI advertising. Meta CEO Mark Zuckerberg recently spoke about
Keywords: advertising ai founder platform video
Find related items on AmazonPublished on: 2025-06-03 21:47:24
Robinhood has officially closed its $200 million acquisition of Bitstamp, bringing one of the world's longest-running cryptocurrency exchanges into its fold and signaling a strategic shift beyond retail trading and into the world of institutions. The all-cash deal, first announced last year, gives Robinhood an immediate international footprint — including more than 50 active crypto licenses across Europe, the UK, and Asia — as well as an established institutional client base, something the reta
Keywords: crypto institutional retail robinhood trading
Find related items on AmazonPublished on: 2025-06-03 21:07:51
Game developer and publisher IO Interactive is participating in Summer Games Fest 2025 with its own showcase. The presentation will take place on Friday, June 6 at 9PM ET/6PM PT. You can watch the IOI Showcase live on multiple platforms: Twitch , YouTube and TikTok . We've also got the YouYube stream embedded above, so that you can watch here while keeping up with our coverage of all the other developments happening during this year's packed Summer Games Fest lineup. IO Interactive parlayed its
Keywords: game hitman interactive io showcase
Find related items on AmazonPublished on: 2025-06-03 21:30:36
You always hear about frustrated filmmakers who didn’t have enough time or money to make the movie they wanted to. You rarely, if ever, hear the opposite: a studio giving filmmakers more time and more money to make a movie even better than it already was. But that’s what happened with Ballerina, the latest film in the John Wick franchise. Ballerina (which is officially titled From the World of John Wick: Ballerina) was first set to hit theaters last year. But, after the success of John Wick: Ch
Keywords: action just like really think
Find related items on AmazonPublished on: 2025-06-03 21:00:04
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. Today's Connections puzzle has a fun mix of categories. The green category is a bit weird, with one answer that I know the meaning of, but haven't heard anyone use in forever. Read on for clues and today's Connections answers. The Times now has a Connections Bot, like the
Keywords: answers connections group today words
Find related items on AmazonPublished on: 2025-06-04 01:48:16
Elon Musk's brain tech startup Neuralink has closed a $650 million funding round, the company announced on Monday. ARK Invest, Founders Fund, Sequoia Capital, Thrive Capital, Lightspeed Venture Partners and other firms participated in the round, according to a release. Neuralink said the fresh capital will help the company bring its technology to more patients and develop new devices that "deepen the connection between biological and artificial intelligence." Neuralink is building a brain-comp
Keywords: brain capital company neuralink patients
Find related items on AmazonPublished on: 2025-06-03 23:26:02
Back in 2020, Andy Bell introduced me to the idea of grouping attribute values. You've probably seen something like this before: HTML < article class ="card-section-background1-colorRed" ></ article > A single class over-encumbered by all sorts of things. The more modular way to write this would be: HTML < article class ="card section box bg-base color-primary" ></ article > That's pretty good! Each one of those classes can have its own bit of CSS and everyone is happy. But… sometimes it is
Keywords: article card class html primary
Find related items on AmazonPublished on: 2025-06-04 04:36:30
Google says it will no longer trust root CA certificates signed by Chunghwa Telecom and Netlock in the Chrome Root Store due to a pattern of compliance failures and failure to make improvements. The change will come in Google Chrome version 139, which is scheduled for release on August 1, 2025. The tech giant cites ongoing compliance failures, broken improvement commitments, and lack of measurable progress as the reasons for this action. "Chrome's confidence in the reliability of Chunghwa Tel
Keywords: certificates chrome google root trusted
Find related items on AmazonPublished on: 2025-06-04 05:24:17
American cybersecurity company SentinelOne revealed over the weekend that a software flaw triggered a seven-hour-long outage on Thursday. This massive outage affected multiple customer-facing services in what SentinelOne described as a "global service disruption." SentinelOne acknowledged the outage in a post published Thursday, reassuring customers that their systems were still protected. "Customer endpoints are still protected at this time, but managed response services will not have visibi
Keywords: company flaw outage sentinelone services
Find related items on AmazonPublished on: 2025-06-04 03:36:46
Thoughts on Investing and Starting Up It’s been a big week in AI. Google, OpenAI, and Anthropic all had major releases, and one clear throughline was the push toward increasingly autonomous coding agents. So we figured this was the perfect moment to talk about how unreliable Large Language Models (LLMs) are as a base technology, and what that means for builders trying to work with them. Unreliability is the core bottleneck to unlocking the full power of LLMs. For all the deserved excitement ar
Keywords: ai llm llms user verification
Find related items on AmazonPublished on: 2025-06-04 04:35:00
As excitement builds for Nintendo's upcoming console, the Switch 2, the company is issuing an important warning: Do not peel off the screen's pre-installed protective film. While many users might assume the thin layer is meant to be removed, like the protective films that come on phones or tablets, Nintendo says this particular film plays a critical role in protecting the device and should stay exactly where it is. The alert came via Nintendo Soup and was recently highlighted in reports from ga
Keywords: console launch nintendo protective switch
Find related items on AmazonPublished on: 2025-06-04 01:10:45
is a reporter focusing on film, TV, and pop culture. Before The Verge, he wrote about comic books, labor, race, and more at io9 and Gizmodo for almost five years. After only two short seasons, Ncuti Gatwa’s time as Doctor Who has come to a (rather disappointing) end. Note: this post contains spoilers for this past weekend’s Doctor Who season finale. In the final moments of “The Reality War,” the Fifteenth Doctor (Gatwa) sacrificed his current form to save the life of a child, and in classic D
Keywords: doctor gatwa going like time
Find related items on AmazonGo K’awiil is a project by nerdhub.co that curates technology news from a variety of trusted sources. We built this site because, although news aggregation is incredibly useful, many platforms are cluttered with intrusive ads and heavy JavaScript that can make mobile browsing a hassle. By hand-selecting our favorite tech news outlets, we’ve created a cleaner, more mobile-friendly experience.
Your privacy is important to us. Go K’awiil does not use analytics tools such as Facebook Pixel or Google Analytics. The only tracking occurs through affiliate links to amazon.com, which are tagged with our Amazon affiliate code, helping us earn a small commission.
We are not currently offering ad space. However, if you’re interested in advertising with us, please get in touch at [email protected] and we’ll be happy to review your submission.