Latest Tech News

Stay updated with the latest in technology, AI, cybersecurity, and more

Filtered by: om Clear Filter

Homotopy Equivalences

Previously: Fibrations and Cofibrations. In topology, we say that two shapes are the same if there is a homeomorphism– an invertible continuous map– between them. Continuity means that nothing is broken and nothing is glued together. This is how we can turn a coffe cup into a torus. A homeomorphism, however, won’t let us shrink a torus to a circle. So if we are only interested in how many holes the shapes have, we have to relax our notion of equivalence. Let’s go back to the definition of home

China's Electric Vehicle Factories Have Become Tourist Hotspots

Tours of electric vehicle factories have quickly become the hottest ticket in Beijing, with tens of thousands of people signing up each month for the chance to win a free visit. Chinese smartphone giant Xiaomi, which has reinvented itself as an EV maker in recent years, started offering the one-hour tours in January to visitors interested in seeing its factory up close and getting a race car experience in a Xiaomi EV. As Chinese EV brands expand from competing on low prices to promoting premium

OpenAI-Jony Ive AI hardware venture hits trademark snag over brand name

OpenAI TL;DR A blog post announcing OpenAI’s $6.5B acquisition of Jony Ive’s hardware startup “io” has been taken down due to a court order stemming from a trademark complaint by a company called iyO. OpenAI clarified that despite speculation, the partnership with Ive is still ongoing, and it’s exploring options regarding the name dispute. iyO, which already sells an AI-powered “audio computer,” claims the “io” name infringes on their trademark. All traces of OpenAI’s much-hyped hardware ven

Topics: ai company io ive openai

2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)

The 2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented to Paul Blain Levy for his fundamental study of effectful λ-calculi through the Call-by-Push-Value calculus. The awardee book and paper are: Paul Blain Levy. Call-By-Push-Value: A Functional/Imperative Synthesis. Semantics Structures in Computation 2, Springer 2004, ISBN 1-4020-1730-8 Paul Blain Levy. Call-by-Push-Value: Decomposing call-by-value and call-by-name. High.-Order Symb. Comput. 19(4): 3

The Tandy Corporation

In 1919, a small leather company was founded in Fort Worth by David Lewis Tandy and Norton Hinckley. The Hinckley-Tandy Leather Company specialized in leather show laces, shoe soles, leather and rubber heels, and other shoe-findings. Tandy focused on sales and marketing while Hinckley managed the internal business operations and inventory. The company did well, bought a larger location in 1923 and expanded to Beaumont in 1927. The company scaled back during the Depression, but they survived. Ch

Disabling Intel Graphics Security Mitigation Boosts GPU Compute Performance 20%

While not talked about as much as the Intel CPU security mitigations, Intel graphics security mitigations have added up over time that if disabling Intel graphics security mitigations for their GPU compute stack for OpenCL and Level Zero can yield a 20% performance boost. Ubuntu maker Canonical in cooperation with Intel is preparing to disable these security mitigations in the Ubuntu packages in order to recoup this lost performance.I haven't looked at the Intel graphics security mitigation cost

SMB-focused Finom closes €115M as European fintech heats up

While funding may be scarce for some, Europe’s fastest-growing startups still have their pick. The latest beneficiary of that investor appetite is Finom, a five-year-old, Amsterdam-based challenger bank that targets small and medium-size businesses across Europe. The company, which claims to have doubled its revenue in 2024, just closed a €115 million Series C equity round (around $133 million), TechCrunch learned exclusively. This comes only a few weeks after it landed $105 million in growth f

Perplexity's AI-powered browser opens up to select Windows users

Perplexity is planning to open up its Comet browser that's powered by "agentic search" to Windows users, according to the company's CEO. Aravind Srinivas posted on X that the Windows build of Comet is ready and has sent out invites to early testers already. Perplexity's CEO also hinted at a potential release for Android devices, adding that it was "moving at a crazy pace and moving ahead of schedule." In May, Perplexity launched a beta version of its AI-powered Comet browser, only available to

Using an $8 smart outlet to avoid brainrot

I wrote a small script that runs in the background, polling for the state of an $8 smart plug. It's got a switch on the side to manually toggle the switch on and off. It connects to WiFi, so you can read the state of the plug via API. When you turn the switch on, the script updates /etc/hosts to effectively block websites of your choosing: 127.0.0.1 www.twitter.com 127.0.0.1 x.com 127.0.0.1 instagram.com 127.0.0.1 youtube.com 127.0.0.1 reddit.com

How to negotiate your salary package

The complete guide to salary negotiation for engineers and other professionals who think negotiating is morally questionable. Until I ran VaccinateCA my single most important career contribution might have been writing about salary negotiation. That essay has been read by millions of people. Of those people, a relatively small percentage send me email to tell me that the advice has worked for them. I previously kept a spreadsheet of the impact they shared with me, and it ticked over into eight

Using Home Assistant, adguard home and an $8 smart outlet to avoid brain rot

Beating Brainrot by Button The internet is the bane of my existence. Ads, distractions, sponsored content, bad news, bad ideas, more ads, social media, antisocial media, even more ads. Also, I’m a software developer, so the internet is basically indispensable for me, a central pillar of my income and a convenient way to communicate with friends, family, loved ones, associates, acquaintances, people from my sports club, superpositions of all previous groups and enemies alike. And I think my com

Tesla's Robotaxi Service Hits the Road in Texas

After nearly a decade of waiting, Tesla has launched a limited self-driving car service in the Austin, Texas, area. Company executives, including Musk, have said the autonomous vehicle technology debuting today is critical to Tesla’s future. The limited service, which for now is only open to early users invited by Tesla, includes some 20 2025 Model Y sedans available for rides through a Tesla-made app between 6 and 12 am. Terms of service posted on X by invited riders indicate that the service

Tesla launches robotaxi rides in Austin with big promises and unanswered questions

Tesla has started giving rides in driverless Model Y SUVs in Austin, a decade after CEO Elon Musk began making — and breaking — myriad promises about his company’s ability to launch such a service. The rollout will become the first big test of Musk’s belief that it’s possible to safely deploy fully autonomous vehicles using just cameras and end-to-end AI – an approach that differs from other players in the space like Waymo. On Sunday, numerous videos shared on social media as well as sources i

OpenAI pulls promotional materials around Jony Ive deal due to court order

OpenAI has pulled a much-discussed video promoting the friendship between CEO Sam Altman and legendary Apple designer Jony Ive (plus, incidentally, OpenAI’s $6.5 billion deal to acquire Ive and Altman’s device startup io) from its website and YouTube page. Does that suggest something is amiss with the acquisition, or with plans for Ive to lead design work at OpenAI? Not exactly, according to Bloomberg’s Mark Gurman, who reports that the “deal is on track and has NOT dissolved or anything of the

Intel to outsource marketing to Accenture and AI, cutting in-house staff

What just happened? Intel is preparing for a major transformation of its marketing operations, marking a significant shift in how the company approaches customer engagement and internal organization. Under the direction of newly appointed CEO Lip-Bu Tan, the technology giant will outsource a substantial portion of its marketing work to Accenture, a global consulting firm, with artificial intelligence playing a central role in the transition. This move is expected to result in significant layoff

This new Chrome feature has forever changed the way I shop online

Ryan Haines / Android Authority As an avid runner in the middle of marathon training, I go through a lot of shoes — like, a lot of shoes. When averaging 50 miles per week, I can burn through a pair in a little over a month, and then it’s time to treat myself. That said, I’m not made of money. I can’t just run out and pay full price every time I need fresh foam under my feet. So, I have to be careful about looking for deals and spending wisely. And now, a new Chrome extension has made that easie

I still keep a 6-year-old Android 10 phone in my back pocket — here’s why

Andy Walker / Android Authority I’ve been feeling quite nostalgic lately, especially for old camera phones. Last month, I praised the Nokia 9 PureView for its unique camera setup that makes every shot an adventure. I’ve also revisited the LG G4, a phone that sparked my love for photography. However, there’s one more older Android camera phone I still carry around whenever possible. In its prime, the HUAWEI P30 Pro was the best Android phone money could buy. Sure, that’s just my opinion, but pl

Git Notes: Git's coolest, most unloved­ feature (2022)

the short of it is: they’re cool for appending notes from automated systems (like ticket or build systems) but not really for having interactive conversations with other developers (at least not yet) – Scott Chacon, GitHub.blog, Aug. 2010 Git notes are almost a secret. They’re buried by their own distressing usability. But git notes are continually rediscovered by engineers trying to stash metadata inside git. Sun, 30 Oct 2022 11:05 @simonw Git notes are powerful tools. And they could solve

Max: The 28 Absolute Best TV Shows to Watch

Browsing Max for a new show to watch? The service that delivers HBO to the streaming masses is set to bring back the HBO Max moniker at some point this summer but it's still known as Max for now. The service is home to popular shows like The Last of Us, The White Lotus, Hacks and The Pitt. There's no shortage of exceptional fare to explore. Here are the highly rated series you shouldn't wait to watch on Max, plus this month's new releases. What's new on Max in June Note: These descriptions a

Topics: comedy hbo max new series

HP Coupon Codes: 5% Off | June 2025

If you don't know where to start—and use—your HP coupon code, there’s a wide variety of options available at HP.com in terms of budget and use case, but my eye goes first to the high-end HP Omen gaming monitors, like the fantastic HP Omen Transcend 32. This 4K 240Hz monitor is a favorite among PC gamers, even among the huge amounts of OLED options out there. It can hit a peak brightness of over 1,000 nits in HDR, bringing scenes in games to life in vivid detail. Or if you’re on the other side o

Cross-Compilation Toolchains for Linux

About This site provides a large number of ready-to-use cross-compilation toolchains, targetting the Linux operating system on a large number of architectures. Based on gcc and binutils, those toolchains are provided in several variants with the glibc, uClibc-ng and musl C libraries. The toolchains are built using the Buildroot build system. Most toolchains are tested by building a Linux kernel and Linux userspace, and booting it under Qemu. This is of course not possible on some CPU architec

Show HN: To-Userscript: Chrome Extension to Userscript Converter

Demo 2x Speed (conversion takes 4s total normal speed, incl. downloading) to-userscript.mp4 Demo but normal speed Screen.Shot.2025-06-20.at.7.59.06.AM.mov A powerful CLI for converting browser extensions into standalone userscripts. What is this? to-userscript bridges the gap between complex, packaged browser extensions and simple, portable userscripts. It takes an extension from the Chrome or Firefox store, a local directory, or a zip/xpi, and creates a single .user.js file that can be run i

Compiler for the B Programming Language

B Programming Language Warning Compiler is not fully implemented yet. Logo by Strawberry 🍓 Compiler for the B Programming Language implemented in Crust Dependencies Rust - the compiler is written in it; fasm - used as the compiler backend; Quick Start $ make $ ./build/b -run ./examples/hello_world.b Also check out more examples at ./examples/. Testing The project comes with btest utility which tests the B compiler. It is built automatically along with the B compiler when you do make .

Tell HN: Beware confidentiality agreements that act as lifetime non competes

Just a note of warning from personal experience. Companies don’t really need non-competes anymore. Some companies take an extremely broad interpretation of IP confidentiality, where they consider doing any work in the industry during your lifetime an inevitable confidentiality violation. They argue it would be impossible for you to work elsewhere in this industry during your entire career without violating confidentiality with the technical and business instincts you bring to that domain. It do

Tesla Might Have a Fix for the Elon Musk Problem

Tesla is having a nightmarish year, and much of the damage can be traced directly to its CEO, Elon Musk. After spending nearly $290 million to help Donald Trump return to the White House, Musk took on a tailor-made role in the administration, heading the new Department of Government Efficiency (DOGE). His push to slash federal agencies and cut social programs, combined with his embrace of controversial theories, sparked global protests outside Tesla showrooms. The company’s liberal customer bas

Apple is reportedly considering the acquisition of Perplexity AI

Apple's executives are thinking of acquiring Perplexity AI both to get more talent and to be able to offer an AI-based search engine in the future, according to Bloomberg. Adrian Perica, Apple's head of mergers and acquisitions, has reportedly already talked about the idea with services SVP Eddy Cue and the company's top decision-makers with it comes to its AI efforts. It's early stages, however: Apple has yet to talk to Perplexity about a bid, and the internal talks may not even lead to a forma

Learn you Galois fields for great good (2023)

Learn you Galois Fields for Great Good (00) Navigation | first | next Introduction This is the introduction to a series on Abstract Algebra. In particular, our focus will be on Galois Fields (also known as Finite Fields) and their applications in Computer Science. This is a project I've been excited about for many years now, but have been too busy to dedicate the adequate effort to meet my perfectionism standards (yay perfectionism!). Backstory Many moons back I was self-learning Galois Fie

The Art of Bijective Combinatorics

- the correponding set of slides of each lecture, - a website which enable one to navigate inside the videos, in the same way you turn around the pages of a book. For example if you click on the time given just after the slide number corresponding to one of the videos, you will get, up to one second, to exact position in the video. an introduction to the video-book ABjC is given at the beginning of the video of the Epilogue (from 2' 02" to 8' 42") This video-book on bijective combinatorics is

Microsoft suspended the email account of an ICC prosecutor at The Hague

“The I.C.C. showed this can happen,” said Bart Groothuis, a former head of cybersecurity for the Dutch Ministry of Defense who is now a member of the European Parliament. “It’s not just fantasy.” Mr. Groothuis once supported U.S. tech firms but has done a “180-degree flip-flop,” he said. “We have to take steps as Europe to do more for our sovereignty.” Some at the I.C.C. are now using Proton, a Swiss company that provides encrypted email services, three people with knowledge of the communicati