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 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 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-05 01:29:26
So long, and thanks for the fish! In May 2000, the first issue of a brand new Linux magazine hit British newsstands, delivering a monthly mix of news, reviews, interviews, tutorials and learned insight on all things free and open-source — plus that all-important cover-mounted CD/DVD! Now, 25 years later, the final ever issue has gone on sale. Future, the UK-based publisher of Linux Format, hasn’t said why the magazine is closing, but one needn’t consult an Oracular Oriole to divine the reason
Keywords: format issue linux magazine ubuntu
Find related items on AmazonPublished on: 2025-06-05 03:14:00
Is this a good time to build a new PC? Since last year, Intel has launched its Core Ultra processors, based on the new Arrow Lake architecture, but for gaming they are actually slower than the older 14th-gen Core CPUs. On the other hand, AMD has released the Ryzen 9000X3D processors, which unlike the rest of the Ryzen 9000 series, brought actual performance improvements. Nvidia has launched the GeForce RTX 5000 graphics cards, but most of them are barely faster than their predecessors. Combine
Keywords: best build gaming options performance
Find related items on AmazonPublished on: 2025-06-05 03:14:00
Is this a good time to build a new PC? Since last year, Intel has launched its Core Ultra processors, based on the new Arrow Lake architecture, but for gaming they are actually slower than the older 14th-gen Core CPUs. On the other hand, AMD has released the Ryzen 9000X3D processors, which unlike the rest of the Ryzen 9000 series, brought actual performance improvements. Nvidia has launched the GeForce RTX 5000 graphics cards, but most of them are barely faster than their predecessors. Combine
Keywords: best build gaming options performance
Find related items on AmazonPublished on: 2025-06-05 13:47:18
Andy Walker / Android Authority TL;DR Azahar version 2122 Alpha 1 brings huge performance and compatibility gains to 3DS emulation. Significant improvements have been made to Luigi’s Mansion 2, Star Fox 64 3D, and The Binding of Isaac: Rebirth. The update is in alpha, so it may have minor bugs. Just last week the leading Nintendo 3DS emulator Azahar pushed an update to fix a security vulnerability, but over the weekend another update dropped with huge performance and compatibility gains. Az
Keywords: alpha binding compatibility performance update
Find related items on AmazonPublished on: 2025-06-03 10:37:21
What is this repository for? HIP is a C++ Runtime API and Kernel Language that allows developers to create portable applications for AMD and NVIDIA GPUs from single source code. Key features include: HIP is very thin and has little or no performance impact over coding directly in CUDA mode. HIP allows coding in a single-source C++ programming language including features such as templates, C++11 lambdas, classes, namespaces, and more. HIP allows developers to use the "best" development envir
Keywords: amd cuda hip platform rocm
Find related items on AmazonPublished on: 2025-06-05 14:16:33
Data-labeling startup Scale AI has hired the team behind Pesto AI, which helps companies recruit developers remotely, according to a blog post by one of Pesto’s founders. Founded in 2017 by Ayush Jaiswal and Indian food delivery platform Swiggy’s co-founder Rahul Jaimini, Pesto AI is backed by the likes of Product Hunt’s Ryan Hoover and Gumroad’s Sahil Lavingia. According to Crunchbase, it has raised more than $8 million in funding. Pesto will be shutting down its operations. According to its
Keywords: according ai pesto platform scale
Find related items on AmazonPublished on: 2025-06-02 07:21:48
This article began life as a talk I gave in late 2024. I love formal methods—I should say that to begin with, because this article is mostly about what doesn’t work when trying to do FM projects. Over the last 20 years, formal methods have grown and grown, and I’m proud to say that Galois has made its own contributions to this success. I made a lot of mistakes when I was scoping and running formal methods projects. I’d like other people to avoid the pitfalls I fell into, and hopefully make bigg
Keywords: client formal methods project projects
Find related items on AmazonPublished on: 2025-06-05 07:10:04
For students and those who live on a small budget, shelling out $1,000 (or even $2,000) for a MacBook is an out-of-reach dream. Fortunately, this year’s market offers a great alternative without having you compromise on performance or features: The Lenovo Ideapad, which was released this year, is currently available on Amazon for a price so cheap it’s not thought to be true. For an insane 73% discount, the 15-inch portable touchscreen computer (16GB RAM, 512GB storage) is on sale for $519, down
Keywords: amazon great ideapad laptop performance
Find related items on AmazonPublished on: 2025-06-05 05:24:56
Enhancing MySQL: Performance, Stability, and High Availability To better serve MySQL users, we have optimized MySQL 8.0 comprehensively. The specific optimizations include improvements to InnoDB storage engine scalability, redo log optimization, resolution of the join performance degradation issue since version 8.0.28, optimized hash join cost model (MySQL 8.0.42+) for better execution plans, mitigation of bulk insert performance issues, resolution of performance degradation issues in certain s
Keywords: high mysql optimization performance version
Find related items on AmazonPublished on: 2025-06-04 10:03:12
TL;DR We have some very fast AI-generated kernels in pure CUDA-C without using libraries and DSLs such as CUTLASS and Triton. They are performing close to or in some cases even beating the standard expert-optimized production kernels shipped in PyTorch. Some of our highlighted results: Matmul (FP32): 101.3% performance of FP32 torch.matmul; problem size: 4096x4096 square matrices performance of FP32 torch.matmul; problem size: 4096x4096 square matrices Conv2D: 179.9% performance of FP32 torch
Keywords: kernel memory optimization performance reference
Find related items on AmazonPublished on: 2025-06-05 07:20:57
Handwriting notes in class might seem like an anachronism as smartphones and other digital technology subsume every aspect of learning across schools and universities. But a steady stream of research continues to suggest that taking notes the traditional way—with pen and paper or even stylus and tablet—is still the best way to learn, especially for young children. And now scientists are finally zeroing in on why. A recent study in Frontiers in Psychology monitored brain activity in students tak
Keywords: action brain information motor says
Find related items on AmazonPublished on: 2025-06-03 23:08:17
Virtual Threads Ate My Memory: A Web Crawler’s Tale of Speed vs. Memory Dario Balinzo Follow 5 min read · 2 days ago 2 days ago -- 1 Listen Share Photo by Julian Hochgesang on Unsplash I built a simple web crawler using good old platform threads. It was just a multithreaded crawler, nothing fancy. But then, curiosity struck: “What happens if I use Virtual Threads instead?” Virtual Threads are one of my favorite recent additions to the Java ecosystem. Switching from platform threads to Virtual
Keywords: platform threads url urls virtual
Find related items on AmazonPublished on: 2025-06-06 01:36:45
is a senior editor and author of Notepad , who has been covering all things Microsoft, PC, and tech for over 20 years. Microsoft is adding text formatting to its Windows Notepad app. The significant Notepad update is available for Canary and Dev Channel testers on Windows 11, and introduces bold and italic styling, alongside hyperlinks and even Markdown support. The addition of text formatting in Notepad means there’s now a formatting toolbar at the top of the app, alongside the existing File,
Keywords: formatting microsoft new notepad text
Find related items on AmazonPublished on: 2025-06-06 05:41:24
Microsoft announced today that the Windows 11 Notepad application is getting a text formatting feature supporting Markdown-style input. The feature is being introduced one year after Microsoft removed the WordPad basic word processing app that had text formatting capabilities, with the rollout of Windows 11 24H2 to Insiders in the Release Preview Channel. "With this update, we are introducing lightweight formatting in Notepad, providing additional flexibility in how you structure content acros
Keywords: app formatting notepad text windows
Find related items on AmazonPublished on: 2025-06-06 19:08:40
The Darwin Gödel Machine: AI that improves itself by rewriting its own code May 30, 2025 Summary A longstanding goal of AI research has been the creation of AI that can learn indefinitely. One tantalizing path toward that goal is an AI that improves itself by rewriting its own code, including any code responsible for learning. That idea, known as a Gödel Machine, proposed by Jürgen Schmidhuber decades ago, is a hypothetical self-improving AI. It optimally solves problems by recursively rew
Keywords: ai code dgm performance self
Find related items on AmazonPublished on: 2025-06-07 00:43:13
Amazon Web Services (AWS) strives to deliver reliable services that customers can trust completely. This requires maintaining the highest standards of security, durability, integrity, and availability—with systems correctness serving as the cornerstone for achieving these priorities. An April 2015 article published in Communications of the ACM, titled “How Amazon Web Services Uses Formal Methods,” highlighted the approach for ensuring the correctness of critical services that have since become a
Keywords: aws correctness formal systems testing
Find related items on AmazonPublished on: 2025-06-08 01:58:16
The Innovation of the Year Award celebrates the boldest and most visionary startups exhibiting at VivaTech 2025. Open to all exhibiting companies, the award honors those pushing boundaries and redefining industries. Startups were scored on Innovation & Creativity, Market Disruption, and Scalability. From hundreds of applicants, 30 made the short list. The top five will pitch live at VivaTech on June 11, and the winner will be revealed at the VivaTech Global Awards Ceremony on June 12. The prize
Keywords: france health information technologies vivatech
Find related items on AmazonPublished on: 2025-06-08 05:51:12
The Apple Research team has published a pretty interesting study that investigated whether AI models can estimate heart rate from stethoscope recordings, even though they weren’t specifically trained with that purpose in mind. The short answer is: yes. And this is great news. Here’s why. In a nutshell, the team took six popular foundation models trained on audio or speech, and tested how well their internal audio representations could be used to estimate heart rate from heart sound recordings,
Keywords: apple audio heart models performance
Find related items on AmazonPublished on: 2025-06-08 13:45:39
File this one under “tiny, but significant”: if you default your iPhone camera to 3:4, Instagram will finally let you post exactly what you shot. Instagram’s head, Adam Mosseri announced today on Threads that the app will now support photos in the native 3:4 format, used by most smartphone cameras, including iPhones: “Instagram now supports 3:4 aspect ratio photos – the format that almost every phone camera defaults to. From now on, if you upload a 3:4 image, it’ll now appear just exactly as y
Keywords: appear format framing instagram photos
Find related items on AmazonPublished on: 2025-06-08 17:51:17
In Brief Heron Power, the electrical grid-focused startup founded by former Tesla executive Drew Baglino, announced Thursday it has raised $38 million in a Series A funding round. Heron Power is developing solid-state transformers, which promise to be more compact and responsive than the century-old analog models. Transformers are key parts of the electrical grid, stepping voltage up and down as it moves through the system. Heron focuses on so-called medium-voltage transformers, which covers
Keywords: energy heron power tesla transformers
Find related items on AmazonPublished on: 2025-06-09 19:28:25
Data broker giant LexisNexis Risk Solutions, a Georgia-based American data analytics company, has revealed that attackers stole the personal information of over 364,000 individuals in a December breach. As disclosed in data breach notifications sent to affected people starting May 24th, LexisNexis was informed on April 1st that some of its data had been stolen from GitHub by an unknown threat actor using a compromised company account. "On April 1, 2025, we learned that on December 25, 2024, an
Keywords: data information lexisnexis party personal
Find related items on AmazonPublished on: 2025-06-10 17:17:56
Join our daily and weekly newsletters for the latest updates and exclusive content on industry-leading AI coverage. Learn More Researchers from Meta’s FAIR team and The Hebrew University of Jerusalem have discovered that forcing large language models to “think” less actually improves their performance on complex reasoning tasks. The study released today found that shorter reasoning processes in AI systems lead to more accurate results while significantly reducing computational costs. “In this
Keywords: ai chains performance reasoning shorter
Find related items on AmazonPublished on: 2025-06-10 21:03:02
is a senior policy reporter at The Verge, covering the intersection of Silicon Valley and Capitol Hill. She spent 5 years covering tech policy at CNBC, writing about antitrust, privacy, and content moderation reform. The US State Department has launched its latest rebuke against Europe and other countries over their attempts to regulate digital platforms. Secretary of State Marco Rubio announced Wednesday that the US would restrict visas for “foreign nationals who are responsible for censorshi
Keywords: american content foreign moderation platforms
Find related items on AmazonPublished on: 2025-06-11 09:50:00
In brief: Microsoft wants to unify the Windows Update process so it includes all third-party apps. The company said developers or anyone who builds apps can now sign up for a private preview of the Windows Update orchestration platform, which is capable of supporting any updates, including apps and drivers, alongside the usual Windows updates. Angie Chen, a product manager at Microsoft, writes that the updates across the Windows ecosystem can feel like a fragmented experience, which has led to
Keywords: apps microsoft platform update windows
Find related items on AmazonPublished on: 2025-06-11 09:42:32
Elon Musk's xAI is paying the messaging platform Telegram a cool $300 million to introduce the chatbot Grok to its users . The terms of the deal are extremely favorable to Telegram, as the $300 million only covers a single year and xAI will evenly split any subscription sales to Grok Premium and Premium+ with the messaging platform. Telegram will be paid in both cash and equity. Telegram and xAI have agreed to a 1-year partnership to distribute Grok to Telegram’s billion+ users and integrate it
Keywords: grok platform telegram users xai
Find related items on AmazonPublished on: 2025-06-11 12:16:00
Bottom line: Winlator demonstrated impressive performance while emulating Windows games on an Android phone a year ago, and at least two Chinese mobile device manufacturers are developing alternatives with similar results. As hardware like the Steam Deck and Asus ROG Ally bring PC gaming to handhelds, PC gaming on phones and tablets might not be far behind. RedMagic is set to launch its 10S Pro gaming-focused Android smartphone next week on June 5 (the same day as the Nintendo Switch 2). While
Keywords: android games performance redmagic steam
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.